News for hackers. Stuff that matters.
Re:Graph Isomorphism update: quasipolynomial claim restored by wolfgke on Tuesday January 10, 2017 @07:46PM (#13370779)
Please look up the definition of NP-hardness again. If the problem

(#) := "finding a nonce that makes the block have a SHA256 with many leading zeroes"

was NP-hard, it would be an interesting idea to use a solver for (#) to solve e.g. SAT (not the other way round!).

TLDR: You talked about the wrong inclusion.

There are no comments on this comment yet.