Latar belakang :
Dalam kertas UGC asli Subhash Khot ( PDF ), ia membuktikan kekerasan UG memutuskan apakah contoh CSP yang diberikan dengan kendala semua bentuk Tidak-semua-sama (a, b, c) pada alfabet ternary mengakui tugas yang memuaskan 1 - dari kendala atau apakah tidak ada tugas yang memuaskan dari kendala, untuk kecil sewenang-wenang.
Saya ingin tahu apakah hasil ini telah digeneralisasi untuk setiap kombinasi kendala -ary untuk dan domain variabel ukuran mana . Itu adalah,
Pertanyaan :
Adakah kekerasan yang diketahui dari hasil perkiraan untuk predikat untuk untuk dan ?
Saya terutama tertarik pada kombinasi nilai ; misalnya, predikat Tidak-sama-sama ( x 1 , ... , x k ) untuk x 1 ... , x k ∈ G F ( k ) .