(2^sqrt(n))^2 = 2^sqrt(n) * 2^sqrt(n) = 2^(sqrt(n) + sqrt(n)) = 2^(2 sqrt(n))
replybut
2^(sqrt(n)^2) = 2^n
That last statement is not correct. (2^sqrt(n))^2 equals 2^(2 * sqrt(n)). If you just take n=1 in your expression you can see the error, your (2^sqrt(n))^2 yields 4, while 2^n is just 2.
replyYeah but you're fixing the wrong thing. The problem after reduction to 3sat is (2^sqrt(n^2)). The altered n becomes the input to 3sat.
replyThis also means your other comment here is wrong to suggest any error: https://news.ycombinator.com/item?id=50254142
...that's...not how exponents work
replyThe result is right, they wrote the parentheses in the wrong spot, don't be so shocked.
reply