Entschuldigung für die Frage, die sicherlich in vielen Standardreferenzen enthalten sein muss. Ich bin neugierig auf genau die Frage im Titel, insbesondere denke ich an Boolesche Schaltkreise, die keine Tiefe haben. Ich habe "kleinste" in Anführungszeichen gesetzt, um die Möglichkeit zu...
Das Zählen der Anzahl perfekter Übereinstimmungen in einem zweigeteilten Graphen ist sofort auf die Berechnung der bleibenden Karte reduzierbar. Da sich das Finden einer perfekten Übereinstimmung in einem nicht bipartiten Graphen in NP befindet, gibt es eine gewisse Reduktion von nicht bipartiten...
BEARBEITEN (v2): Am Ende wurde ein Abschnitt hinzugefügt, der beschreibt, was ich über das Problem weiß. EDIT (v3): Diskussion zum Schwellenwert am Ende hinzugefügt. Frage Diese Frage ist hauptsächlich eine Referenzanfrage. Ich weiß nicht viel über das Problem. Ich möchte wissen, ob bereits an...
Das Problem "Anhalten" gibt an, dass es unmöglich ist, ein Programm zu schreiben, mit dem festgestellt werden kann, ob ein anderes Programm anhält, und zwar für alle möglichen Eingabeprogramme . Ich kann jedoch sicherlich ein Programm schreiben, das die Laufzeit eines Programms wie folgt berechnen...
Einige von Ihnen sind möglicherweise dieser Frage gefolgt , die aufgrund mangelnder Forschung abgeschlossen wurde. Ich extrahiere also den Teil der Frage, der sich auf Forschungsebene befindet. Über die "einfacheren" Techniken hinaus, wie das Reduzieren auf Sortierung oder ein EXPTIME-vollständiges...
Betrachten Sie die folgende Rechenaufgabe: Wir wollen eine 3-SAT-Formel von Variablen (eine Variante: n Variablen) abtastennnnnnn Klauseln) in Bezug auf die gleichmäßige Wahrscheinlichkeitsverteilung abtasten, vorausgesetzt, die Formel ist erfüllbar:mmm F1: Kann dies mit einem klassischen Computer...
Kann jemand eine gute und aktuelle Umfrage zum Zählen von Problemen und / oder Problemen, die #P sind, vorschlagen.
Ein Polynom f(x1,…,xn)f(x1,…,xn)f(x_1,\ldots,x_n) ist eine monotone Projektion eines Polynoms g(y1,…,ym)g(y1,…,ym)g(y_1,\ldots,y_m) wenn mmm = poly (n)(n)(n) , und es gibt eine Zuordnung π:{y1,…,ym}→{x1,…,xn,0,1}π:{y1,…,ym}→{x1,…,xn,0,1}\pi:\{y_1,\ldots,y_m\}\to\{x_1,\ldots,x_n, 0,1\} so dass . Das...
In der Umfrage "Small Depth Quantum Circuits" von D. Bera, F. Green und S. Homer (S. 36 von ACM SIGACT News, Juni 2007, Bd. 38, Nr. 2) las ich den folgenden Satz: Die klassische Version von (in der A N D - und O R -Tore höchstens ein konstantes Fanout aufweisen) ist nachweislich schwächer als A C 0...
Kürzlich habe ich mehrere Artikel über arxiv gesehen, die sich auf ein Beweissystem beziehen, das als Quadratsumme bezeichnet wird. Kann jemand erklären, was ein Quadratsummenbeweis ist und warum solche Beweise wichtig / interessant sind? In welcher Beziehung stehen sie zu anderen algebraischen...
Bei dieser Frage geht es um die Beziehung zwischen normaler Multiplikation von Binärzahlen und polynomialer Multiplikation Mod 2. Um die Frage zu konkretisieren, möchte ich im Idealfall wissen, ob es eine bessere Lösung für die Frage von Knuth vol. 2, 3. Auflage, Seite 420 als im Buch angegeben....
Ich suche eine Referenz für das folgende Ergebnis: Das Hinzufügen von zwei Ganzzahlen in der faktorisierten Darstellung ist so schwierig wie das Faktorieren von zwei Ganzzahlen in der üblichen binären Darstellung. (Ich bin mir ziemlich sicher, dass es da draußen ist, weil ich mich das irgendwann...
Was ist über die zeitliche Komplexität des folgenden Problems bekannt, das wir 3-MUL nennen? Gibt es bei einer Menge von ganzen Zahlen Elemente so dass ?SSSnnna,b,c∈Sa,b,c∈Sa,b,c\in Sab=cab=cab=c Dieses Problem ähnelt dem 3-SUM-Problem, bei dem gefragt wird, ob es drei Elemente so dass (oder...
Neben der (deterministischen) Kommunikationskomplexität einer Beziehung R ist die Protokollpartitionsnummer p p ( R ) ein weiteres grundlegendes Maß für den Kommunikationsbedarf . Die Beziehung zwischen diesen beiden Maßen ist bis zu einem konstanten Faktor bekannt. Die Monographie von Kushilevitz...
In Anbetracht der jüngsten Kluft bei Tiefe-3 ergibt sich (was unter anderem eine Tiefen-3-Arithmetikschaltung für die Determinante über ergibt ), Ich habe folgende Fragen: Grigoriev und Karpinski haben eine Untergrenze für jede arithmetische Tiefen-3-Schaltung bewiesen, die die Determinante von...
Beim Basteln mit nichtkanonischem LR-Parsing habe ich mir eine Parsing-Methode ausgedacht (mit unendlich großen Tabellen, was es etwas unpraktisch macht ), mit der genau die eindeutigen Grammatiken in -Zeit analysiert werden können, und ich habe mich gefragt, ob es möglich ist, es besser zu machen...
In Graph Eigenschaft Tests fragt ein Algorithmus eine Zielgraphen für das Vorhandensein oder Fehlen von Kanten und Bedürfnissen zu bestimmen , ob entweder das Ziel eine bestimmte Eigenschaft aufweist oder von mit der Eigenschaft -Far. (Ein Algorithmus kann aufgefordert werden , mit 1-seitig oder...
Im Anschluss an eine vorherige Frage , was sind die besten aktuellen Raum untere Schranken für SAT? Mit einer Leerzeichenuntergrenze meine ich hier die Anzahl der von einer Turing-Maschine verwendeten Arbeitsbandzellen, die ein binäres Arbeitsbandalphabet verwendet. Ein konstanter additiver Term...
Der Stand unseres Wissens über allgemeine arithmetische Schaltkreise scheint dem Stand unseres Wissens über boolesche Schaltkreise ähnlich zu sein, dh wir haben keine guten Untergrenzen. Andererseits haben wir Exponentialgrößenuntergrenzen für monotone Boolesche Schaltungen . Was wissen wir über...
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...