Abstract
In this paper we prove that if there exists an optimal quantified propositional proof system then there exists a complete language for NP ∩ co-NP.
Preview
Unable to display preview. Download preview PDF.
References
Balcazar J.L., Díaz J. and Gabarró J. (1995) Structural complexity I, Springer.
Cook S.A. (1971) The complexity of theorem proving procedures, in: Proc. 3rd ACM Symposium on Theory of Computing, pp. 151–158.
Cook S.A. and Reckhow R.A. (1979) The relative efficiency of propositional proof systems, J. Symbolic Logic, 44, pp. 36–50.
Hartmanis J., Immerman N. (1985) On complete problems for NP ∩ co-NP, in: Proc. 12th Internat. Coll. on Automata, Languages and Programming, LNCS 194, 250–259, Springer.
Hopcroft J. and Ullman J. (1979) Introduction to Automata Theory, Languages and Computation, Addison-Wesley.
Kowalczyk W. (1984) Some connections between presentability of complexity classes and the power of formal systems of reasoning, in: Proc. Mathematical Foundations of Computer Science, Lecture Notes in Computer Science 176, pp. 364–369, Springer.
Krajiček J. (1995) Bounded Arithmetic, Propositional Logic, and Complexity Theory Cambridge University Press.
Krajiček J. and Pudlák P. (1990) Quantified propositional calculi and fragments of bounded arithmetic, Zeitschr. f. math. Logik and Grundlagen d. Math. 36, pp.29–46.
Krajiček J. and Pudlák P. (1989) Propositional proof systems, the consistency of first order theories and the complexity of computations, J. Symbolic Logic, 54, pp. 1063–1079.
Sipser M. (1982) On relativizations and the existence of complete sets, in: Proc. Internat. Coll. on Automata, Languages and Programming, LNCS 140, pp. 523–531, Springer.
Stockmeyer L. (1977) The polynomial-time hierarchy, Theor. Comp. Sci. 3, pp. 1–22.
Urquhart A. (1995) The complexity of propositional proofs, Bull. Symb. Log. 1, pp. 425–467.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sadowski, Z. (1997). On an optimal quantified propositional proof system nal proof system and a complete language for NP ∩ co-NP for NP ∩ co-NP. In: Chlebus, B.S., Czaja, L. (eds) Fundamentals of Computation Theory. FCT 1997. Lecture Notes in Computer Science, vol 1279. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0036203
Download citation
DOI: https://doi.org/10.1007/BFb0036203
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63386-0
Online ISBN: 978-3-540-69529-5
eBook Packages: Springer Book Archive