Computerwissenschaften relativization

3

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 P …

29 complexity-theory proof-techniques p-vs-np relativization

2

Ein Orakel, um NP von coNP zu trennen

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 …

12 complexity-theory relativization

1

Intuition hinter Relativierung

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 alleine weitermachen kann. Nur …

10 complexity-theory np-complete complexity-classes relativization np

1

Wie kann ich zeigen, dass der Cook-Levin-Satz nicht relativiert?

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 wirdL∈NPAL∈NPAL \in NP^ALLLAAA . …

7 complexity-theory np nondeterminism oracle-machines relativization

1

Warum werden nicht relativierende Beweise den relativierenden vorgezogen?

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, die auf relativierten Ergebnissen beruhen? Zum Beispiel …

7 complexity-theory proof-techniques oracle-machines relativization

Als «relativization» getaggte Fragen