近似抵抗性的刻画

若对于 CSP(f) 的近乎可满足实例，在计算上难以找到满足至少$\rho(f)+\Omega(1)$比例约束的赋值，则称谓词$f:\{-1,1\}^k \to \{0,1\}$（其中$\rho(f) = \frac{|f^{-1}(1)|}{2^k}$）为近似抵抗的。我们在唯一游戏猜想 (Unique Games Conjecture) 下给出了近似抵抗谓词的完整刻画。我们还给出了在混合线性与半定规划层级以及 Sherali-Adams 线性规划层级中的刻画。在前一种情况下，该刻画与基于 UGC 的刻画一致。这两种刻画均表述为在与谓词相关联的自然凸多面体上存在具有特定对称性质的概率测度。