Ich würde gerne den aktuellen Zustand des Phasenübergangs für zufälliges k-sat bei n Variablen und m Klauseln kennen, was das bekannteste c = m / n für obere und untere Grenzen
a´a´\acute{\rm a}H ∈ P T I M E.HHHHHH∈PTIME∈PTIME\in PTIME Definitionen usw. Eine großartige Übersicht über Standard-Baumzersetzungen und Baumbreite finden Sie hier (Vielen Dank im Voraus, JeffE!). Sei ein Hypergraph.HHH Dann für einen Hypergraphen und eine Abbildung
Der Graphautomorphismus ist eine Permutation von Graphknoten, die eine Bijektion auf der Kantenmenge induziert . Formal ist es eine Permutation von Knoten wie iffEEEfff(u,v)∈E(u,v)∈E(u,v)\in E(f(u),f(v))∈E(f(u),f(v))∈E(f(u),f(v))\in E Definieren Sie eine verletzte Kante für eine Permutation als...
Diese Frage ist mir in den Sinn gekommen, nachdem ich die Beiträge von András Salamon und Colin McQuillan zu meiner vorherigen Frage gelesen hatte . Zählen von Lösungen für monotone 2CNF-Formeln . EDIT 30 th März 2011 hinzugefügt Frage n ° 2. EDIT 29 th Oktober 2010 Frage nach András Vorschlag...
Hiroimono ist ein beliebtes vollständiges Puzzle. Ich interessiere mich für die rechnerische Komplexität eines verwandten Puzzles.N.P.NPNP Das Problem ist: Eingabe : Gegeben eine Menge von Punkten auf einem x n quadratischen Gitter und einer ganzen Zahl knnnnnnkkk Frage : Gibt es ein geradliniges...
Sei π:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^* eine Permutation. Beachten Sie, dass ππ\pi auf eine unendliche Domäne einwirkt, seine Beschreibung jedoch endlich sein kann. Mit Beschreibung meine ich ein Programm, das die Funktionalität von beschreibt ππ\pi. (Wie bei der...
Kennt jemand eine Reihe von Problemen, die einheitlich variieren und eine der "interessanten" Hierarchien von Komplexität und Berechenbarkeit umfassen? Mit interessant meine ich zum Beispiel die Polynomhierarchie, die arithmetische Hierarchie oder die analytische Hierarchie. Oder vielleicht (N) P,...
Die Auflösung ist ein Schema zum Nachweis der Unzufriedenheit von CNFs. Ein Beweis in der Auflösung ist eine logische Ableitung der leeren Klausel für die anfänglichen Klauseln in der CNF. Insbesondere kann jede Anfangsklausel abgeleitet werden, und aus zwei Klauseln A ∨ xA∨xA \lor x und B ∨ ¬...
Hintergrund Die Schaltungskomplexität ist definiert als der Satz von Schaltungsfamilien (dh Folgen von Schaltungen, eine für jede Eingangsgröße) mit begrenzter Tiefe und Polynomgröße, die unter Verwendung von unbegrenztem Fan-In AND, OR und NOT erstellt wurden.AC0AC0AC^0 Die Paritätsfunktion mit...
In einer früheren Frage zur Zeithierarchie habe ich gelernt, dass Gleichheiten zwischen zwei Klassen auf komplexere Klassen und Ungleichungen auf weniger komplexe Klassen übertragen werden können, wobei Argumente mit Auffüllung verwendet werden. Daher kommt eine Frage in den Sinn. Warum untersuchen...
In dieser Frage wurde erwähnt, dass es beschreibende Komplexitätsversionen des Satzes von Rice gibt. Ich habe einen Beweis für den folgenden Satz gefunden: Bei einer Komplexitätsklasse C können nichttriviale Eigenschaften von Sprachen in C nicht in C berechnet werden Ich hatte zuvor den gefundenen...
Problemstellung : Sei ein (möglicherweise nicht deterministischer) Pushdown-Automat und sei sein Eingabealphabet. Gibt es ein Wort st , das von akzeptiert wird ?M.M.MEINEIN\cal Aw ∈ A.∗w∈EIN∗w \in \cal A^*| w | ≤k|w|≤k|w| \leq kM.M.M Ist dieses Problem NP-vollständig? Wurde es untersucht? Gibt es...
Was ist bei einer booleschen Schaltung für Variablen (die nur die Gatter NOT, AND und OR verwendet) der effizienteste Weg, um die durch die Schaltung dargestellte boolesche Formel zu extrahieren? Gibt es einen Polytime-Algorithmus für dieses
Gibt es eine Möglichkeit, wie ein Prüfer einen Prüfer davon überzeugen kann, dass ein HORN-SAT-Ausdruck zufriedenstellend ist? Dies mag natürlich albern erscheinen, da es für HORN-SAT lineare Zeitalgorithmen gibt. Andererseits ist HORN-SAT P-vollständig, was bedeutet, dass es keine...
Ich habe mit der sehr interessanten und noch offenen Frage " Alphabet der Single-Tape-Turing-Maschine " (von Emanuele Viola) gespielt und mir folgende Sprache ausgedacht: L={x∈{0,1}n s.t. |x|=n=2m and count1(x)=k∗m;n,m,k≥1}L={x∈{0,1}n s.t. |x|=n=2m and count1(x)=k∗m;n,m,k≥1}L = \{ x \in \{0,1\}^n...
f,gf,gf,gf(n)logf(n)=o(g(n))f(n)logf(n)=o(g(n))f(n) \log f(n) = o(g(n))f , g f ( n + 1 ) = o ( g ( n ) )DTIME(f(n))⊊DTIME(g(n))DTIME(f(n))⊊DTIME(g(n)) DTIME(f(n)) \subsetneq DTIME(g(n))f,gf,gf,gf(n+1)=o(g(n))f(n+1)=o(g(n))f(n+1)=o(g(n))es ist NTIME(f(n))⊊NTIME(g(n)).NTIME(f(n))⊊NTIME(g(n))....
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...
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,...
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...
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,...