In [1] heißt es: „Es bleibt eine offene Frage, ob jede Funktion in hat T C 0 Schaltungen (obwohl es ist zumindest bekannt , dass nicht alle # P Funktionen haben DLogTime förmige T C 0 Schaltungen).“# P.#P\#PT.C.0TC0TC^0# P.#P\#PT.C.0TC0TC^0 Schaltungen erzeugt durch DLogTime Funktionen nicht...
Die Isomorphismus-Vermutung von Berman und Hartmanis besagt, dass alle vollständigen Mengen eine polynomielle Zeit isomorph zueinander sind. Dies bedeutet, dass vollständige Probleme über polynomialzeitberechnbare und invertierbare Bijektionen effizient aufeinander reduziert werden können. Die...
Ich suche nach mehr Problemen in mit unteren Grenzen der klassischen Zeitkomplexität. Einige Leute fragen sich vielleicht, wie Sie eine solche Untergrenze beweisen können. Siehe unten.PPP Exponentielle Untergrenzen: Behauptung: Wenn Sie ein Problem , das unter Polynomreduktionen vollständig ist,...
In https://en.wikipedia.org/wiki/Geometric_complexity_theory wird erwähnt, dass ".. Ketan Mulmuley glaubt, dass das Programm, wenn es realisierbar ist, wahrscheinlich etwa 100 Jahre dauern wird, bis es das P vs. NP-Problem lösen kann". Es scheint darauf hinzudeuten, dass das einzige derzeit...
Ich habe die Zeitung gelesen Ahmed Younes, " Ein Quantenpolynom- Zeitalgorithmus mit begrenztem Fehler für zwei Graphhalbierungsprobleme ", 2015. doi: 10.1007 / s11128-015-1069-y welches in Springers Zeitschrift Quantum Information Processing veröffentlicht wird. Das Papier scheint zu behaupten,...
Wie in der Arbeit "Monotone Schaltungen für die Mehrheitsfunktion" gezeigt, ist es möglich, eine monotone boolesche Schaltung für die Mehrheitsfunktion auf n Variablen mit der Größe O (n ^ 3) und der Tiefe 5,3 log (n) + O (1) zu konstruieren. http://link.springer.com/chapter/10.1007/11830924_38...
Betrachten Sie das folgende Entscheidungsproblem. Sei q=∑n/4i=0(ni)q=∑i=0n/4(ni)q = \sum_{i=0}^{n/4} \binom{n}{i} und sei (Cn0,Cn1,…,Cnq−1)(C0n,C1n,…,Cq−1n)(C_0^n, C_1^n,\dots,C_{q-1}^n) geeignet Aufzählung der Teilmengen von {0,1,…,n−1}{0,1,…,n−1}\{0,1,\dots,n-1\} mit höchstens n/4n/4n/4...
Kurz gesagt, meine Frage lautet: Ist Karps ursprünglicher Beweis, der SAT auf 3SAT reduziert, unnötig aufwändig? Die Einzelheiten sind wie folgt. In seiner Arbeit Reducibility Among Combinatorial Problems aus dem Jahr 1972 bewies Karp, dass sich SAT auf 3SAT reduziert, indem er Folgendes...
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,...
Wurde #P erstmals in [1] eingeführt ? [1] Valiant, Leslie G. "Die Komplexität der Berechnung der permanenten." Theoretical Computer Science 8.2 (1979): 189-201.
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...
Angenommen , . Dann ein einfaches Argument zeigt , daß P H P P = N P . Können wir noch einen Schritt weiter gehen und P P P P = N P erhalten ? Das einfache Argument istN.P.= P.P.NP=PPNP=PPP.H.P.P.= N.P.PHPP=NPPH^{PP}=NPP.P.P.P.= N.P.PPPP=NPPP^{PP}=NP Theorem Wenn dann P H P P = N P .N.P.=...
Wenn wir in der Berechenbarkeit beweisen wollen, dass ein Problem nicht rekursiv oder nicht rekursiv aufzählbar ist, können wir z. B. Reduktionen aus anderen nicht rekursiven oder nicht re-Problemen, dem Riceschen Theorem, dem Rice-Shapiro-Theorem usw. verwenden. Diese Techniken funktionieren dank...
Ein -Laufzeitalgorithmus für den abelschen Gruppenisomorphismus ist leicht zu erkennen. Später an diesem Problem im Jahr 2003 arbeiten Vikas verbessern das Ergebnis von Laufzeit auf . Im Jahr 2007 zeigte Kavitha , dass der Isomorphismus der abelschen Gruppe in linearer Zeit, dh in -Zeit,...
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 )
Savický und Woods (Die Anzahl der Booleschen Funktionen, die durch Formeln einer bestimmten Größe berechnet werden) beweisen das folgende Ergebnis. Satz [SW98]: Für jede Konstante haben fast alle Booleschen Funktionen mit einer Formelkomplexität von höchstens eine Schaltungskomplexität von...
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...
Betrachten Sie die folgenden Probleme: Problem der orthogonalen Vektoren Eingabe: Eine Menge SSS von Booleschen Vektoren mit der Länge .n dnndd Frage: unterschiedliche Vektoren und so dass ?v 1 v 2 ≤ S v 1 ≤ v 2 = 0v1v_1v2∈Sv_2 \in Sv1⋅v2=0v_1 \cdot v_2 = 0 Problem mit nicht orthogonalen Vektoren...