Zusammenfassung
Für das 2-Prozessor-Kommunikationsmodell untersuchen wir nichtdeterministische Orakelprotokolle. Die beiden Prozessoren dürfen in diesem Fall gemeinsam ein Orakel für eine vorgegebene Sprache oder Sprachklasse zu Hilfe nehmen. Mit diesem Modell läßt sich eine alternative Definition für die polynomielle Kommunikationshierarchie geben.
Es wird der Begriff der disjunktiven und konjunktiven Rechteckreduktion zwischen Sprachen eingeführt. Unter gewissen Vollständigkeits- und Abschlußbedingun-gen bezüglich dieser Reduktionen für die Orakelsprache zeigen wir, daß für derartige Orakelprotokolle eine einzige Orakelfrage ausreichend ist. Dies gilt beispielsweise für die Orakelmengen C-PP und C- BPP, d.h. die Sprachen, die durch probabilistische Protokolle mit mäßig beschränktem bzw. beschränktem Fehler mit polylogarithmischem Kommunikationsaufwand akzeptiert werden können. Ähnliche Ergebnisse lassen sich auch für Berechnungen von Orakel-Turing-Maschinen zeigen.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literaturverzeichnis
H. Abelson, Lower bounds on information transfer in distributed computations Proceedings of the 19th Annual IEEE Symposium on Foundations of Computer Science, 151–158, 1978
A. V. Aho, J. D. Ullman, M. Yannakakis, On notions of information transfer in VLSI circuits Proceedings of the 15th Annual ACM Symposium on Theory of Computing, 133–139, 1983
L. Babai, P. Frankl, J. Simon, Complexity classes in communication complexity Proceedings of the 27th Annual IEEE Symposium on Foundations of Computer Science, 337–347, 1986
R. Beigel, N. Reingold, D. Spielman, PP is closed under intersection, Technischer Bericht YALEU/DCS/ TR-803, Yale University, 1990
B. Halstenberg, R. Reischuk, Relations between communication complexity classes Journal of Computer and System Sciences 41 (1990), 402–429, Academic Press
M. Karchmer, A. Wigderson, Monotone circuits for connectivity require super-logarithmic depth Proceedings of the 20th Annual ACM Symposium on Theory of Computing, 539–550, 1988
R. J. Lipton, R. Sedgewick, Lower bounds for VLSI Proceedings of the 13th Annual ACM Symposium on Theory of Computing, 300–307, 1981
S. Toda, PP is-hard for the polynomial-time hierarchy, Technischer Bericht, Tokyo University of Electro-communications, Tokio, 1989
A. C. Yao, Some complexity questions related to distributed computing Proceedings of the 11th Annual ACM Symposium on Theory of Computing, 209–213, 1979
S. Zachos, Probabilistic quantifiers, adversaries, and complexity classes: an overview Proceedings Structure in Complexity Theory 1st Annual Conference, 383–400, 1986
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 B. G. Teubner Verlagsgesellschaft, Leipzig
About this chapter
Cite this chapter
Halstenberg, B., Reischuk, R. (1992). Über den Nutzen von Orakelfragen bei nichtdeterministischen Kommunikationsprotokollen. In: Buchmann, J., Ganzinger, H., Paul, W.J. (eds) Informatik. TEUBNER-TEXTE zur Informatik, vol 1. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-95233-2_10
Download citation
DOI: https://doi.org/10.1007/978-3-322-95233-2_10
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-8154-2033-1
Online ISBN: 978-3-322-95233-2
eBook Packages: Springer Book Archive