Als «cc.complexity-theory» getaggte Fragen

P gegen NP und andere ressourcengebundene Berechnungen.

1
Stichprobenerfüllbare 3-SAT-Formeln
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 (mit zufälligen Bits) effizient erreicht werden? Frage 2: Kann dies mit einem Quantencomputer effizient …
3
Optimierungsprobleme mit guter Charakterisierung, aber ohne Polynom-Zeit-Algorithmus
Betrachten Sie Optimierungsprobleme der folgenden Form. Sei eine polynomiell berechenbare Funktion, die eine Zeichenkette in eine rationale Zahl abbildet . Das Optimierungsproblem lautet: Was ist der Maximalwert von über Bit-Strings ?x f ( x ) n xf(x)f(x)f(x)xxxf(x)f(x)f(x)nnnxxx Nehmen wir an, dass ein solches Problem eine Minimax-Charakterisierung hat , wenn es …
6
Fortgeschrittene Techniken zur Bestimmung der unteren Grenzen der Komplexität
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 Problem, welche Techniken wurden verwendet, um untere Grenzen für die …
2
Natural CLIQUE zur k-Farbreduktion
Es gibt eindeutig eine Reduzierung von CLIQUE auf k-Color, da beide NP-Complete sind. Tatsächlich kann ich einen erstellen, indem ich eine Reduktion von CLIQUE auf 3-SAT mit einer Reduktion von 3-SAT auf k-Color zusammensetze. Ich frage mich, ob es eine vernünftige direkte Reduzierung zwischen diesen Problemen gibt. Sagen wir, eine …
1
Ich möchte ein einfaches Gadget, um zu beweisen, dass der planare Hamilton-Zyklus NP-vollständig ist (aus dem Hamilton-Zyklus)
Es ist bekannt, dass der Hamilton-Zyklus (kurz Schinken) NP-vollständig und der planare Schinken-Zyklus NP-vollständig ist. Der Beweis für den Planaren Schinkenzyklus stammt nicht aus dem Schinkenzyklus. Gibt es ein nettes Gadget, das bei einem gegebenen Graphen G alle Kreuzungen durch ein planares Gadget ersetzt, so dass Sie einen planaren Graphen …
1
Logspace-Algorithmen für Diagramme mit begrenzter Baumbreite
Die Baumbreite misst, wie nah ein Diagramm an einem Baum ist. Es ist NP-schwer, die Baumbreite zu berechnen. Der bekannteste Näherungsalgorithmus erreicht Faktor.O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) Courcelles Theorem besagt, dass jede Eigenschaft von Graphen, die in der monadischen Logik zweiter Ordnung (MSO2) definierbar ist, in linearer Zeit für jede Klasse von Graphen mit …
1
Ist
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 …
2
Testen Sie, ob Buchstaben so geplant werden können, dass ein Wort in einer normalen Sprache gefunden wird
Ich fixiere eine reguläre Sprache LLL auf einem Alphabet ΣΣ\Sigma und betrachte das folgende Problem, das ich als Briefplanung für LLL . Informell gibt die Eingabe mir nnn Buchstaben und ein Intervall für jeden Buchstaben (dh eine minimale und maximale Position), und mein Ziel ist es, jeden Buchstaben in seinem …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.