Antecedentes :
No artigo UGC original de Subhash Khot ( PDF ), ele prova a dureza UG de decidir se uma determinada instância CSP com restrições de todo o formato Não igual a todos (a, b, c) ao longo de um alfabeto ternário admite uma tarefa que satisfaça 1 - das restrições ou se não existem atribuições que satisfaçam das restrições, por arbitrariamente pequenos .8ϵ>0
Estou curioso para saber se esse resultado foi generalizado para qualquer combinação de restrições -ary para e domínios variáveis de tamanho que . Isso é,l de ≥ 3 k ≥ 3 l de ≠ k ≠ 3
Pergunta :
Existem resultados de dureza conhecidos de aproximação para o predicado para para e ? x i ∈ G F ( k ) ℓ , k ≥ 3 ℓ ≠ k ≠ 3
Estou especialmente interessado na combinação de valores ; por exemplo, o predicado Não é igual ( ) para .x 1 , … , x k x 1 … , x k ∈ G F ( k )