MFCS 1979: Mathematical Foundations of Computer Science 1979 pp 70-88 | Cite as
Relative succinctness of representations of languages and separation of complexity classes
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.
Keywords
Polynomial Time Turing Machine Nomial Time Minimal Machine Deterministic Polynomial TimePreview
Unable to display preview. Download preview PDF.
References
- 1.Aho, A.V., J.E. Hopcroft and J.D. Ullman, "The Design and Analysis of Computer Algorithms," Addison-Wesley, Reading, Massachusetts, 1974.Google Scholar
- 2.Baker, T.P., "On "Provable" Analogs of P and NP," Mathematical Systems Theory (to appear).Google Scholar
- 3.Blum, M., "On the Size of Machines," Information and Control, Vol. 11 (1967), 257–265.CrossRefGoogle Scholar
- 4.Chaitin, G.J., "Information Theoretic Limitations of Formal Systems," J. ACM 21, (1974), 403–424.CrossRefGoogle Scholar
- 5.Hartmanis, J., "On the Succinctness of Different Representations of Languages," SIAM J. Computing (to appear).Google Scholar
- 6.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.Google Scholar
- 7.Levin, L.A., "Universal Sequential Search Problems," Problemy Peredachi Informatsii, Vol. 9 (1973), 265–266.Google Scholar
- 8.Meyer, A.R., "Program Size in Restricted Programming Languages," Information and Control, Vol. 21 (1972), 382–394.CrossRefGoogle Scholar
- 9.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.Google Scholar
- 10.Schmidt, E.H. and T.G. Szymanski., "Succinctness of Descriptions of Unambiguous Context-Free Language," SIAM J. Computing, Vol. 6 (1977), 547–553.CrossRefGoogle Scholar
- 11.Valiant, L.G., "A Note on the Succinctness of Description of Deterministic Languages," Information and Control, Vol. 32, (1976), 139–145.CrossRefGoogle Scholar