Advertisement

Parallel and nondeterministic time complexity classes

Preliminary report
  • Walter J. Savitch
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 62)

Abstract

A random access machine model that has parallel processing and string manipulation is introduced. It is shown that NP is equal to the class of sets accepted by this model in nondeterministic time 0(log n), and this result is generalized to arbitrary time classes. A well-behaved subclass of the class of parallel, nondeter-ministic programs is analyzed.

Keywords

Turing Machine Recursive Call Parameter List Call Instruction Active Processor 
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]
    Chandra, A.K. and Stockmeyer, L.J., "Alternation," Proc. of the 17th Annual IEEE Symp. on Switching and Automata Theory, Houston, Texas, October 1976, 98–108.Google Scholar
  2. [2]
    Cook, S.A., and Reckhow, R.A., "Time bounded random access machines," JCSS 7 (1973), 354–375.Google Scholar
  3. [3]
    Hartmanis, J., "Computational complexity of random access stored program machines," Math. Systems Theory 5 (1971), 232–245.CrossRefGoogle Scholar
  4. [4]
    Hartmanis, J., and Simon, J., "On the power of multiplication in random access machines," Proc. of the 15th Annual IEEE Symp. on Switching and Automata Theory, New Orleans, October 1974, 13–23.Google Scholar
  5. [5]
    Hopcroft, J.E., and Ullman, J.D., Formal Languages and Their Relation to Automata, Addition-Wesley, Reading, MA, 1969.Google Scholar
  6. [6]
    Kozen, D., "On parallelism in Turing machines," Proc. of the 17th Annual IEEE Symp. on Switching and Automata Theory, Houston, Texas, October 1976, 89–97.Google Scholar
  7. [7]
    Pratt, V.R. and Stockmeyer, L.J., "A characterization of the power of vector machines," JCSS 12 (1976), 198–221.Google Scholar
  8. [8]
    Savitch, W.J. and Stimson, M.J., "Time bounded random access machines with parallel processing," JACM, (to appear).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1978

Authors and Affiliations

  • Walter J. Savitch
    • 1
  1. 1.Computer Science Program Department of Applied Physics and Information ScienceUniversity of California at San DiegoLa Jolla

Personalised recommendations