Skip to main content
Article thumbnail
Location of Repository

Generic separations

By Harry Buhrman, Lance Fortnow and Thomas Thierauf


We show that MAEXP, the exponential time version of problems in complexity theory. It is still true that virtually the Merlin-Arthur class, does not have polynomial size cir- all of the theorems in computational complexity theory that cuits. This significantly improves the previous known result have reasonable relativizations do relativize (see [For94]). due to Kannan since we furthermore show that our result But we do have a small number of exceptions that arise does not relativize. This is the first separation result in com- from the area of interactive proofs. These results have preplexity theory that does not relativize. As a corollary to our viously always taken the form of collapses such as IP= separation result we also obtain that PEXP, the exponen- PSPACE [LFKN92, Sha92], MIP=NEXP [BFL91] and tial time version of PP is not in P=poly. PCP(O(1);O(logn))=NP [ALM+92]. In this paper we give the first reasonable nonrel-

Year: 1996
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.