Als «complexity-classes» getaggte Fragen

Fragen zu Beziehungen zwischen Komplexitätsklassen.

3
Ist
Angenommen, ist ein entscheidbares Entscheidungsproblem.ΠΠ\Pi Does implizieren ist -Hard?Π∉NPΠ∉N.P.\Pi\not \in NPΠΠ\PiNPN.P.NP Bearbeiten: Wenn wir annehmen, dass , sind wir fertig. Können wir die Behauptung ohne unbekannte Annahmen widerlegen?Π∈coNP∖NPΠ∈coNP∖NP\Pi\in coNP\setminus NP
2
Warum verlangt man in Savitchs Theorem oft Raumkonstruierbarkeit?
Wenn Savitchs berühmter Satz aufgestellt wird, sieht man oft die Anforderung, dass S(n)S(n)S(n) raumkonstruierbar sein muss (interessanterweise wird es in Wikipedia weggelassen). Meine einfache Frage ist: Warum brauchen wir das? Ich verstehe die Anforderung, dass S( n )S(n)S(n) in Ω ( logn )Ω(Log⁡n)\Omega(\log n) , was aus dem Beweis hervorgeht. …
1
Konsequenzen
Wir wissen, dass äquivalent sind und die auf die Ebene zusammenbricht.PP=RP,coPP=coRP,PP=coPP=coRP=RP=ZPP=BPP⊆P/polyPP=RP,coPP=coRP,PP=coPP=coRP=RP=ZPP=BPP⊆P/poly\mathsf{PP=RP},\mathsf{coPP=coRP},\mathsf{PP=coPP=coRP=RP=ZPP=BPP\subseteq P/poly}222 Was sind die anderen nicht trivialen Zusammenbrüche und Konsequenzen?
1
Komplexität des monotonen (+, 2) SAT-Problems?
Um diesen Beitrag fortzusetzen , definieren wir das monotone -SAT-Problem:(+,2−)(+,2−)(+, 2^-) Gegeben eine monotone CNF-Formel , bei der jede Variable genau einmal erscheint (als positives Literal), und eine monotone 2-CNF-Formel definiert für dieselben Variablen wie , wobei alle Variablen negiert werden. Ist erfüllbar?F+F+F^+F−2F2−F_2^-F+F+F^+F+∧F−2F+∧F2- -F^+ \land F_2^- Ist dieses Problem NP-vollständig?
1
?
Es ist klar, dass jede Sprache in in \ mathsf {2EXP} = \ mathsf {DTime} (2 ^ {2 ^ {\ mathsf {poly} (n) berechnet werden kann. }}) .EXPEXPEXPEXP\mathsf{EXP}^{\mathsf{EXP}}2EXP=DTime(22poly(n))2EXP=DTime(22poly(n))\mathsf{2EXP} = \mathsf{DTime}(2^{2^{\mathsf{poly}(n)}}) Meine Frage ist, ob das Gegenteil der Fall ist: 2EXP⊆EXPEXP2EXP⊆EXPEXP\mathsf{2EXP} \subseteq \mathsf{EXP}^{\mathsf{EXP}} ?
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.