News for hackers. Stuff that matters.

A comment on On Norbert Blum’s claimed proof that P does not equal NP. Parent comment

Re:On Norbert Blum’s claimed proof that P does not equal NP by padobson on Wednesday August 16, 2017 @02:45PM (#15030030)
Yeah, proving it is not going to be much of a game changer. Most everyone already assumes it's true.

But if someone were to prove the opposite, the entire technology world would shift dramatically, so it will certainly help to have a proof for this.

[ Parent | on HN ]
Re:On Norbert Blum’s claimed proof that P does not equal NP by Guvante on Wednesday August 16, 2017 @03:06PM (#15030200)
That is assuming the constant end up being in the realm of reasonable. `O(2^N)` and `O(N^1000)` are no different for any useful values of `N`.
[ Parent | on HN ]
Re:On Norbert Blum’s claimed proof that P does not equal NP by rickduggan on Wednesday August 16, 2017 @08:09PM (#15032520)
Wouldn't someone proving it true be a game changer in that it would preclude the ability of anyone to prove the opposite?
[ Parent | on HN ]