Advanced
Theory of Computation
Q84 / 100
What is Ladner's theorem and what does it imply?
Correct! Well done.
Incorrect.
The correct answer is B) If P ≠ NP, there exist NP-intermediate problems — in NP but neither in P nor NP-complete
B
Correct Answer
If P ≠ NP, there exist NP-intermediate problems — in NP but neither in P nor NP-complete
Explanation
Ladner's theorem (1975) proves: if P ≠ NP, the NP class is not just P and NP-complete — there are problems "in between." Graph Isomorphism is suspected to be NP-intermediate.
Progress
84/100