On the bounds for the main proof measures in some propositional proof systems
Journal Title: Scholars Journal of Physics, Mathematics and Statistics - Year 2014, Vol 1, Issue 2
Abstract
Various proof complexity characteristics are investigated in three propositional proof systems, based on determinative disjunctive normal forms. The comparative analysis for size, time, space, width of proofs is given. For some formula family we obtain in our systems simultaneously bounds for different proof complexity measures (asymptotically the same upper and lower bounds for each measures). These results can be generalized for the other formulas and for the other systems also..
Authors and Affiliations
Anahit Chubaryan, Armen Mnatsakanyan
Keywords
Related Articles
- EP ID EP383525
- DOI -
- Views 58
- Downloads 0
Infinite-Dimensional Conservation Law and Liouville Integrability of Free Vibration Equation of a Beam
According to the infinite-dimensional Liouville theorem, we give the infinite-dimensional conservation law and the Liouville integrability of a forth order free vibration equation of a beam by two cases including discret...
Measurement of Radon Exhalation Rates from Soil Samples of Some Villages of Ambala, Haryana
The world is naturally radioactive as some of the materials in the nature are radioactive. Uranium is one of them and can be found in trace amount in most rocks and soils. Uranium decays to radium that leads to the decay...
Improving the Qualities of Teaching Probability Theory and Statistics
Probability Theory and Statistics is one of the important and fundamental courses for all science and engineering students. In this paper, we consider how to enhance Probability Theory and Statistics teaching. Furthermor...
The Eigenvalues and the Eigenfunctions of the Sturm-Liouville Fuzzy Boundary Value Problem According To the Generalized Differentiability
In this paper, the eigenvalues and the eigenfunctions of the fuzzy Sturm-Liouville fuzzy boundary value problem equation is examined under the approach of generalized differentiability. Different examples are solved for...
On The Ternary Quadratic Diophantine Equation x2+ y2-xy=103z2
The ternary quadratic Diophantine equation represented by is analyzed for its non-zero distinct integer solutions. A few interesting properties between the solutions and special figurate numbers are obtained.