5 ms·

P^O is always a subset of NP^O, whatever the O.

• joe_the_user 7y ago
  I think the gp left out the strict before the later subset statements.
  • someguy12342 7y ago
    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