Als ich den Baker-Gill-Solovay-Beweis erklärte, dass es ein Orakel gibt, mit dem wir haben können, , und ein Orakel, mit dem wir haben können, Freund wurde die Frage gestellt, warum solche Techniken nicht geeignet sind, das zu beweisen , und ich konnte keine zufriedenstellende Antwort geben.P ≤ N P...
Wie kann man beweisen, dass ? Ich suche nur nach einem solchen Orakel TM M und einer rekursiven Sprache L ( M ) = L, für die dies gilt.N PEIN≠ c o N PEINNPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML ( M) = LL(M)=LL(M) = L Ich kenne den Beweis , wo Sie zeigen , dass es ein Orakel , so dass P A ≠ N...
Ich nehme an einem Kurs über Computerkomplexität teil. Mein Problem ist, dass ich die Relativierungsmethode nicht verstehe . Leider habe ich bisher in vielen Lehrbüchern ein wenig Intuition gefunden, ohne Erfolg. Ich würde es begrüßen, wenn jemand das Licht auf dieses Thema werfen könnte, damit ich...
Ich entschuldige mich, aber auch nach diesen beiden anderen Beiträgen: Hier und hier habe ich immer noch Probleme, Orakel-TMs und Relativierung zu verstehen. Diese Frage kommt aus einem anderen Blickwinkel auf das Thema: Warum werden nicht relativierende Beweise als valider angesehen als Argumente,...
Das Folgende ist eine Übung, an der ich festhalte (Quelle: Sanjeev Arora und Boaz Barak; es sind keine Hausaufgaben): Zeigen Sie, dass es ein Orakel gibt AAAund eine Sprache so dass nicht auf 3SAT polynomialzeitreduzierbar ist, selbst wenn der Maschine, die die Reduktion berechnet, Zugriff gewährt...