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 …
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 Umfragen, die über das Max-Cut-Problem hinausgehen und komplexere Rundungsalgorithmen und -techniken für ihre Analyse erklären? …
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 Constraint-Solver so zu öffnen, dass er keine Black Box mehr ist. …
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 Auflagen vorliegen, die …
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 einen Zeiger auf das neue Element zurück …
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 berechenbar) sein. Beschränken wir uns daher auf Probleme, die "natürlich" sind und sich …
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 Frage ist, ob …
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 viele der einfachen Gültigkeitsprüfungen nicht bestanden werden. Das klassische Beispiel ist natürlich …
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 alle Max CSPs danach klassifiziert, ob sie …
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 sei ein NP-schweres Problem (z. B. web.mst.edu/~ercal/387/slides/NP-Hard.ppt). Ich konnte …
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 ,HHHγ:E(H)→[0,∞)γ:E(H)→[0,∞)\gamma : E(H) \rightarrow [0,\infty) B(γ)=B(γ)=B(\gamma) = { v∈V(H):∑e∈V(H),v∈eγ(e)≥1v∈V(H):∑e∈V(H),v∈eγ(e)≥1v \in V(H) : \sum_{e \in …
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 GGG , dann ist f(u)f(v)f(u)f(v)f(u)f(v) ein …
(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, falls …
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.