Eine mögliche Motivation für das Studium von Computerkomplexitätsklassen besteht darin, die Leistungsfähigkeit verschiedener Arten von Computerressourcen (Zufälligkeit, Nichtdeterminismus, Quanteneffekte usw.) zu verstehen. Wenn wir es aus dieser Perspektive betrachten, dann scheint es, als könnten...
Ich verstehe, dass die meisten Probleme trivial sind, wenn ein haltendes Orakel verfügbar ist (oder, ich denke gleichwertig, Hyperberechnung). Die Anwendung des Arguments, das das Halteproblem anzeigt, ist für eine Turing-Maschine jedoch unmöglich. Dies zeigt auch, dass es für ein Turing-Orakel...
Ich weiß, dass es albern ist, aber ich habe es geschafft, mich zu verwirren, und ich brauche Hilfe, um das zu regeln Angenommen, , dann haben wir eindeutig für jedes Orakel was der Tatsache widerspricht, dass es ein Orakel für das , alsoA P A = N P A A P A ≠ N P A P ≠ N PP.=...
Wie können wir sicherstellen, dass wir bei der Verwendung von Orakel-Turing-Maschinen weiterhin fundierte und gültige Aussagen zu Komplexitätsklassen treffen? Nach meinem Verständnis (basierend auf den Definitionen in einführenden Lehrbüchern zu diesem Thema) können Orakel-Turing-Maschinen den...
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...