Eine monotone CNF-Formel mit m Termen für n Variablen ( ) ist eine Formel der Form , wobei jedes ein ODER einer Teilmenge der Variablen ist und reichen von bis .x1,…,xnx1,…,xnx_1,\ldots,x_nf(x1,…,xn)=⋀Cif(x1,…,xn)=⋀Cif(x_1,\ldots,x_n) = \bigwedge C_iCiCiC_ix1,…,xnx1,…,xnx_1,\ldots,x_niii111mmm Zum...
Ich lese Watrous 'exzellentes Umfragepapier auf Papier zur Theorie der Quantenkomplexität. Darin stellt er fest, dass es überraschend wäre, wenn ein QMA-vollständiges Problem ein leeres Versprechen hätte (dh eine Sprache sein). Warum ist das so? Hat es damit zu tun, dass das k-lokale...
Wenn ein gemischter Graph mit den Kanten und den Bögen , finden Sie in eine Übereinstimmung , die die Anzahl der Bögen in minimiert , wobei aus indem übereinstimmende Eckpunkte zusammengezogen und entfernt werden parallele Bögen.E A E G / M G / M
Angenommen, ist eine boolesche Sprache mit endlichen Zeichenfolgen über { 0 , 1 } . Sei L n die Anzahl der Strings in L mit der Länge n . Für eine Funktion d ( n ) von den positiven ganzen Zahlen zu den positiven reellen Zahlen hat L die obere Dichte d ( n ), wenn L n ≤ 2 n d ( n ) für alle...
Eine Sprache gehört zur Klasse wenn es zwei Sprachen und so dassLLLDPDPDPL1∈NPL1∈NPL1 \in NPL2∈coNPL2∈coNPL2 \in coNPL=L1∩L2L=L1∩L2L = L1 \cap L2 Ein kanonisches vollständiges Problem ist SAT-UNSAT: Ist es bei zwei 3-CNF-Ausdrücken, und , wahr, dass erfüllbar ist und nicht?DPDPDPFFFGGGFFFGGG Es ist...
Kontext: Wir betrachten nur Digraphen. Sei CYCLE die Sprache der Graphen mit einem Zyklus; Es ist ein NL-vollständiges Problem. Sei HASEDGE die Sprache von Graphen mit mindestens einer Kante. Dann ist trivialerweise CYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE}nicht mehr NL-hart,...
Im Arora-Barak-Buch wird bei der Definition von zeitkonstruierbaren Funktionen gesagt, dass die Verwendung von Funktionen, die nicht zeitkonstruierbar sind, zu "anomalen Ergebnissen" führen kann. Hat jemand ein Beispiel für ein solches "anomales Ergebnis"? Ich habe insbesondere gehört, dass es...
Ich suche nach Beispielen für schwierige Probleme (in NP oder schwieriger) aus der Informatik, die auf Modelle physikalischer Prozesse reduziert werden können. Zum Beispiel kann max-2-sat in einem Ising-Modell auf Energieminimierung reduziert werden. Ich würde gerne weitere Beispiele für diese Art...
Ist es ungefähr schwierig, die gebrochene chromatische Zahl in Graphen mit begrenztem Grad zu
Die Moore-Matrix ähnelt der Vandermonde-Matrix, hat jedoch eine leicht modifizierte Definition. http://en.wikipedia.org/wiki/Moore_matrix Was ist die Komplexität der Berechnung der Determinante einer gegebenen vollen Rang-Moore-Matrix modulo einer ganzen Zahl?n×nn×nn \times n Kann die...
Sei ein ungerichteter Graph. Eine Zerlegung von V in disjunkte Teilmengen V i wird als Hamilton-Zerlegung von G bezeichnet, wenn der durch jede Menge V i induzierte Teilgraph entweder ein Hamilton-Graph ist oder aus einer einzelnen Kante mit | besteht V i | = 2
Does bedeuten E = N E
Die Berechnung einer nichtdeterministischen Turing-Maschine (NTM) ist bekanntermaßen als ein Baum von Konfigurationen darstellbar, der auf der Startkonfiguration basiert. Jeder Übergang im Programm wird durch einen Vater-Kind-Link in diesem Baum dargestellt. Ähnliche Bäume können auch zur...
Wikipedia schreibt: FPT enthält die mit festen Parametern verfolgbaren Probleme, die in der Zeit für eine berechenbare Funktion gelöst werden können . Typischerweise wird diese Funktion als einzelnes Exponential betrachtet, wie z. B. aber die Definition lässt Funktionen zu, die noch schneller...
Die Entscheidung über den Homomorphismus des Graphen ist im Allgemeinen NP-vollständig. Gibt es Ergebnisse, die dieses Problem untersuchen, wenn die zugrunde liegenden Graphen eine algebraische Struktur aufweisen (z. B. die Entscheidung über Homomorphismen von Cayley- oder Cayley-Coset-Graphen zu...
Zur Feier des Geburtstages von Alan Turing veröffentlichte Google ein Doodle mit einer Maschine. Was für eine Maschine ist das Gekritzel? Kann es eine Turing Complete-Sprache ausdrücken? Es gibt offensichtliche Unterschiede zur klassischen Turingmaschine: ein endliches Band, Einschränkungen, wie...
Sei ein EXP-Komplettproblem. Dann P A = N P A .EINAAP.EIN= N.P.EINPA=NPAP^A = NP^A Sei ein Orakel, das die Abfragen berücksichtigt, die M (ein TM in P) stellen wird, und wir können P B ≠ N P B erhalten .B.BBM.MMP.B.≠ N.P.B.PB≠NPBP^B \neq NP^B Frage: Haben wir ähnliche Orakelergebnisse für P gegen...
Ich konnte in der Literatur keine Aussage zu MAMA\mathsf{MA} und NPRPNPRP\mathsf{NP}^\mathsf{RP} ; Hinweise wären willkommen. Ich glaube, sie sind gleich: MA⊆NPRPMA⊆NPRP\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP} : DieNPNP\mathsf{NP} Maschine errät Merlins Saite, und dasRPRP\mathsf{RP} Orakel...
In den meisten probabilistischen Beweissystemen (z. B. PCP-Theorem) werden die Fehlerwahrscheinlichkeiten normalerweise auf der Seite der falsch-positiven Ergebnisse definiert, dh eine typische Definition könnte folgendermaßen aussehen: Wenn ist, akzeptiert der Prüfer immer, aber in In anderen...
Meine Frage ist, warum Untergrenzen für Tiefe 3 Boolesche Schaltungen mit Gates "und" und "xor" für Determinante nicht die gleichen Untergrenzen für arithmetische Schaltungen über implizieren ?ZZ\mathbb{Z} Was ist falsch an dem folgenden Argument: Sei eine arithmetische