Als «oracles» getaggte Fragen

Fragen zu Orakelmaschinen in der rechnerischen Komplexitätstheorie. Orakel können als Indikator dafür dienen, dass eine Trennung zwischen Komplexitätsklassen den Rahmen bestimmter Beweisverfahren sprengt.

1
Gibt es kanonische nicht-relativierende Techniken?
In vielen Bereichen gibt es kanonische Techniken, die jeder auf dem Gebiet beherrschen sollte. Zum Beispiel besteht der "Bit-Trick" für die Komposition bei der Reduzierung des Protokollbereichs darin, nicht die vollständige Ausgabe der zusammengesetzten Funktion zu konstruieren, sondern immer das Ergebnis für jedes Bit der Ausgabe neu zu berechnen, um …
3
Weltraumgebundene TMs und Orakel
Im Allgemeinen zählt das Abfrageband für ein Orakel für die räumliche Komplexität eines TM. Es erscheint jedoch plausibel, nur ein beschreibbares Orakelband zuzulassen (wie es bei L-Platz-Verkleinerungen verwendet wird). Ist eine solche Konstruktion sinnvoll? Ergibt es irgendwelche besonders absurden Ergebnisse?
5
P mit ganzzahligem Faktorisierungsorakel
Ich habe gerade die Frage " Ist die Faktorisierung von Ganzzahlen ein NP-vollständiges Problem? " Gelesen, also habe ich mich entschlossen, einen Teil meines Rufs auszugeben :-) und eine andere Frage gestellt: mit :P ( Q ist trivial ) ≈ 1Q.QQP( Q ist trivial ) ≈ 1P(Q is trivial)≈1P(\text{Q is …
1
Was ist das Orakel mit der minimalen Komplexität, das PSPACE von der Polynom-Hierarchie trennt?
Hintergrund Es ist bekannt, dass es ein Orakel AAA , das .PSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A Es ist sogar bekannt, dass die Trennung relativ zu einem zufälligen Orakel gilt. Informell kann man dies so interpretieren, dass es viele Orakel gibt, für die und getrennt sind.P HPSPACEPSPACEPSPACEPHPHPH Frage Wie kompliziert sind diese Orakel, …
3
Komplexitätstheorie, wenn ein Orakel Teil der Eingabe ist
In der Komplexitätstheorie treten Orakel am häufigsten wie folgt auf: Ein festes Orakel wird beispielsweise einer Turing-Maschine mit bestimmten begrenzten Ressourcen zur Verfügung gestellt, und es wird untersucht, wie das Orakel die Rechenleistung der Maschine erhöht. Es gibt jedoch eine andere Art und Weise, wie Orakel manchmal auftreten: als Teil …
2
Erschöpfender Simulator von Zero-Knowledge-Protokollen im Random Oracle-Modell
In einem Artikel mit dem Titel "On Deniability in the Common Reference String und Random Oracle Model" schreibt Rafael Pass: Wir stellen fest, dass der Simulator beim Nachweis der Sicherheit gemäß der standardmäßigen Zero-Knowledge-Definition im RO-Modell (Random Oracle) zwei Vorteile gegenüber einem einfachen Modellsimulator aufweist, nämlich Der Simulator kann sehen, …
1
Komprimieren von Informationen zum Problem des Anhaltens von Oracle Turing-Maschinen
Das Stopp-Problem ist bekanntermaßen nicht berechenbar. Es ist jedoch möglich, Informationen über das Problem des Anhaltens exponentiell zu "komprimieren", so dass das Dekomprimieren berechenbar ist. Genauer gesagt ist es möglich, aus einer Beschreibung von Turing-Maschinen und einem Bit-Hinweis die Antwort auf das Halteproblem für alle Turing-Maschinen zu berechnen , vorausgesetzt, …
1
Bedeutet Kannans Theorem, dass NEXPTIME ^ NP ⊄ P / poly?
Ich las einen Artikel von Buhrman und Homer „Superpolynomial Circuits, Almost Sparse Oracles and the Exponential Hierarchy“ . NEXPTIMENPNEXPTIME^{NP}NEXPTIMENPNEXPTIME^{NP}Σ2EXP\Sigma_2EXP ∀c ∃L∈Σ2P\forall c\mbox{ }\exists L\in\Sigma_2P , so dass L ∉ S i z e (L∉Size(nc)L \not\in Size(n^c)Σ2P⊄P/polyΣ2P⊄P/poly\Sigma_2P \not\subset P/poly∃L∈Σ2P∃L∈Σ2P\exists L\in\Sigma_2P∀c∀c\forall cL∉Size(nc)L∉Size(nc)L \not\in Size(n^c)NEXPTIMENP⊄P/polyNEXPTIMENP⊄P/polyNEXPTIME^{NP} \not\subset P/poly
1
als Orakel
Tut NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP}halten? Klar NPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP} , aber es scheint mir, dass NP∩coNPNP∩coNP\mathsf{NP\cap coNP} "deterministisch" ist, was mich glauben lässt, dass dies wahr ist. Gibt es einen einfachen Beweis (oder vielleicht nur per Definition)?
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.