Als «oracles» getaggte Fragen

8
Ist die Relativierung gut definiert?

Nach BGS - Theorem [1], gibt es eine Oracle , so dass .P A ≠ N P A.AAAPA≠NPAPA≠NPAP^A\neq NP^A Wenn die Relativierungsoperation eine genau definierte Funktion wäre, würde man erwarten, dass man aus schließen könnte, dass , z. B. , daraus folgen würde BGS. Allerdings ist noch offen.B A ≠ C A B ≠ C P...