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...
Mich interessiert, wie man beweist, dass ein Satz relativiert. Natürlich ist es einfach zu beweisen, dass ein Satz nicht relativiert, wie das Ergebnis von Baker-Gill-Solovay zeigt; aber wie kann man beweisen , dass ein Satz tut relativieren das heißt , dass es wahr relativ zu jedem Orakel ist? Gibt...
Betrachten Sie jede Sprache . Definieren Sie s ( L ) ∈ { 0 , 1 } ω (eine unendliche Folge von Bits) durch die rekursive FormelLLLs(L)∈{0,1}ωs(L)∈{0,1}ωs(L) \in {\lbrace 0, 1 \rbrace}^\omega s(L)n=χL(s(L)<n)s(L)n=χL(s(L)<n)s(L)_n=\chi_L(s(L)_{>0:s(L)_n=\chi_U(s(L)_{0:s(L, a)_{2n}=\chi_V(s(L,...
In der Arbeit Relativierungen des P =? NP Question , Baker et al. zeigten, dass es relativierte Welten gibt, in denen entweder P = NP oder P ≠ NP gilt. Alle Orakel in ihren Einstellungen waren rekursive Mengen. In einer anderen Arbeit in Bezug auf ein zufälliges Orakel , P A ≠ N P A ≠ co- N P A mit...