CSP steht für das Constraint-Zufriedenheitsproblem.
Beim Lesen des Artikels "Ist es an der Zeit, den Sieg bei der Zählung der Komplexität zu erklären?" über an dem „Gödels verlorenen Brief und P = NP“ Blog, erwähnte sie die Dichotomie für CSPs. Nachdem ich ein paar Links gefolgt, gegoogelt und Wikipeds gemacht hatte, stieß ich auf Ladners Theorem :...
Beim Entwerfen von Approximationsalgorithmen löst man manchmal ein semidefinites Programm, gefolgt von einem Rundungsschritt. Ein häufig verwendetes Beispiel, um dies zu veranschaulichen, ist Max-Cut. (Siehe zB Approximationsalgorithmen von Vijay Vazirani.) Gibt es gute Bildungsquellen oder...
In der Vergangenheit habe ich Koordinationsmodelle implementiert, bei denen SAT und die reguläre Beschränkungszufriedenheit das zentrale Arbeitspferd in ihren Motoren waren. In diesem Arbeitsbereich möchte ich die Modelle interaktiver gestalten. Der beste Weg, dies zu tun, besteht darin, den...
Hintergrund : In Subhash Khots Original-UGC-Arbeit ( PDF ) beweist er die UG-Härte der Entscheidung, ob eine gegebene CSP-Instanz mit Einschränkungen aller Formen, die nicht alle gleich sind (a, b, c), über ein ternäres Alphabet eine Zuordnung zulässt, die 1 erfüllt - der Auflagen oder ob keine...
Das Auftragspflegeproblem (oder "Auftrag in einer Liste pflegen") besteht darin, die folgenden Vorgänge zu unterstützen: singleton: Erstellt eine Liste mit einem Element und gibt einen Zeiger darauf zurück insertAfter: einen Zeiger auf ein Element gegeben, fügt ein neues Element danach ein und gibt...
Eine äquivalente Formulierung des PCP-Theorems lautet: Für Max 3-SAT ist es -schwer, zwischen erfüllbaren Formeln und Formeln zu unterscheiden, bei denen höchstens r- Bruch der Klauseln erfüllbar sind (für einige r < 1 ).NPNPNPrrrr < 1r<1r\lt 1 Gibt es ein bekanntes Dichotomie-Theorem, das...
Die folgende Frage wurde mehrmals beim Testen der Sicherheit eines Systems oder Modells gestellt. Motivation: Software-Sicherheitslücken entstehen häufig nicht durch Fehler aufgrund gültiger Eingaben, sondern durch Fehler aufgrund ungültiger Eingaben, die den gültigen Eingaben so nahe kommen, dass...
Sei eine 2CNF-Formel und k eine nichtnegative ganze Zahl. Es ist in diesem Aufsatz bewiesen , dass das Problem der Entscheidung, ob höchstens k- Klauseln gelöscht werden können , um φ zufriedenstellend zu machen , mit festen Parametern bewerkstelligt werden kann, wobei k der Parameter ist. Meine...
Schaefers Dichotomiesatz zeigt, dass jedes CSP-Problem über entweder in Polynomialzeit lösbar oder NP-vollständig ist. Dies gilt nur für CSP-Probleme mit begrenzter Breite, beispielsweise ohne SAT und Horn-SAT. Allgemeine CSP-Probleme mit unbegrenzter Breite können sehr schwierig (sogar nicht...
Das N-Queen-Problem ist folgendes: Eingabe: N. Ausgabe: Eine Platzierung von N "Königinnen" auf einem NXN-Schachbrett, so dass keine zwei Königinnen in derselben Zeile, Spalte oder Diagonale liegen. Bei einer Google-Suche stellte ich fest, dass viele Folien von vielen Professoren behaupten, dies...
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
Bei einem fest gerichteten Graphen (Digraphen) fragt DDDdas DDD COLORING-Entscheidungsproblem, ob ein Eingangsdigraph GGG einen Homomorphismus zu DDD . (Ein Homomorphismus von GGG zu DDD ist eine Abbildung fff von V(G)V(G)V(G) auf V(D)V.(D.)V(D) , die die Bögen bewahrt, dh wenn uvuvuv ein Bogen von...
(Dies ist das "obere Ende" meiner Frage von vor über 10 Monaten auf cs.stackexchange. Diese Frage und das "untere Ende", das ich hier vor über 8 Monaten gestellt habe und auf das ich auch ein Kopfgeld habe, sind beide unbeantwortet. Diese sind Screenshots davon, wie dieser Beitrag aussehen sollte,...