Comment

Comment by caughtinthought

Basically 3SAT algo isn't sub-exponential enough to absorb the arbitrary poly cost for the reduction

So 3SAT+poly reduction ends up being exponential

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton