Advertisement

Complexity classes of alternating machines with oracles

  • Pekka Orponen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 154)

Abstract

Relativized complexity theory based on alternating Turing machines is considered. Alternating complexity classes are shown to provide natural counterexamples to the longstanding conjecture that known proofs of complexity class inclusion results relativize. In particular, there exist oracle sets separating classes APSPACE and E (of languages recognizable in alternating polynomial space and deterministic exponential time, respectively), although the classes are known to be equal in the unrelativized case. Classes APSPACE and E may even be shown to differ for almost all oracles, thus providing a counterexample also to the so called random oracle hypothesis. A complexity hierarchy built by quantifying over oracle sets for alternating machines is also defined, with its first ⌆-level coinciding with class NE (nondeterministic exponential time). This representation of NE is noted not to relativize. Problems about the structure of this second-order hierarchy are shown to be related to open problems concerning the polynomial-time hierarchy.

Keywords

Turing Machine Random Oracle Polynomial Space Deterministic Turing Machine Work Tape 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Angluin,D., On relativizing auxiliary pushdown machines. Math. Systems Theory 13 (1980), 283–299.Google Scholar
  2. [2]
    Baker,T., J.Gill and R. Solovay, Relativizations of the P=? NP question. SIAM J. Comput. 4 (1975), 431–442.Google Scholar
  3. [3]
    Bennett,C.H. and J.Gill, Relative to a random oracle A, PA≠NPA≠co-NPA with probability 1. SIAM J. Comput. 10 (1981), 96–113.Google Scholar
  4. [4]
    Book,R.V., Comparing complexity classes. J. Comput. System Sci. 9 (1974), 213–229.Google Scholar
  5. [5]
    Book,R.V., Bounded query machines: on NP and PSPACE. Theor. Comput. Sci. 15 (1981), 27–29.Google Scholar
  6. [6]
    Chandra,A.K., D.C.Kozen and L.J.Stockmeyer, Alternation. J. Assoc. Comput. Mach. 28 (1981), 114–133.Google Scholar
  7. [7]
    Hopcroft,J.E. and J.D.Ullman, Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading, Mass. (1979).Google Scholar
  8. [8]
    Kurtz,S.A., On the random oracle hypothesis. Proc. 14th Ann. ACM Symp. on Theory of Computing (1982), 224–230.Google Scholar
  9. [9]
    Ladner,R.E. and N.A.Lynch, Relativization of questions about log space computability. Math. Systems Theory 10 (1976), 19–32.Google Scholar
  10. [10]
    Lynch,N.A., Log space machines with multiple oracle tapes. Theor. Comput. Sci. 6 (1978), 25–39.Google Scholar
  11. [11]
    Rogers,H.,Jr., Theory of Recursive Functions and Effective Computabitity. McGraw-Hill, New York (1967).Google Scholar
  12. [12]
    Ruzzo,W.L., J.Simon and M.Tompa, Space-bounded hierarchies and probabilistic computations. Proc. 14th Ann. ACM Symp. on Theory of Computing (1982), 215–223.Google Scholar
  13. [13]
    Simon,I., On Some Subrecursive Reducibilities. Ph.D. dissertation. Report STAN-CS-77-608, Dept. of Computer Science, Stanford University, Stanford, Ca. (1977).Google Scholar
  14. [14]
    Simon,J., On Some Central Problems in Computational Complexity. Ph.D. dissertation. Report TR 75-224, Dept. of Computer Science, Cornell University, Ithaca, N.Y. (1975)Google Scholar
  15. [15]
    Sipser,M., On relativizations and existence of complete sets. Proc. 9th Int. Colloq. on Automata, Languages, and Programming, Aarhus, Denmark (1982), 523–531.Google Scholar
  16. [16]
    Stockmeyer,L.J., The polynomial-time hierarchy. Theor. Comput. Sci. 3 (1976), 23–33.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1983

Authors and Affiliations

  • Pekka Orponen
    • 1
  1. 1.Department of Computer ScienceUniversity of HelsinkiUSA

Personalised recommendations