Why are the examples for P≟NP always so bad? "Solving TSP", "planning airlines better", "get the $1M bounty"?
Why not SAT? There's a $200,000 bounty paid out every ten minutes for solutions to a well-known SAT problem.
Or crypto. Math. Chess.
Why not SAT? There's a $200,000 bounty paid out every ten minutes for solutions to a well-known SAT problem.
Or crypto. Math. Chess.
I don't think I would describe SHA256 prefix matching as "a well-known SAT problem".
I'm not sure I follow -- do you mean there is a challenge open somewhere which pays 200k$?
Solve SAT.
Short the hell out of bitcoin.
Release solution.