Ich möchte etwas über algebraische Algorithmen und Komplexität lernen. Insbesondere interessiere ich mich für PIT. Gibt es eine Reihe von Vorlesungsskripten, Büchern, Artikeln und Umfragen für Studenten, die ein Standardlehrbuch über Theorie wie Sipsers Buch oder das Komplexitätslehrbuch von...
Sei eine CNF-Formel mit Variablen und Sätzen. Es sei eine Variablenzuordnung und die Anzahl von Klauseln, die durch eine Variablenzuordnung zu erfüllt sind. . Definieren Sie dann Median-SAT als das Problem der Berechnung des Medianwerts von über alle . Wenn beispielsweise eine Tautologie ist,...
Man betrachte das # P-vollständige Problem des Zählens der Anzahl der Scheitelpunktabdeckungen eines gegebenen Graphen .G=(V,E)G=(V,E)G = (V, E) Ich würde gerne wissen, ob es ein Ergebnis gibt, das zeigt, wie die Härte eines solchen Problems mit einem Parameter von variiert (zum Beispiel...
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...
In ihrer Arbeit Approximate Distance Oracles zeigten Thorup und Zwick, dass es möglich ist, für jeden gewichteten ungerichteten Graphen eine Datenstruktur der Größe zu konstruieren , die ein ( 2 k - 1 ) -Näherungswert liefert Abstand zwischen zwei Scheitelpunkten im Diagramm.O ( k n1 + 1 /...
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...
Mit einem Graphen möchte ich eine optimale r- Dominanz für G finden . Das heißt, ich möchte eine Teilmenge S von V, so dass alle Scheitelpunkte in G höchstens r von einem Scheitelpunkt in S entfernt sindG=(V,E)G=(V,E)G = (V, E)rrrGGGSSSVVVGGGrrrSSS , während die Größe von minimiert wird .SSS Nach...
Welcher Algorithmus berechnet bei einer Matrix ( m ≥ n vorausgesetzt ) am schnellsten den Rang und die Basis der Spalten?m×nm×nm \times nm≥nm≥nm \ge n Mir ist bewusst, dass es durch eine lineare Überschneidung der Matroiden gelöst werden kann, die einen -Zeit- deterministischen Algorithmus und...
Gibt es , eine NP- oder P-vollständige Sprache mit einer Familie von SymmetriegruppenLLLGnGnG_n (oder Gruppoid , aber dann die algorithmischen Fragen offener worden) wirken (in Polynomialzeit) auf Mengen so, dass es nur wenige Umlaufbahnen gibt, dh so, dass | L n / G n | < n c für groß genug n...
Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1}RegReg\mathsf{Reg}R e g ≤ T C 0 N C 1 ≤ T C 0TC0⊈RegTC0⊈Reg\mathsf{TC^0} \not\subseteq \mathsf{Reg}Reg⊆TC0Reg⊆TC0\mathsf{Reg} \subseteq \mathsf{TC^0}NC1⊈TC0NC1⊈TC0\mathsf{NC^1}\not\subseteq\mathsf{TC^0} nicht kennen, kennen wir auch...
Wie jeder weiß, ist SAT vollständig für in Polynom-Zeit-Viel-Eins-Reduktionen. Es ist immer noch vollständig, wenn viele Reduzierungen vorgenommen wurden.A C 0NPNP\mathsf{NP}A C0EINC0\mathsf{AC^0} Meine Frage ist, welche Mindesttiefe für die Reduzierungen erforderlich ist. Formeller, Was ist die am...
Alice und Bob haben n-Bit-Zeichenfolgen und möchten herausfinden, ob sie gleich sind, während sie wenig kommunizieren. Die randomisierte Standardlösung besteht darin, die n-Bit-Zeichenfolgen als Polynome des Grades und dann die Polynome über einige zufällig ausgewählte Elemente aus einem Feld mit...
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...
Gibt es größere Konsequenzen, wenn SAT höchstens subexponentielle Beweise für unsat hätte oder noch stärker, wenn SAT Algorithmen für subexponentielle Zeit
Ich habe den Wikipedia-Artikel über das Acht-Königinnen-Problem gelesen. Es wird angegeben, dass es keine bekannte Formel für die genaue Anzahl der Lösungen gibt. Nach einigem Suchen fand ich eine Arbeit mit dem Titel "Über die Härte des Zählens von Problemen mit vollständigen Zuordnungen". In...
Frage. In ihrer Arbeit Verbesserte Simulation von Stabilisatorschaltungen behaupten Aaronson und Gottesman, dass die Simulation einer CNOT-Schaltung ⊕L- vollständig ist (unter logspace Reductions). Es ist klar, dass es in ⊕L enthalten ist ; Wie hält das Härteergebnis? Äquivalent: Gibt es eine...
In der Arbeit von Ben-Dor / Halevi [1] wird ein weiterer Beweis dafür erbracht, dass die bleibende Karte #P-vollständig ist. Im späteren Teil der Arbeit wird die Reduktionskette während der permanente Wert in der Kette erhalten bleibt. Da sich die Anzahl der zufriedenen Zuordnungen einer...
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...
Lemma: Unter der Annahme einer Eta-Äquivalenz haben wir das (\x -> ⊥) = ⊥ :: A -> B. Beweis: ⊥ = (\x -> ⊥ x)durch Eta-Äquivalenz und (\x -> ⊥ x) = (\x -> ⊥)durch Reduktion unter dem Lambda. Der Haskell 2010-Bericht, Abschnitt 6.2, spezifiziert die seqFunktion durch zwei Gleichungen:...
Ich suche Informationen über die rechnerische Komplexität der Matrixmultiplikation von Rechteckmatrizen. Wikipedia besagt , dass die Komplexität der Multiplikation von B ∈ R n x p ist (Schulbuch Multiplikation).A∈Rm×nA∈Rm×nA \in \mathbb{R}^{m \times n}B∈Rn×pB∈Rn×pB \in \mathbb{R}^{n \times...