[malft]

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.

[UncleMeat]

> There's a $200,000 bounty paid out every ten minutes for solutions to a well-known SAT problem.

I don't think I would describe SHA256 prefix matching as "a well-known SAT problem".

[querez]

> There's a $200,000 bounty paid out every ten minutes for solutions to a well-known SAT problem.

I'm not sure I follow -- do you mean there is a challenge open somewhere which pays 200k$?

[rrobukef]

Bitcoin. Bitcoin relies on SAT being unsolvable.

[echelon]

The payout is pretty great.

Solve SAT.

Short the hell out of bitcoin.

Release solution.

[rrobukef]

Solve SAT. Mine 1 block each day. Sell.

[echelon]

That's a great way to make millions instead of billions.

[tgv]

Chess isn't NP, is it?

[Yajirobe]

chess is EXP