Abstract
In this paper we study the relative succinctness of different representations of deterministic polynomial time languages and investigate what can and cannot be formally verified about these representations. We also show that the relative succinctness of different representations of languages is directly related to the separation of the corresponding complexity classes; for example, PTIME ≠ NPTIME if and only if the relative succinctness of representing languages in PTIME by deterministic and nondeterministic clocked polynomial time machines is not recursively bounded, which happens if and only if the relative succinctness of these representations is not linearly bounded.
Furthermore, we discuss the problem of approximating the recognition of complete languages in NPTIME by deterministic polynomial time machines which accept finite initial segments of these languages. We conclude by discussing the relative succinctness of optimal and near-optimal programs and the nature of the families of minimal machines for different representations.
Research supported in part by National Science Foundation grant MCS 78-00418
Preview
Unable to display preview. Download preview PDF.
References
Aho, A.V., J.E. Hopcroft and J.D. Ullman, "The Design and Analysis of Computer Algorithms," Addison-Wesley, Reading, Massachusetts, 1974.
Baker, T.P., "On "Provable" Analogs of P and NP," Mathematical Systems Theory (to appear).
Blum, M., "On the Size of Machines," Information and Control, Vol. 11 (1967), 257–265.
Chaitin, G.J., "Information Theoretic Limitations of Formal Systems," J. ACM 21, (1974), 403–424.
Hartmanis, J., "On the Succinctness of Different Representations of Languages," SIAM J. Computing (to appear).
Hartmanis, J. and J. Simon., "On the Structure of Feasible Computations," Advances in Computers Vol. 14, Morris Rubinoff and Marshall C. Yovits, eds., 1–43, Academic Press, New York, 1976.
Levin, L.A., "Universal Sequential Search Problems," Problemy Peredachi Informatsii, Vol. 9 (1973), 265–266.
Meyer, A.R., "Program Size in Restricted Programming Languages," Information and Control, Vol. 21 (1972), 382–394.
Meyer, A.R. and M.J. Fischer., "Economy of Description by Automata, Grammars and Formal Systems," Conference Record IEEE 12th Annual Symposium on Switching and Automata Theory (1971), 188–190.
Schmidt, E.H. and T.G. Szymanski., "Succinctness of Descriptions of Unambiguous Context-Free Language," SIAM J. Computing, Vol. 6 (1977), 547–553.
Valiant, L.G., "A Note on the Succinctness of Description of Deterministic Languages," Information and Control, Vol. 32, (1976), 139–145.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1979 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hartmanis, J., Baker, T.P. (1979). Relative succinctness of representations of languages and separation of complexity classes. In: Bečvář, J. (eds) Mathematical Foundations of Computer Science 1979. MFCS 1979. Lecture Notes in Computer Science, vol 74. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-09526-8_6
Download citation
DOI: https://doi.org/10.1007/3-540-09526-8_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09526-2
Online ISBN: 978-3-540-35088-0
eBook Packages: Springer Book Archive