Abstract
We settle all relativized questions of the relationships between the following five propositions:
-
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.
We make the first widespread use of variations of generic oracles to achieve the necessary relativized worlds.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Fortnow, L., Rogers, J. Separability and one-way functions. comput. complex. 11, 137–157 (2002). https://doi.org/10.1007/s00037-002-0173-4
Received:
Issue Date:
DOI: https://doi.org/10.1007/s00037-002-0173-4