3 ms·
I think the gp left out the strict before the later subset statements.
by joe_the_user 7y ago
I think the gp left out the strict before the later subset statements.
- someguy12342 7y agoThat'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