In der beschreibenden Komplexität hat Immerman Folgerung 7.23. Die folgenden Bedingungen sind äquivalent: 1. P = NP. 2. Über endlichen, geordneten Strukturen ist FO (LFP) = SO. Dies kann als "Verstärken" von P = NP auf eine äquivalente Aussage über (vermutlich) größere Komplexitätsklassen angesehen...
Wir wissen, dass die erste Ebene der Polynomhierarchie (dh NP und co-NP) in PP liegt und dass . Aus Todas Theorem wissen wir auch, dass .P H ⊆ P P PPP⊆ PSPA CEPP⊆PSPACEPP \subseteq PSPACEPH⊆ PPPPH⊆PPPPH \subseteq P^{PP} Wissen wir, ob ? Wenn nicht, warum ist mit einem Orakel stärker als ? Ist es...
Edit : Wie Ravi Boppana in seiner Antwort richtig hervorhob und Scott Aaronson in seiner Antwort ein weiteres Beispiel hinzufügte , stellte sich heraus, dass die Antwort auf diese Frage auf eine Weise "Ja" war, die ich überhaupt nicht erwartet hatte. Zuerst dachte ich, dass sie die Frage, die ich...
Trifft es zu, dass es Probleme in dem Polynom Hierarchie auflösbar in Zeit (durch eine alternierende Turingmaschine in einem bestimmten Ebene der Polynom Hierarchie) , die nicht auflösbar ist in in irgendeine Ebene der Polynom-Hierarchie? Mit anderen Worten - gibt es einen Zeithierarchiesatz für...
Es ist gut bekannt , dass , wenn P=NPP=NP\mathbf{P}=\mathbf{NP} dann das Polynom Hierarchie kollabiert und P=PHP=PH\mathbf{P}=\mathbf{PH} . Dies kann mit Orakelmaschinen leicht induktiv verstanden werden. Die Frage ist - warum können wir nicht den induktiven Prozess über einen konstanten Wert von...
Ich benötige eine Liste von vollständigen Sprachen. Im Complexity Zoo sind zwei solche Probleme aufgeführt :Σp2Σ2p\Sigma_2^p Mindestäquivalent DNF. Gibt es bei einer DNF-Formel F und einer Ganzzahl k eine DNF-Formel, die F mit k oder weniger Vorkommen von Literalen äquivalent ist? Kürzester...
Wir wissen, dass wenn ist, der gesamte PH zusammenbricht. Was ist, wenn die Polynomhierarchie teilweise zusammenbricht? (Oder wie kann man verstehen, dass PH über einem bestimmten Punkt und nicht unter einem bestimmten Punkt zusammenbrechen kann?)P.= N.P.P=NPP=NP Mit kürzeren Worten, was wären die...
Zwischen jeder Ebene der Polynomhierarchie sind verschiedene Komplexitätsklassen enthalten, einschließlich ΔPiΔiP\Delta_i^{\text{P}} , DPDP\text{DP} , BHkBHk\text{BH}_k und & ΣPi∩ΠPiΣiP∩ΠiP\Sigma_i^\text{P} \cap \Pi_i^\text{P} . In Ermangelung einer besseren Terminologie werde ich diese und...
Es ist bekannt, dass das Hinzufügen einer Randomisierung mit begrenzten Fehlern zu PSPACE keine zusätzliche Leistung bringt. Das heißt, BPPSAPCE = PSPACE. Es ist bekanntlich nicht bekannt , ob P = BPP, aber es ist bekannt , dass .BPP⊆Σ2∩Π2BPP⊆Σ2∩Π2BPP\subseteq \Sigma_2\cap \Pi_2 Somit ist es...
Das PCP-Theorem besagt, dass jedes Entscheidungsproblem in NP probabilistisch überprüfbare Beweise hat (oder äquivalent dazu, dass es ein vollständiges und quasi-schalldichtes Beweissystem für Theoreme in NP gibt, das eine konstante Abfragekomplexität und logarithmisch viele zufällige Bits...
Der folgende Begriff eines Destillationsalgorithmus stammt aus "Über Probleme ohne Polynomkerne". Es sei eine Sprache gegeben. Ein Destillationsalgorithmus für nimmt eine gegebene Liste von Eingabezeichenfolgen und berechnet eine Ausgabezeichenfolge :LLL{ x i } i ∈ [ t ] yLLL{xi}i∈[t]{xi}i∈[t]\{...
Ich kenne die folgenden Varianten von SUBSETSUM-Problemen: ( Elberfeld at. Al., 2010 ), NP-vollständige S U B S E T S U M und NEXP-vollständige S U C C I N C T - S U B S E T S U M ( Link ).U.N A R Y - S U.B S E T S U.M ∈ L.U.N.EINR.Y.- -S.U.B.S.E.T.S.U.M.∈L. \mathtt{UNARY\mbox{-}SUBSETSUM} \in...
Die ungleichmäßigen Versionen von P, NP und coNP sind P / Poly, NP / Poly und coNP / Poly. Ebenso können wir für jede Ebene in der PH eine ungleichmäßige Version definieren. Zum Beispiel: / poly von Problemen der Form besteht { x : ∃ y ∀ zΣ2Σ2\Sigma_2 , wobei C eine Schaltung mit Polynomgröße ist,...