Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Angluin, D., On counting problems and the polynomialtime hierarchy, Theor. Computer Science 12 (1980) 161–173.
Bach, E., Miller, G., and Shallit, J., Sums of divisors, perfect numbers, and factoring, Proceedings of the 16th annual ACM Symposium on the Theory of Computing (1984) 183–190.
Baker, T., Gill, J., and Solovay, R., Relativization of the P=? NP question, SIAM J. of Computing 4 (1975) 431–442.
Baker, T. and Selman, A., A second step toward the polynomial hierarchy, Theoretical Computer Science 8 (1979) 177–187.
Bennett, C.H. and Gill, J., Relative to a random oracle A, with probability 1, SIAM J. Computing 10 (1981) 96–113.
Cook, S.A., The complexity of theorem-proving procedures. Proc. 3rd annual ACM Symp. on Theory of Computing, Association for Computing Machinery, New York, NY, 151–158.
Gill, J., Computational complexity of probabilistic Turing machines, SIAM J. of Computing 6 (1977) 675–695.
Heller, H., On relativized exponential and probabilistic complexity classes, submitted to Information and Control.
Hopcroft, J. and Ullman, J., Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, Reading, MA, 1979, x+418 pp.
Hunt, J.W., Topics in Probabilistic Complexity, Ph.D. Dissertation, Department of Electrical Engineering, Stanford University, Stanford, CA, 1978.
Rabin, M., Probabilistic algorithm for testing primality, J. of Number Theory 12 (1980) 128–138.
Rackoff, C., Relativized questions involving probabilistic algorithms, JACM 29 (1982) 261–268.
Simon, J., On some central problems in computational complexity, Ph.D. Dissertation, Department of Computer Science, Cornell University, Ithaca, NY, 1975.
Solovay, R., and Strassen, V., A fast Monte-Carlo test for primality, SIAM J. of Computing 6 (1977) 84–85.
Stockmeyer, L.J., The polynomial-time hierarchy, Theor. Computer Science 3 (1976) 1–22.
Wrathall, C., Complete sets and the polynomial-time hierarchy, Theor. Computer Science 3 (1976) 23–33.
Zachos, S., Robustness of probabilistic computational complexity classes under definitional perturbations, Information and Control 54 (1982) 143–154.
Zachos, S. and Heller, H., A decisive characterization of BPP, submitted to Information and Control.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag
About this paper
Cite this paper
Hinman, P.G., Zachos, S. (1985). Probabilistic machines, oracles, and quantifiers. In: Ebbinghaus, HD., Müller, G.H., Sacks, G.E. (eds) Recursion Theory Week. Lecture Notes in Mathematics, vol 1141. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0076220
Download citation
DOI: https://doi.org/10.1007/BFb0076220
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15673-4
Online ISBN: 978-3-540-39596-6
eBook Packages: Springer Book Archive