Advanced
Theory of Computation
Q94 / 100
What is the Baker-Gill-Solovay result about oracles?
Correct! Well done.
Incorrect.
The correct answer is B) There exist oracles A and B such that Pᴬ = NPᴬ and Pᴮ ≠ NPᴮ — the P vs NP question cannot be resolved by relativizing proof techniques
B
Correct Answer
There exist oracles A and B such that Pᴬ = NPᴬ and Pᴮ ≠ NPᴮ — the P vs NP question cannot be resolved by relativizing proof techniques
Explanation
BGS (1975) showed P vs NP is immune to relativization: some oracles collapse P = NP, others separate them. This rules out many standard proof techniques for resolving P vs NP.
Progress
94/100