News for hackers. Stuff that matters.

A comment on Predicting When P=NP Is Resolved. Parent comment

Re:Predicting When P=NP Is Resolved by pwdisswordfish2 on Monday December 23, 2019 @01:39AM (#21861891)
P^O is always a subset of NP^O, whatever the O.
[ Parent | on HN ]
Re:Predicting When P=NP Is Resolved by joe_the_user on Monday December 23, 2019 @02:23AM (#21862022)
I think the gp left out the strict before the later subset statements.
[ Parent | on HN ]
Re:Predicting When P=NP Is Resolved by someguy12342 on Monday December 23, 2019 @02:47AM (#21862099)
That's right! I completely flubbed that part while doing some other edits! Thanks. What I wanted to say is there are O1 and O2 such that:

P^O1 strict subset NP^O1

and

P^O2 equals NP^O2

[ Parent | on HN ]