Symmetric Alteration Captures BPP
Author(s)
Russell, Alexander; Sundaram, Ravi
DownloadMIT-LCS-TM-520.pdf (769.0Kb)
Metadata
Show full item recordAbstract
We introduce the natural class Sp2 containing those languages which may be expressed terms of two symmetric quantifiers. This class lies between ?p2 and ? and naturally generates a "symmetric" hierarchy corresponding to the polynomial-time hierarchy. We demonstrate, using the probabilistic method, new containment theorems for BPP.
Date issued
1995-11Series/Report no.
MIT-LCS-TM-520