Abstract
We show that the set of all (indices of) Turing machines running in time n2 is a complete π 01 set and that the set of all (indices of Turing machines computing characteristic functions of) recursive sets A such that PA ≠ NPA is a complete π 02 set. As corollaries we obtain results saying that some assertions concerning running time of Turing machines and some instances of the relativized P = NP problem are independent of set theory (or of another theory containing arithmetic).
Preview
Unable to display preview. Download preview PDF.
References
Baker, T., Gill, J. and Solovay, R., Relativizations of the P = ? NP question, SIAM J. on Comp. 4 (1975), 431–442.
Dekhtyar, M.I., On the relation of deterministic and non-deterministic complexity classes, Mathematical Foundations of Computer Science 1976 (A. Mazurkiewicz, ed.), Lecture Notes in Computer Science vol. 45, p. 255–259, Springer-Verlag 1976.
Feferman, S., Arithmetization of metamathematics in a general setting, Fundamenta Mathematicae 49 (1960), 35–92.
Hartmanis, J. and Hopcroft, J.E., Independence results in computer science, SIGACT News 8, Number 4 (Oct.-Dec. 1976), 13–21.
Rogers, H., Jr., Theory of recursive functions and effective computability, McGrow-Hill, New York, 1967.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1977 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hájek, P. (1977). Arithmetical complexity of some problems in computer science. In: Gruska, J. (eds) Mathematical Foundations of Computer Science 1977. MFCS 1977. Lecture Notes in Computer Science, vol 53. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08353-7_146
Download citation
DOI: https://doi.org/10.1007/3-540-08353-7_146
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08353-5
Online ISBN: 978-3-540-37285-1
eBook Packages: Springer Book Archive