Ladner's Theorem vs. Schaefer's Theorem


27

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 :

Ladners Satz: Wenn , dann gibt es Probleme in , die nicht -vollständig sind.N PP N PPNPNPPNP

und zu Schäfers Satz :

Schaefers Dichotomiesatz: Für jede Bedingungssprache über , wenn Schaefer ist, polynomiell zeitlösbar. Andernfalls ist -komplette.{ 0 , 1 } Γ C S P ( Γ ) C S P ( Γ ) N P Γ{0,1} ΓCSP(Γ)CSP(Γ)NP

Ich lese dies, um zu bedeuten, dass es bei Ladner Probleme gibt, die weder noch vollständig sind, aber bei Schaefer sind die Probleme entweder oder vollständig nur.N P P N PPNPPNP

Was vermisse ich? Warum widersprechen sich diese beiden Ergebnisse nicht?

Ich habe die kondensierte Version der obigen Theoremaussagen von hier genommen . In seinem Abschnitt "Abschließende Kommentare" sagt er: "Wenn also ein Problem in , es aber nicht -vollständig ist, kann es nicht als CSP formuliert werden." .N PNPPNP

Bedeutet dies, dass bei Problemen einige Instanzen im fehlen ? Wie ist das möglich?N PSATNP


2
Gibt es nicht ein kleines Problem, bei dem man vorsichtig sein muss, wie man "Bedingungssprache" und "Problem" definiert? Schaefers Theorem (soweit ich mich erinnere) berücksichtigt nur Sprachen, die durch die Verknüpfung und variable Substitution einiger Mengen von Beziehungen gegeben sind. Man kann jedoch eine Reihe von Randbedingungsproblemen konstruieren, die hiervon nicht abgedeckt werden, und kann daher zwar nachvollziehbar sein, jedoch nicht Schaefer. Vermutlich ist die Menge der Probleme, die Ladner konstruiert, hinsichtlich des Abschlusses unter Konjunktion und variabler Substitution einer Menge von Beziehungen einfach nicht definierbar.
MGwynne

1
Ich denke, Sie sollten den letzten Satz ändern, da eine Instanz keine (nicht triviale) Komplexität aufweist und Instanzenmengen eine Komplexität aufweisen. Dann würde es bedeuten, dass keine NPI-Menge von als . C S P ( Γ )SATCSP(Γ)
Kaveh

Antworten:


15

Wie Massimo Lauria feststellt, sind Probleme der Form CSP ( ) etwas Besonderes. Es gibt also keinen Widerspruch.Γ

Jede Instanz eines Bedingungserfüllungsproblems kann als Paar von Beziehungsstrukturen und , und es muss entschieden werden, ob ein Beziehungsstrukturhomomorphismus von der Quelle zu dem Ziel . S T S T(S,T)STST

CSP ( ) ist ein spezielles Problem der Einschränkungszufriedenheit. Es besteht aus allen Paaren von relationalen Strukturen , die unter Verwendung konstruiert sind , nur die Verhältnisse von in der Zielbeziehungsstruktur: CSP ( ) = . Schäfers Theorem besagt, dass wenn nur Relationen über , CSP ( ) entweder NP-vollständig oder in P ist, aber nichts über andere Sammlungen von CSP-Instanzen aussagt.Γ Γ { ( S , T ) alle Beziehungen von  T  sind von  Γ } Γ { 0 , 1 } ΓΓΓΓ{(S,T)all relations of T are from Γ}Γ{0,1}Γ

Als extremes Beispiel kann man mit etwas CSP ( ) beginnen, das NP-vollständig ist, und mit "Lücken" in der Sprache. (Ladner tat dies mit SAT im Beweis seines Theorems.) Das Ergebnis ist eine Teilmenge, die nur einige der Instanzen enthält und nicht länger die Form CSP ( ) für irgendein . Die Wiederholung der Konstruktion ergibt eine unendliche Hierarchie von Sprachen mit abnehmender Härte unter der Annahme von P ≠ NP.Γ Γ ΓΓΓ


23

Sie müssen verstehen, dass -Probleme eine Struktur haben, die generische -Probleme nicht haben. Ich werde Ihnen ein einfaches Beispiel geben. Es sei . Diese Sprache ist so, dass Sie nur Gleichheit und Ungleichheit zwischen zwei Variablen ausdrücken können. Es ist klar, dass ein solcher Satz von Beschränkungen in der Polynomzeit lösbar ist.S A T Γ = { { ( 0 , 0 ) , ( 1 , 1 ) } , { ( 0 , 1 ) , ( 1 , 0 ) } }CSPSATΓ={{(0,0),(1,1)},{(0,1),(1,0)}}

Ich werde Ihnen zwei Argumente geben, um die Beziehung zwischen und Klauseln zu verdeutlichen . Beachten Sie, dass alles, was folgt, voraussetzt .PN PCSPPNP

Erstens : Einschränkungen haben eine feste Anzahl von Variablen, während für die Codierung von Zwischenproblemen möglicherweise umfangreiche Klauseln erforderlich sind. Dies ist nicht unbedingt ein Problem, wenn solch große Einschränkungen als eine Konjunktion kleinerer mithilfe von Hilfsvariablen ausgedrückt werden können. Leider ist dies bei General nicht immer der Fall .Γ

ΓORORORΓSATCSPΓ

ΓAND(1,1)OR(0,0)

SATCSPΓ

ΓNPPΓSAT


1
Zu MassimoLaurias ausgezeichneter Antwort hinzufügen; Es gibt keinen Widerspruch. Schauen Sie sich diesen Wikipedia- Artikel an, der einen Abschnitt enthält, der in einfachen Worten die Beziehung zwischen Ladners Theorem und Schaefers Theorem erklärt.
Mohammad Al-Turkistany

CSPSATCSP(Γ)SAT

ΓSATΓtHornSATpoly(t)CSP(dh exponentiell viele Variablen). Macht das Sinn?
MassimoLauria

Ich denke, der richtige Weg zu sagen ist, dass CSPs in Schaefers Framework kein willkürliches NP-Problem kodieren können (3-SAT ist tatsächlich ein kanonisches CSP-Problem). Beachten Sie, dass dies eine bedingte Anweisung ist (es sei denn, P = NP).
Chandra Chekuri

@ChandraChekuri, entschuldigen Sie bitte, dass ich so dicht bin, aber sagen Sie, dass CSPs in Schaefers Framework keine willkürlichen Instanzen von 3-SAT codieren können? CSP kann im Allgemeinen 3-SAT codieren, die eingeschränkte Version von CSPs in Schaefers Framework jedoch nicht?
User834
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.