Comment Comment by caughtinthought Basically 3SAT algo isn't sub-exponential enough to absorb the arbitrary poly cost for the reductionSo 3SAT+poly reduction ends up being exponential parent caughtinthought 5 days ago
So 3SAT+poly reduction ends up being exponential