Remix.run Logo
▲ thatoneengineer 8 hours ago

Assuming P != NP (and that this NP != EXP proof holds up), what's the next most "natural" candidate for how fast NP must grow? This paper appears to show Omega(2^(n/sqrt(log(n))) with a couple additional fudge factors which would be a very disappointing answer.

▲jibalt 5 hours ago | parent | next [-]

This is not a proof that NP != EXP. NP is poly time reduceable to 3SAT + 3SAT is sub-exponential does not imply that NP is sub-exponential -- the cost of the reduction may be enough to push the conjunction from sub-exponential to exponential.

Note https://news.ycombinator.com/item?id=50253213 which explains it better.

▲zeroonetwothree 8 hours ago | parent | prev [-]

Definitely puts some weight on the P=NP side of the scale!