Arthur-Merlin games were introduced recently by Babai in order to capture the intuitive notion of efficient, probabilistic proof-systems. Considered as complexity classes, they are extensions of NP. It turned out, that one exchange of messages between the two players is sufficient to simulate a constant number of interactions. Thus at most two new complexity classes survive at the constant levels of this new hierarchy: AM and MA, depending on who starts the communication. It is known that MA ⊆ AM. In this paper we answer an open problem of Babai: we construct an oracle C such that (Formula presented.). Since MAC ⊆ ∑2P,C, it follows that for some oracle C, MAC≠AMC. Our prooftechnique is a modification of the technique used by Baker and Selman to show that ∑2P and ∏2P can be separated by some oracle. This result can be interpreted as an evidence that with one exchange of messages, the proof-system is stronger when Arthur starts the communication.
CITATION STYLE
Santha, M. (1987). Relativized Arthur-Merlin versus Merlin-Arthur games. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 287 LNCS, pp. 435–442). Springer Verlag. https://doi.org/10.1007/3-540-18625-5_66
Mendeley helps you to discover research relevant for your work.