Separability and one-way functions
We settle all relativized questions of the relationships between the following five propositions:
We make the first widespread use of variations of generic oracles to achieve the necessary relativized worlds.
P = NP.
P = UP.
P = NP $\cap$ coNP.
All disjoint pairs of NP sets are P-separable.
All disjoint pairs of coNP sets are P-separable.
Keywords.Structural complexity relativization generic oracles
Mathematics Subject Classification (2000).68Q15
Unable to display preview. Download preview PDF.
© Birkhäuser-Verlag 2002