Kann der Schnittpunkt zweier Sprachen in NP, die nicht NP-vollständig sind, NP-vollständig sein? Kann die Schnittmenge zweier Sprachen in coNP, die nicht coNP vollständig sind, coNP vollständig sein? Kann der Schnittpunkt zweier Sprachen, eine in coNP, aber nicht vollständig, und eine andere in NP,...
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,...
Hintergrund Wir wissen, dass P#P⊆PSPACEP#P⊆PSPACEP^{\#P} \subseteq PSPACE . Außerdem wissen wir aus dem Satz von Toda, dass PH⊆P#PPH⊆P#PPH \subseteq P^{\#P} . Weitere Hintergrundinformationen zu #P#P\#P finden Sie hier: https://en.wikipedia.org/wiki/Sharp-P Frage Gibt es ein Orakel AAA so dass...
Die Sprache Critical SAT ist definiert als die Menge der -Booleschen Formeln f, so dass f ∈ U N S A T, aber das Entfernen einer Klausel aus f es erfüllbar macht. Es ist bekannt, dass Critical SAT D P -vollständig ist. Frage ich mich um die folgende Variante: Bei einer gegebenen C N F Formel f , ist...
Was ist die Komplexität des lokalen Erfüllbarkeitsproblems für modale Logik ? Hier bezeichnen wir mit die Modallogik über euklidische Rahmen, die mit inverser Modalität erweitert wurden. Könnten Sie Referenzen angeben? Ist es in ?I K 5IK5\mathit{IK5}ichK.5IK5IK5N.P.NPNP Was weiß ich über das Thema?...
Stellen Sie sich eine -Maschine vor (nämlich einen probabilistischen Algorithmus, der Logspace und polynomiell viele zufällige Bits verwendet). Es ist bekannt (Saks-Zhou), dass B P L ⊆ D S P A C E ( l o g 1,5 ( n ) ) .B P.L.B.P.L.BPLB P.L ⊆ D S.P.A C.E.( l o g1.5( n )
Allgemeines Problem Angenommen, wir haben eine multivariate Polynomfunktion f( x )f(x)f(\mathbf{x})und mehrere lineare Funktionen . Was ist über die Komplexität der Lösung des folgenden Optimierungsproblems bekannt?ℓich( x )ℓich(x)\ell_i(\mathbf{x}) MaximierenVorbehaltlich: f( x )ℓich( x ) ≤ 0 für...
Gibt es ein Typsystem, das die Lambda-Begriffe auf die Begriffe beschränkt, die in eine Komplexitätsklasse fallen? Wie liegen die typisierbaren Begriffe in der Theorie streng innerhalb der Komplexitätsklasse? Oder ist das überhaupt nicht möglich? Ich finde, es gibt viele Studien zur Expressibilität...