Abstract

We construct an oracle A such that P A = \PhiP A and NP A = EXP A : This relativized world has several amazing properties: ffl The oracle A gives the first relativized world where one can solve satisfiability on formulae with at most one assignment yet P 6= NP. ffl The oracle A is the first where P A = UP A 6= NP A = coNP A : ffl The construction gives a much simpler proof than Fenner, Fortnow and Kurtz of a relativized world where all NP-complete sets are polynomial-time isomorphic. It is the first such computable oracle. ffl Relative to A we have a collapse of \PhiEXP A ` ZPP A ` P A /poly. We also create a different relativized world where there exists a set L in NP that is NP- complete under reductions that make one query to L but not under traditional many-one reductions. This contrasts with the result of Buhrman, Spaan and Torenvliet showing that these two completeness notions for NEXP coincide. 1 Introduction Valiant and Vazirani [VV86] show the sur...

Citations