Ich habe kürzlich eine quadratische Untergrenze für die Komplexität eines Problems im Entscheidungsbaummodell entdeckt, und ich frage mich, ob dieses Ergebnis teilweise auf das Zufallszugriffsmaschinenmodell verallgemeinert werden kann. Durch teilweise , meine ich eine Verallgemeinerung Programme...
Die kkk - te elementare symmetrische Polynom Snk(x1,…,xn)Skn(x1,…,xn)S_k^n(x_1,\ldots,x_n) ist die Summe aller Produkte von unterschiedlichen Variablen. Ich interessiere mich für die monotone arithmetische Schaltungskomplexität dieses Polynoms. Ein einfacher dynamischer Programmieralgorithmus (wie...
Es ist bekannt, dass kein deterministisches Zwei-Parteien-Protokoll das Disjointness-Problem (DISJ) an Bit-Eingängen lösen kann, ohne im schlimmsten Fall Bits zu senden (siehe z. B. das Buch von Kushilevitz und Nisan). Für begrenzte Fehlerprotokoll randomisiert, unterer A gebundenen für eine...
Razborov hat bewiesen, dass die monotone Funktionsanpassung nicht in mP vorliegt . Aber können wir die Übereinstimmung unter Verwendung einer Polynomgrößenschaltung mit wenigen Negationen berechnen? Gibt es eine P / Poly-Schaltung mit -Negationen, die die Übereinstimmung berechnet? Was ist der...
Betrachten Sie die folgende natürliche Frage: Was ist bei einer endlichen Sprache die kleinste kontextfreie Grammatik, die L erzeugt ?LLLLLL Wir können die Frage interessanter machen, indem wir eine Folge von Sprachen , zum Beispiel L n ist die Menge aller Permutationen von { 1 , … , n } : Intuitiv...
Sind Ergebnisse bekannt, die das Vorhandensein von "Too Good To Be True" -Datenstrukturen ausschließen? Beispiel: Kann man einer Auftragsverwaltungsdatenstruktur (siehe Dietz und Sleator STOC '87 ) die Funktionen und J o i n hinzufügen und trotzdem O ( 1 ) -Zeitoperationen erhalten...
Es gibt eine Reihe von Problemen in der kombinatorischen Darstellungstheorie und der algebraischen Geometrie, für die keine positive Formel bekannt ist. Es gibt mehrere Beispiele, an die ich denke, aber lassen Sie mich die Berechnung der Kronecker-Koeffizienten als mein Beispiel nehmen....
Das Problem #SAT ist das kanonische # P-vollständige Problem. Es ist eher ein Funktionsproblem als ein Entscheidungsproblem. Sie fragt mit einer Booleschen Formel in der Aussagenlogik, wie viele befriedigende Zuordnungen hat. Welches sind die besten Untergrenzen für
Es gibt mehrere bekannte -Schaltungsgrößen-Untergrenzen-Ergebnisse, die auf Zufallsbeschränkungen und dem Umschalt-Lemma basieren .AC0AC0\mathsf{AC^0} Können wir ein Switching-Lemma-Ergebnis entwickeln, um eine Größenuntergrenze für -Schaltungen zu beweisen (ähnlich zu den Untergrenzenbeweisen für...
Es ist leicht zu überprüfen, ob angesichts des d-dimensionalen Gitters der ganzzahligen Punkte mit der regulären Nachbarschaft ein Trennzeichen der Größe n d - 1 gefunden werden kann (wählen Sie einfach eine mittlere Hyperebene aus und entfernen Sie alle seine Eckpunkte). Es ist auch nicht zu hart...
Dies ist als Folgefrage zu Robin Kotharis vorherigem Beitrag zu Ergebnissen der Polynomzeithärte gedacht . Insbesondere bin ich daran interessiert, einige Härtebeweise für Probleme zu sehen, von denen angenommen wird, dass sie ungefähr untere Schranken haben, und ich sage ungefähr, um geringfügige...
Das Gewichteiner binären Zeichenkette ist die Anzahl der Einsen in der Zeichenkette. Was passiert, wenn wir daran interessiert sind, eine monotone Funktion an Eingängen mit wenigen zu berechnen?x ∈ { 0 , 1 } n|x||x||x|x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n Wir wissen, dass die Entscheidung, ob ein Graph...
Was ist der effizienteste Algorithmus (in Bezug auf die zeitliche Komplexität), der heutzutage für das Divisibitätsentscheidungsproblem bekannt ist: Wenn zwei ganze Zahlen aaa und bbb , ist aaa Division von bbb ? Es sei klargestellt, dass das, wonach ich bitte, kein (notwendiger) Algorithmus für...
Let bezeichnen die Mindestgröße eines (nicht-monotone) arithmetic ( + , x , - ) Schaltung Berechnen eines gegebenen multi Polynom f ( x 1 , ... , x n ) = Σ e ∈ E c e n Π i = 1 x e i iA(f)A(f)A(f)(+,×,−)(+,×,−)(+,\times,-) und B ( f ) bezeichnen die minimale Größe einer (nicht monotonen) booleschen...
Wie zeigt man, dass eine bestimmte Eigenschaft nicht in 2-CNF (2-SAT) ausgedrückt werden kann? Gibt es irgendwelche Spiele, wie zum Beispiel Kieselspiele? Das klassische Schwarzkieselspiel und das Schwarz-Weißkieselspiel scheinen dafür ungeeignet zu sein (laut Hertel und Pitassi, SIAM J of...
Diese Frage ist von einer bestehenden Frage inspiriert, ob ein Stapel mit zwei Warteschlangen in amortisierter -Zeit pro Stapeloperation simuliert werden kann . Die Antwort scheint unbekannt zu sein. Hier ist eine spezifischere Frage, die dem Sonderfall entspricht, in dem alle PUSH-Operationen...
Welche Standardprobleme können wir reduzieren, um -Untergrenzen zu beweisen ?Ω ( n logn )Ω(nLogn)\Omega(n\log n) Natürlich gibt es andere Probleme als das Sortieren und die Unterscheidbarkeit der Elemente.
Das Stopp-Problem ist bekanntermaßen nicht berechenbar. Es ist jedoch möglich, Informationen über das Problem des Anhaltens exponentiell zu "komprimieren", so dass das Dekomprimieren berechenbar ist. Genauer gesagt ist es möglich, aus einer Beschreibung von Turing-Maschinen und einem Bit-Hinweis...
1979 schrieben Hopcroft / Ullman , dass L ⊆ P ⊆ NP ⊆ PSpace bekannt ist, aber L ⊊ PSpace die einzig richtige (& triviale) bekannte Einschließung ist, obwohl alle als richtige Einschließungen vermutet werden und "wo die Dinge noch stehen" ~ 4 Jahrzehnte später . seitdem gibt es bekannte...
Dies ist eine Fortsetzung meiner vorherigen Frage zur Kommunikationsuntergrenze für partielle Boolesche Funktionen . Kann jemand einen Hinweis auf Untergrenzen für nichtdeterministische Mehrparteienkommunikation vorschlagen? Ich habe die Arbeiten auf dem Gebiet untersucht, aber jeder scheint...