Hacker News Reader

If a problem is NP complete then there is an algorithm to solve it in nondeterminstic polynomial time. Any nondet algorithm can be transformed to an exp poly time algorithm (just run through each of your poly time algorithms one by one) so showing CLIQUE has an exp algorithm doesn't help at all. We want a lower bound.

View on HN

Yes, that's what he is saying, every CLIQUE algorithm takes at least exponential time.

No, he is claiming that l-CLIQUE requires exponential circuit size (this is the reason that most of the proof talks about circuit complexity and not time bounded Turing Machines). This is not necessarily the same thing as exponential time.

Oh ok, I thought the first post was referring to a single algorithm, not every possible algorithm. My mistake.

Sorry, if I could I would edit it to be more clear. We definitely need to show that no algorithm can exist with poly runtime for all inputs.

Reply on news.ycombinator.com