最大制約充足問題の大きなギャップ？

PCP定理の同等の定式化は次のとおりです。Max3 -SATの場合、充足可能な式と、最大句の部分が満たされる式（一部の）を区別するのはです。$NP$$r$$r\lt 1$

ハードギャップがあるかどうかに基づいてすべてのMax CSPを分類する既知の二分法定理はありますか？

2010年12月16日編集：ハードギャップのあるMAX CSPは、問題に最適な非近似係数があることを意味します。たとえば、3SATは係数近似できる多項式時間であるため、位置1にハードギャップがありますが、すべての句が満たされる場合でも近似係数を取得するのはです。$7/8$$NP$$7/8+ \epsilon$

STOC'08ベストペーパーのPrasad Raghavendraは、Unique Games Conjectureを想定してMax-CSPを近似するための二分法の予想を証明しました。これは彼が最初に発表した方法ではありませんが、数年後、ビデオテープに記録されたIASなどで物事をこのように発表する講演を行いました：http : //www.math.ias.edu/seminars/abstract ？event = 36669

SNP硬度を示すこととの違いは、ここでは定量的に最適な結果について説明することです。

Khanna、Sudan、Trevisan、Williamson [KSTW01]の定理5.14は、boolean MaxCSP問題の完全性を備えたギャップバージョンの二分法定理を提供します。

[KSTW01] Sanjeev Khanna、Madhu Sudan、Luca Trevisan、David P. Williamson。定数満足度問題の近似可能性。 コンピューティングSIAMジャーナル、30（6）：1863年から1920年、2001 http://dx.doi.org/10.1137/S0097539799349948

間違っていない場合、この前線の最終的な結果は、Nadia Creignouによるものです。NadiaCreignouは、MAX CSPのすべての問題がポリタイムで解決可能であるか、MAX SNP-hardであることを示しました。