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 8 erfüllender Nebenbedingungen, für beliebig kleinesϵ>0.
Ich bin gespannt , ob dieses Ergebnis für eine beliebige Kombination von verallgemeinerte ary Einschränkungen für l ≥ 3 und variablen Domänen der Größe k ≥ 3 wobei l ≠ k ≠ 3 . Das ist,
Frage :
Gibt es eine bekannte Härte der Approximationsergebnisse für das Prädikat für x i ∈ G F ( k ) für ℓ , k ≥ 3 und ℓ ≠ k ≠ 3 ?
Mich interessiert vor allem die Wertekombination ; zB das Prädikat Nicht alle gleich ( x 1 , … , x k ) für x 1 … , x k ∈ G F ( k ) .