Harte Lücken bei Problemen mit der maximalen Beschränkungszufriedenheit?

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 ).$NP$$r$$r\lt 1$

Gibt es ein bekanntes Dichotomie-Theorem, das alle Max CSPs danach klassifiziert, ob sie harte Lücken aufweisen oder nicht?

Edit 16. Dezember 2010 : MAX CSP mit harter Lücke bedeutet, dass das Problem einen optimalen Unanpassungsfaktor hat. Zum Beispiel hat 3SAT harten Spalt an einer Stelle , da es Polynomzeit approximierbar auf einen Faktor , aber es ist N P Faktor -hard zu erhalten Näherung selbst wenn alle Klauseln sind erfüllbar.$7/8$$NP$$7/8+ \epsilon$

Prasad Raghavendra in der besten Veröffentlichung von STOC'08 hat eine Dichotomie-Vermutung für die Annäherung von Max-CSP unter der Annahme der Unique Games Conjecture bewiesen. So präsentierte er es ursprünglich nicht, aber er hielt einige Jahre später Vorträge, in denen er die Dinge auf diese Weise präsentierte, z. B. beim IAS, wo es auf Video aufgezeichnet wurde: http://www.math.ias.edu/seminars/abstract Ereignis = 36669

Der Unterschied zur SNP-Härte besteht darin, dass hier von quantitativ optimalen Ergebnissen gesprochen wird.

Satz 5.14 von Khanna, Sudan, Trevisan und Williamson [KSTW01] liefert einen Dichotomiesatz für die Lückenversionen mit perfekter Vollständigkeit für die booleschen MaxCSP-Probleme.

[KSTW01] Sanjeev Khanna, Madhu Sudan, Luca Trevisan und David P. Williamson. Die Approximierbarkeit von konstanten Zufriedenheitsproblemen. SIAM Journal on Computing , 30 (6): 1863–1920, 2001. http://dx.doi.org/10.1137/S0097539799349948

Wenn ich mich nicht irre, ist das definitive Ergebnis auf dieser Front von Nadia Creignou, die zeigte, dass jedes Problem in MAX CSP entweder polyzeitlösbar oder MAX SNP-hart ist .