News for hackers. Stuff that matters.
Re:P = NP Proofs: Advice to claimers by GuB-42 on Monday April 22, 2019 @07:37PM (#19724181)
It is addressed in the article. The idea is that it is not a good proof.

Solving a hard problem with code doesn't mean that you solved the general case. For example your algorithm may work in polynomial time for some specific 3-SAT problems or hashes up to a certain length. It may be huge but it doesn't mean you proved P=NP.

Furthermore, P=NP doesn't mean you can easily solve NP-Complete problems. What if N^100 is the best you can do? It may be polynomial but it is useless. In fact, small steps are expected. And going straight to a workable algorithm is suspicious.

Re:P = NP Proofs: Advice to claimers by 12298765 on Monday April 22, 2019 @09:18PM (#19724790)
Sure, it doesn't prove that you've solved P=NP, but if you can do that (especially for multiple known hard problems), it seems pretty likely that your suggested solution would be heavily evaluated.

I don't think anyone suggested that breaking a single problem proves P=NP, they were just addressing the article, and suggesting a way to convince someone to evaluate your proof..

Re:P = NP Proofs: Advice to claimers by erichocean on Monday April 22, 2019 @11:43PM (#19725416)
> Solving a hard problem with code doesn't mean that you solved the general case.

If we're talking about P=NP, 3-SAT is the "general case". That's why I picked it, since all NP problems are reducible to 3-SAT in polynomial time and space.

Re:P = NP Proofs: Advice to claimers by jcranmer on Tuesday April 23, 2019 @01:49AM (#19725914)
Saying that you solve a specific case of satisfiability problems (e.g., siphash) is not proof that you can solve any 3-SAT problem. Graph coloring is a great example of this phenomenon--graph coloring is NP-hard, but most graphs can be colored very efficiently in polynomial time.