Eine Sprache gehört zur Klasse wenn es zwei Sprachen und so dassLLLDPDPDPL1∈NPL1∈NPL1 \in NPL2∈coNPL2∈coNPL2 \in coNPL=L1∩L2L=L1∩L2L = L1 \cap L2 Ein kanonisches vollständiges Problem ist SAT-UNSAT: Ist es bei zwei 3-CNF-Ausdrücken, und , wahr, dass erfüllbar ist und nicht?DPDPDPFFFGGGFFFGGG Es ist...
Die Klasse BPNC (die Kombination von und N C ) sei ein logarithmischer paralleler Algorithmus mit begrenzter Fehlerwahrscheinlichkeit und Zugriff auf eine zufällige Quelle (ich bin mir nicht sicher, ob dieser einen anderen Namen hat). Definieren Sie die Klasse DBPNC auf ähnliche Weise, mit der...
Dies ist eine Verallgemeinerung meiner vorherigen Frage . Sei MMM eine polynomialzeitdeterministische Maschine, die einem Orakel AAA Fragen stellen kann . Anfangs ist AAA leer, aber dies kann nach einem Spiel geändert werden, das unten beschrieben wird. Sei xxx eine Zeichenfolge. Betrachten Sie das...
BPPBPP\mathsf{BPP} undZPPZPP\mathsf{ZPP} sind zwei grundlegende probabilistische Komplexitätsklassen. BPPBPP\mathsf{BPP} ist die Klasse von Sprachen, die durch probabilistische Polynomzeit-Turing-Algorithmen bestimmt wird, bei denen die Wahrscheinlichkeit, dass der Algorithmus eine falsche Antwort...
Die Komplexitätsklasse ist wie folgt definiert (aus Wikipedia ):SP2S2P\textrm{S}_2^\textrm{P} Eine Sprache ist in S P 2, wenn ein Polynom-Zeit-Prädikat P existiert, so dassLLLSP2S2PS_2^PPPP Wenn , existiert ein y, so dass für alle z , P ( x , y , z ) = 1 istx∈Lx∈Lx \in
Wenn wir beweisen können, dass , bedeutet dies, dass N L = N P ist ?L=PL=P\mathsf{L}=\mathsf{P}NL=NPNL=NP\mathsf{NL}=\mathsf{NP} Ich dachte, dass es der Fall ist, aber ich kann es nicht beweisen (auch für das
Nennen wir eine Sprache NP genau dann spärlich zertifiziert, wenn:L ∈L∈L \in Es existiert ein Polynom , so dass für jede Eingabe x ∈ & Sgr; * der Größe n , wenn x ∈ L dann ist die Menge U x von Zertifikaten u denen diese überprüfen x ∈ L ist polynomial bemessen, dh | U x | ≤ p ( n )...
Dank der Komplexität der Berechnungen wurden die Probleme insgesamt klassifiziert. Aber ist es in Differentialgleichungen möglich, Differentialgleichungen in Abhängigkeit von ihrer Rechenstruktur zu klassifizieren? Wenn beispielsweise eine inhomogene Gleichung erster Ordnung vergleichsweise schwer...
Berman-Hartmanis-Vermutung: Alle NP-vollständigen Sprachen sehen gleich aus, in dem Sinne, dass sie durch polynomielle Zeitisomorphismen miteinander in Beziehung gesetzt werden können [1]. Ich interessiere mich für eine feinkörnigere Version der "Polynomzeit", wenn wir parametrisierte Reduktionen...
Dies ist ein Beitrag, der von den Konsequenzen von UP gleich NP getrennt ist , und auch eine Folgefrage zu semantischen vs. syntaktischen Komplexitätsklassen . Im obigen Beitrag haben wir etwas über die semantischen und syntaktischen Klassen gelernt . Kurz gesagt, wenn eine Klasse als...
Definieren Sie das Rechenmodell MPostBQP so, dass es mit PostBQP identisch ist, außer dass wir vor der Nachauswahl und der endgültigen Messung polynomiell viele Qubit-Messungen zulassen. Können wir Hinweise darauf geben, dass MPostBQP leistungsfähiger als PostBQP ist? Definieren Sie MPostBQP [k],...
Auch wenn es kein entscheidender Punkt ist, sehe ich keine Literatur zu dieser Frage. Gibt es Relativierungsergebnisse? Wäre es nicht ganz einfach, eine strikte Einbeziehung durch Anpassung des nicht deterministischen Zeithierarchiesatzes zu beweisen, indem alle möglichen Pfade der NP-Maschine...
Fasziniert von Chris Presseys interessanter Frage zu elementar-rekursiven Funktionen , habe ich mehr untersucht und konnte im Internet keine Antwort auf diese Frage finden. Die elementaren rekursiven Funktionen entsprechen gut der exponentiellen Hierarchie
Hat jede Turing-erkennbare unentscheidbare Sprache eine NP-vollständige Teilmenge? Die Frage könnte als eine stärkere Version der Tatsache angesehen werden, dass jede unendliche Turing-erkennbare Sprache eine unendlich entscheidbare Teilmenge
Sei die Klasse von Sprachen, die durch abwechselnde Turing-Maschinen bestimmt werden, die in der Zeit f ( n ) unter Verwendung des Raums g ( n ) anhalten . Sei A A L T S P ( f ( n ) , g ( n ) ) die Klasse von Sprachen, die durch abwechselnde Turing-Maschinen bestimmt werden, die mit f ( aufhören )A...
Wir wissen, dass L⊆NL⊆P⊆NPL⊆NL⊆P⊆NP\mathcal{L}\subseteq \mathcal{N\!L}\subseteq\mathcal{P}\subseteq\mathcal{N\!P} . Aus Savitchs Theorem,NL⊆L2NL⊆L2\mathcal{N\!L}\subseteq\mathcal{L}^2L≠L2L≠L2\mathcal{L}\neq\mathcal{L}^2L≠PL≠P\mathcal L\neq\mathcal PL2⊆PL2⊆P\mathcal L^2\subseteq\mathcal...
Ein Großteil der Quantencomputerliteratur konzentriert sich auf das Schaltungsmodell. Adiabatisches Quantencomputing basiert nicht auf der Anwendung einer Folge von Einheitsoperatoren, sondern auf der Änderung eines zeitabhängigen Hamilton-Operators. Ich suche nach einem Einblick in eines der...
Es ist bekannt, dass die Existenz von Einwegfunktionen für einen Großteil der Kryptographie (digitale Signaturen, Pseudozufallsgeneratoren, Verschlüsselung mit privatem Schlüssel usw.) notwendig und ausreichend ist. Meine Frage ist: Was sind die komplexitätstheoretischen Konsequenzen der Existenz...
Folgendes wird nicht als wahr angesehen: L⊆L−uniform NC1L⊆L−uniform NC1\mathsf{L} \subseteq \mathsf{L}-\mbox{uniform } \mathsf{NC}^1 Können Sie mir helfen zu sehen, wo das Argument zusammenbricht? Das Problem der gerichteten Erreichbarkeit ist für . Ich behaupte, dass es in -uniform...
Sei xi∈{−1,0,+1}xich∈{- -1,0,+1}}x_i \in \{-1,0,+1\} für i∈{1,…,n}ich∈{1,…,n}}i \in \{1,\ldots,n\} mit dem Versprechen, dass x = ∑ni = 1xich∈ { 0 , 1 }x=∑ich=1nxich∈{0,1}}x = \sum_{i=1}^n{x_i} \in \{0,1\} (wobei die Summe über Z.Z.\mathbb{Z} ). Wie komplex ist es dann zu bestimmen, ob x = 1x=1x = 1...