Mathematical systems theory

, Volume 10, Issue 1, pp 19–32

Relativization of questions about log space computability

  • Richard E. Ladner
  • Nancy A. Lynch
Article
  • 101 Downloads

Abstract

A notion of log space Turing reducibility is introduced. It is used to define relative notions of log space,A, and nondeterministic log space,. These classes are compared with the classes and which were originally defined by Baker, Gill, and Solovay [BGS]. It is shown that there exists a computable setA such that. Furthermore, there exists a computable setA such that and. Also a notion of log space truth table reducibility is defined and shown to be equivalent to the notion of log space Turing reducibility.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [BGS]
    T. Baker, J. Gill, andR. Solovay, Relativizations of the question. To appear inSIAM Journal on Computing. Google Scholar
  2. [C1]
    S. A. Cook, Characterizations of pushdown machines in terms of time-bounded computers,Journal of the ACM,18 (1971) 4–18.Google Scholar
  3. [C2]
    S. A. Cook, The complexity of theorem proving procedures,Proc. Third Annual ACM Symposium on Theory of Computing, 1971 pp. 151–158.Google Scholar
  4. [C3]
    S. A. Cook, An observation on time-storage trade off,Proc. of Fifth Annual ACM Symposium on Theory of Computing, 1973 pp. 29–33.Google Scholar
  5. [H]
    J. Hartmanis, On nondeterminacy of simple computing devices,Acta Informatica,1 (1972) 336–344.Google Scholar
  6. [HU1]
    J. E. Hopcroft andJ. D. Ullman, Nonerasing stack automata,Journal of Computer and System Sciences,1 (1967) 166–186.Google Scholar
  7. [HU2]
    J. E. Hopcroft andJ. D. Ullman,Formal Languages and Their Relation to Automata, Addison-Wesley, Reading, Ma. 1969.Google Scholar
  8. [HY]
    P. Hsia andR. Yeh, Finite automata with marks, inAutomata, Languages and Programming, M. Nivat, editor, American Elsevier, New York 1973.Google Scholar
  9. [J]
    N. D. Jones, Space-bounded reducibility among combinatorial problems,Journal of Computer and System Sciences,11 (1975) 68–85.Google Scholar
  10. [JL]
    N. D. Jones andW. T. Laaser, Complete problems for deterministic polynomial time,Proc. of Sixth Annual ACM Symposium on Theory of Computing, pp. 40–46 1974.Google Scholar
  11. [K]
    R. M. Karp, Reducibility among combinatorial problems, inComplexity of Computer Computations, R. Miller and J. Thatcher, editors, Plenum Press, New York 1972.Google Scholar
  12. [La1]
    R. E. Ladner, On the structure of polynomial time reducibility,Journal of the ACM,22 (1975) 155–171.Google Scholar
  13. [La2]
    R. E. Ladner, The circuit value problem is log space complete for,SIGACT News,7 (1975) 18–20.Google Scholar
  14. [LLS]
    R. E. Ladner, N. A. Lynch, andA. L. Selman, A comparison of polynomial time reducibilities. To appear inTheoretical Computer Science. Google Scholar
  15. [Ly1]
    N. A. Lynch, Log space recognition and translation of parenthesis languages, manuscript.Google Scholar
  16. [Ly2]
    N. A. Lynch, Log space machines with multiple oracle tapes, manuscript.Google Scholar
  17. [M]
    A. R. Meyer, private communication.Google Scholar
  18. [Sa]
    W. J. Savitch, Relationship between nondeterministic and deterministic tape complexities,Journal of Computer and System Sciences,4 (1970) 177–192.Google Scholar
  19. [Si]
    Simon, Istvan. Private communication (Ph.D. Thesis in preparation, Stanford).Google Scholar
  20. [SHL]
    R. E. Stearns, J. Hartmanis, andP. M. Lewis II, Hierarchies of memory limited computations,IEEE Conf. Record on Switching Circuit Theory and Logical Design, (1965) 191–202Google Scholar
  21. [SM]
    L. Stockmeyer andA. R. Meyer, Word problems requiring exponential timeProc. of Fifth Annual ACM Symposium on Theory of Computing, (1973) pp. 1–9.Google Scholar
  22. [Su]
    I. H. Sudborough, On tape-bounded complexity classes and multihead automata,Journal of Computer and System Sciences, Vol,10 (1975) 62–76.Google Scholar

Copyright information

© Springer-Verlag New York Inc. 1976

Authors and Affiliations

  • Richard E. Ladner
    • 1
  • Nancy A. Lynch
    • 2
  1. 1.Department of Computer ScienceUniversity of WashingtonSeattleUSA
  2. 2.Department of MathematicsUniversity of Southern CaliforniaLos AngelesUSA

Personalised recommendations