We provide another proof of the Sipser-Lautemann Theorem by which BPP ⊆ MA (⊆ PH). The current proof is based on strong results regarding the amplification of BPP, due to Zuckerman (1996). Given these results, the current proof is even simpler than previous ones. Furthermore, extending the proof leads to two results regarding MA: MA ⊆ ZPP NP (which seems to be new), and that two-sided error equals MA. Finally, we survey the known facts regarding the fragment of the polynomial-time hierarchy that contains MA. © 2011 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Goldreich, O., & Zuckerman, D. (2011). Another proof that BPP ⊆ PH (and more). Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6650 LNCS, 40–53. https://doi.org/10.1007/978-3-642-22670-0_6
Mendeley helps you to discover research relevant for your work.