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 .G=(V,E)G=(V,E)G=(V,E)VVVViViV_iGGGViViV_i|Vi|=2|Vi|=2|V_i|=2 Beispiel : Der vollständige …
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 Moore-Determinante mit FFT-Techniken von auf für einige reduziert werden? ?O ( n log a n ) a ∈ …
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 der Reduzierung finden.
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, während CYCLE∪HASEDGE¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯CYCLE∪HASEDGE¯\text{CYCLE} \cup \overline{\text{HASEDGE}} so bleibt. Tatsächliches Problem: Ich frage mich, ob die …
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 auch bekannt, dass das kritische SAT-Problem vollständig ist: Ist …
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 …
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 G.G=(V,E,A)G=(V,E,A)G=(V,E,A)EEEAAAEEEG/MG/MG/MG/MG/MG/MGGG Ist (die Entscheidungsversion von) dieses …
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 Hamilton-Problem ein Versprechen ist? Dies führt mich …
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 Beispiel ist eine monotone CNF-Formel mit 2 Termen auf 4 Variablen.(x1∨x3∨x4)∧(x2∨x4)(x1∨x3∨x4)∧(x2∨x4)(x_1 \vee x_3 \vee x_4) …
Bei einem gerichteten Graphen und die zwei Scheitel s , t ∈ V . Ein Paar einfacher Pfade p 1 , p 2 von s nach t ist kantendisjunkt, wenn sie keine Kante teilen.G=(V,E)G=(V,E)G = (V,E)s,t∈Vs,t∈Vs,t \in Vp1,p2p1,p2p_1,p_2sssttt Bei Verwendung des maximalen Durchflusses ist es leicht zu entscheiden, ob es …
Obwohl exponentielle Trennungen zwischen Quantenabfragekomplexität mit begrenztem Fehler ( ) und deterministischer Abfragekomplexität ( D ( f ) ) oder randomisierter Abfragekomplexität mit begrenztem Fehler ( R ( f ) ) bekannt sind, gelten sie nur für bestimmte Teilfunktionen. Wenn die Teilfunktionen einige spezielle Strukturen haben , sind sie auch …
Betrachten Sie das Problem der dominierenden Menge in allgemeinen Diagrammen und lassen Sie die Anzahl der Scheitelpunkte in einem Diagramm sein. Ein gieriger Approximationsalgorithmus gibt eine Approximationsgarantie für Faktor 1 + log n , dh es ist möglich, in Polynomzeit eine Lösung S zu finden, so dass | S | …
Ein Span-Programm ist eine linear-algebraische Methode zur Angabe einer hier eingeführten Booleschen Funktion . Kürzlich wurde dieses Modell verwendet, um zu zeigen, dass die Methode des negativen Gegners eine enge Charakterisierung (mindestens bis zu ) der Komplexität von Quantenabfragen liefert .logn/loglognlogn/loglogn\log n/ \log \log n Das Komplexitätsmaß, das Span-Programme mit …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.