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 75
- Downloads 0
Stochastic Gradient Descent with SVM for Imbalanced Data Classification
Stochastic Gradient Descent (SGD) is an attractive choice for SVM training. SGD leads to a result that the probability of choosing majority class is far greater than that of minority class for imbalanced classification p...
The minimum group congruence on a GV-semi group
A GV-semi group is a semi group in which some power of each element is regular and every regular element lies in a subgroup. The minimum group congruence on a GV-semi group is investigated by means of establishing a subs...
Modular Approach in Teaching Mathematics: Quadratic Function
The use of self-instructional program plays an important role in teaching mathematics. Self-instructional program is useful not only to the fast learner group of students but also to the remedial teaching for low achieve...
A Note on the Identity Element in a Function Space
This note demonstrates that the identity element in appropriately defined function spaces is weakly compact, but not compact; and bounded, but not weakly compact.
Ascertain Subclasses of Meromorphically Multivalent Functions with Negative Coefficient Associated with Linear Operator
In this paper, we introduce the subclasses and of meromorphic multivalent functions in the punctured unit disk by using a differential operator . We obtain coefficient estimates, distortion theorem, radius of convexi...