Can NP-Intermediate exist if P = NP?
Posted
by Jason Baker
on Stack Overflow
See other posts from Stack Overflow
or by Jason Baker
Published on 2010-04-11T21:46:27Z
Indexed on
2010/04/11
21:53 UTC
Read the original article
Hit count: 304
My understanding is that Ladner's theorem is basically this:
P != NP implies that there exists a set NPI where NPI is not in P and NPI is not NP-complete
What happens to this theorem if we assume that P = NP rather than P != NP? We know that if NP Intermediate doesn't exist, then P = NP. But can NP Intermediate exist if P = NP?
© Stack Overflow or respective owner