Als «oracle-machines» getaggte Fragen

4
Komplexitätsklassen mit
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 wir ein plausibles Axiom für jeden Versuch erhalten, zu charakterisieren, welche Berechnungen in einem Modell möglich …
1
Gibt es irgendwelche Probleme, die mit einem haltenden Orakel nicht lösbar wären?
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 unmöglich ist, das Halteproblem für ein Turing-Orakel zu entscheiden. …
2
Wie führt der Einsatz von Orakel-Turing-Maschinen nicht zu Widersprüchen?
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 Mitgliedschaftsstatus einer Zeichenfolge in Bezug auf eine Orakel-Sprache in einem Berechnungsschritt bestimmen. Es ist jedoch …
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 …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.