Abstract
We consider inclusion relations among a multitude of classical complexity classes and classes with probabilistic components. A key tool is a method for characterizing such classes in terms of the ordinary quantifiers ∃ and ∀ together with a quantifier ∃+, which means roughly “for most”, applied to polynomial-time predicates. This approach yields a uniform treatment which leads to easier proofs for class-inclusion and hierarchy-collapse results. Furthermore the method captures some recently introduced game classes and game hierarchies.
This survey also includes a charting of class-inclusion and oracle-based separation results.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
8. References
ANGLUIN, D., On counting problems and the polynomial time hierarchy, TCS 12, (1980), 161–173.
BABAI, L., Trading Group Theory for Randomness, 17th STOC, (1985), 421–429.
BENNETT, C.H., and GILL, J., Relative to Random Oracle A, PA ≠ NPA ≠ co-NPA, SIAM J. Comput 10, (1981), 96–113.
BAKER, T., GILL, J., and SOLOVAY, R., Relativization of the P=? NP question, SIAM J. of Computing 4, (1975), 431–442.
BACH, E., MILLER, G., and SHALLIT, J., Sums of divisors, perfect numbers, and factoring, 16th STOC, (1984), 183–190.
BAKER, T., and SELMAN, A., A second step toward the polynomial hierarchy, TCS 8, (1979), 177–187.
GILL, J., Computational Complexity of Probabilistic Turing Machines, SIAM J. of Computing 6, (1977), 675–695.
GALIL, Z., HABER, S., and YUNG, M., A Private Interactive Test of a Boolean Predicate and Minimum — Knowledge Public — Key Cryptosystems, 26th FOCS, (1985), 360–371.
GOLDWASSER, S., MICALI, S., and RACKOFF, C., The Knowledge Complexity of Interactive Proof Systems, 17th STOC, (1985), 291–304.
GOLDWASSER, S., and SIPSER, M., Arthur Merlin Games versus Interactive Proof Systems, 18th STOC, (1986).
HELLER, H., On relativized exponential and probabilistic complexity classes, (1985), submitted to Information and Control.
HUNT, J.W., Topics in Probabilistic Complexity, Ph.D. Dissertation, Department of Electrical Engineering, Stanford, (1978).
HINMAN, P. and ZACHOS, S., Probabilistic Machines, Oracles and Quantifiers, Proceedings of the Oberwolfach Recursion-theoretic Week, Lecture Notes in Mathematics, 1141, Springer-Verlag, (1984), 159–192.
KER-I-KO, Some Observations on Probabilistic Algorithms and NP-Hard Problems, IPL 14, (1982), 39–43.
PAPADIMITRIOU, C.H., Games against Nature, 24th FOCS, (1983), 446–450.
PAPADIMITRIOU, C.H., and YANNAKAKIS, M., The Complexity of Facets (and some facets of complexity), 14th STOC, (1982), 255–260.
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.
STOCKMEYER, L.J., The Polynomial-Time Hierarchy, TCS 3, (1976), 1–22.
SOLOVAY, R., and STRASSEN, V., A fast Monte-Carlo test for primality, SIAM J. of Computing 6, (1977) 84–85.
VAZIRANI, U.V., and VAZIRANI, V.V., Random polynomial time is equal to slightly random polynomial time, 26th FOCS, (1985), 417–428.
WRATHALL, C., Complete sets and the polynomial-time hierarchy, TCS 3, (1976), 23–33.
YAO, A.C., Separating the Polynomial — Time Hierarchy by Oracles, 26th FOCS, (1985), 1–10.
ZACHOS, S., Robustness of Probabilistic Computational Complexity Classes under Definitional Perturbations, Information and Control, (1982), 54, 143–154.
ZACHOS, S., Collapsing probabilistic polynomial hierarchies, Proc. Conf. on Computational Complexity Theory, Santa Barbara, (1983), 75–81.
ZACHOS, S., and FURER, M., Probabilistic Quantifiers vs. Distrustful Adversaries, (1985), submitted for publication.
ZACHOS, S., and HELLER, H., On BPP, TM-252, LCS, MIT, (1983).
ZACHOS, S., and HELLER, H., A Decisive Characterization of BPP, (1984), to appear in Information and Control.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zachos, S. (1986). Probabilistic quantifiers, adversaries, and complexity classes : An overview. In: Selman, A.L. (eds) Structure in Complexity Theory. Lecture Notes in Computer Science, vol 223. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16486-3_112
Download citation
DOI: https://doi.org/10.1007/3-540-16486-3_112
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16486-9
Online ISBN: 978-3-540-39825-7
eBook Packages: Springer Book Archive