Gibt es ein natürliches Problem in P, für das die bekannteste gebundene Laufzeit die Form , wobei α eine irrationale Konstante ist?O (
Unter Verwendung des Carry-Look-Ahead-Algorithmus können wir die Addition unter Verwendung einer Schaltkreisfamilie mit einer Polynomgrößentiefe von 5 (oder 4?) berechnen . Ist es möglich, die Tiefe zu verringern? Können wir die Addition von zwei Binärzahlen unter Verwendung einer...
Die beste bekannte obere Schranke für die zeitliche Komplexität der Multiplikation ist Martin Fürers Schranke , die mehr als die lineare zeitliche Komplexität der Addition ist. Haben wir einen Beweis, dass Addition von Natur aus einfacher ist als Multiplikation?n logn 2O ( log∗n...
Wir wissen viel über die Einschränkungen von Schaltungen mit konstanter Tiefe (Polynomgröße). Da (polynomische Größe) Formeln mit konstanter Tiefe ein noch eingeschränkteres Berechnungsmodell darstellen, können alle Probleme, von denen bekannt ist, dass sie nicht in AC 0 vorliegen, auch nicht mit...
Viele wichtige Ergebnisse in der rechnerischen Komplexitätstheorie und insbesondere in der "strukturellen" Komplexitätstheorie haben die interessante Eigenschaft, dass sie aus algorithmischen Ergebnissen, die für einige einen effizienten Algorithmus oder ein effizientes Kommunikationsprotokoll...
Betrachten Sie die folgenden Überlegungen: Sei die Kolmogorov-Komplexität der Zeichenkette x . Chaitins Unvollständigkeitssatz sagt das ausK(x)K(x)K(x)xxx für jedes konsistentes und formales System ausreichend starkes gibt es eine Konstante T (nur abhängig von dem formalen System und seiner...
(Von Neumann gab einen Algorithmus an, der eine faire Münze simuliert, wenn der Zugang zu identischen voreingenommenen Münzen gegeben ist. Der Algorithmus erfordert möglicherweise eine unendliche Anzahl von Münzen (obwohl erwartungsgemäß endlich viele ausreichen). Diese Frage betrifft den Fall,...
Präambel Interaktive Beweissysteme und Arthur-Merlin-Protokolle wurden bereits 1985 von Goldwasser, Micali, Rackoff und Babai eingeführt . Zuerst wurde angenommen, dass das erstere leistungsfähiger ist als das letztere, aber Goldwasser und Sipser zeigten, dass sie die gleiche Leistung haben ( in...
Gibt es eine plausible Komplexitäts- / Kryptohypothese, die die Möglichkeit ausschließt, dass Polynomgrößenschaltungen eine subexponentielle Größe (dh mit ) begrenzter Tiefe ( haben? ) Stromkreise? ϵ < 1 d = O ( 1 )2O ( nϵ)2O(nϵ)2^{O(n^\epsilon)}ϵ <
Wenn auf eingeschränkte 000 - 111 Eingänge, jeden {+,×}{+,×}\{+,\times\} -Schaltung F(x1,…,xn)F(x1,…,xn)F(x_1,\ldots,x_n) berechnet , eine Funktion F:{0,1}n→NF:{0,1}n→NF:\{0,1\}^n\to \mathbb{N} . Um eine Boolesche Funktion zu erhalten, können wir nur ein Fanin-1-Schwellwertgatter als Ausgangsgatter...
Es ist ein klassisches Ergebnis, dass jede Fan-In-2-UND-ODER-NICHT-Schaltung, die PARITÄT aus den Eingangsvariablen berechnet, eine Größe von mindestens und diese scharf ist. (Wir definieren Größe als die Anzahl der UND- und ODER-Gatter.) Der Beweis erfolgt durch Gattereliminierung und es scheint...
O ( log c n ) O ( n k ) c k n c 2 n kN CNC\mathsf{NC} fängt die Idee einer effizienten Parallelisierung ein, und eine Interpretation davon sind Probleme, die in der Zeit mit parallelen Prozessoren für einige Konstanten , lösbar sind . Meine Frage ist, ob es eine analoge Komplexitätsklasse gibt, in...
Das AND & OR-Gatter ist ein Gatter, das zwei Eingänge erhält und deren AND und deren OR zurückgibt. Können Schaltungen, die nur aus dem AND & OR-Gatter bestehen, ohne Fanout willkürliche Berechnungen durchführen? Genauer gesagt, ist der Lograum für die Polynomzeitberechnung auf UND- und...
Es ist bekannt, dass Palindrome auf -Band-Turingmaschinen in linearer Zeit erkannt werden können, nicht jedoch auf Einzelband-Turingmaschinen (in diesem Fall ist die benötigte Zeit quadratisch). Der Linearzeitalgorithmus verwendet eine Kopie der Eingabe und damit auch einen linearen Raum.222 Können...
Sei die Klasse aller regulären Sprachen.REGREG\mathsf{REG} Es sind und . Aber gibt es eine Charakterisierung für Sprachen in ?AC0⊄REGAC0⊄REG\mathsf{AC}^0 \not\subset \mathsf{REG}REG⊄AC0REG⊄AC0\mathsf{REG} \not\subset \mathsf{AC}^0AC0∩REGAC0∩REG\mathsf{AC}^0 \cap
Der Titel sagt mehr oder weniger alles, aber ich denke, ich könnte ein bisschen Hintergrundwissen und einige spezifische Beispiele hinzufügen, an denen ich interessiert bin. Deskriptive Komplexitätstheoretiker wie Immerman und Fagin haben viele der bekanntesten Komplexitätsklassen mithilfe von...
Angenommen, wir haben ein Problem, das durch einen reellen Parameter p parametrisiert ist, der "leicht" zu lösen ist, wenn und "schwer", wenn für einige Werte , .p = p0p=p0p=p_0p = p1p=p1p=p_1p0p0p_0p1p1p_1 Ein Beispiel ist das Zählen von Spin-Konfigurationen in Diagrammen. Die gewichteten...
In der Arbeit "Ein Kompendium von Problemen, die für P vollständig sind" von Greenlaw, Hoover und Ruzzo (PS) (PDF) gibt es eine Liste von Problemen in P, von denen nicht bekannt ist, dass sie in NC vorliegen, und von denen auch nicht bekannt ist, dass sie P-vollständig sind . (Diese Liste fasst...
Das Karp-Lipton-Theoem besagt, dass wenn , dann P H zu Σ P 2 zusammenbricht . Unter der Annahme , Trennungen zwischen Σ P 2 und Σ P 3 , kein N P -komplette Problem wird gehört P / p o l y .N P ⊂ P / p o l yNP⊂P/pOly\mathsf{NP} \subset \mathsf{P/poly}P
In parametrisierter Komplexität ist ≤ W [ 2 ] ≤ … ≤ W [ P ] . Es wird vermutet, dass jeder der Containments richtig ist.F P T ⊆ W [1]FPT⊆W[1]\mathsf{FPT} \subseteq \mathsf{W}[1] ⊆ W [ 2 ]⊆W[2]\subseteq \mathsf{W}[2] ⊆ … ⊆ W [ S.]⊆…⊆W[P]\subseteq \ldots \subseteq \mathsf{W}[P] Wenn dann ist P = W [...