Hacker News new | comments | show | ask | jobs | submit login

Ladner's theorem established that if NP != P, then there exists "NP-easy" problems which are in NP but not in P.

It has been shown that if P != NP, then GI is in that valley.

Wikipedia disagrees: http://en.wikipedia.org/wiki/NP-intermediate

"In computational complexity, problems that are in the complexity class NP but are neither in the class P nor NP-complete are called NP-intermediate"

"Under the assumption that P ≠ NP, Ladner explicitly constructs a problem in NPI, however this problem is artificial and otherwise uninteresting. It is an open question whether any "natural" problem has the same property."

It has been shown that if P != NP, then GI is in that valley.

Could you point to a reference? Is this true even if P != NP, but NP = coNP?

This pdf (http://www.cs.princeton.edu/theory/complexity/ipchap.pdf) which is a draft chapter from a book by Arora and Barak, shows that if GI is NP-complete, then the polynomial hierarchy collapses to the second level. Collapse to the first level is when NP=coNP. So this is slightly weaker even than that.

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | DMCA | Apply to YC | Contact