谓词的UGC硬度为？
背景： 在Subhash Khot的原始UGC论文（PDF）中，他证明了UG的难点，即确定给定CSP实例是否具有三元字母表上形式为All-all-equal（a，b，c）的所有约束形式，是否接受满足1的赋值-的约束或是否存在没有分配satisying的限制，为任意小。ϵϵ\epsilon89+ϵ89+ϵ\frac{8}{9}+\epsilonϵ>0ϵ>0\epsilon > 0 我想知道这个结果是否已经被推广为的任何组合进制约束和大小的可变结构域其中。那是，ℓ ≥ 3 ķ ≥ 3 ℓ ≠ ķ ≠ 3ℓℓ\ellℓ≥3ℓ≥3\ell \ge 3k≥3k≥3k \ge 3ℓ≠k≠3ℓ≠k≠3\ell \ne k \ne 3 问题： 是否有近似的结果为谓词任何已知的硬度为为和？ X 我 ∈ ģ ˚F （ķ ）ℓ ，ķ ≥ 3 ℓ ≠ ķ ≠ 3NAE(x1,…,xℓ)NAE(x1,…,xℓ)NAE(x_1, \dots, x_\ell)xi∈GF(k)xi∈GF(k)x_i \in GF(k)ℓ,k≥3ℓ,k≥3\ell, k \ge 3ℓ≠k≠3ℓ≠k≠3\ell \ne k …