Coba jelasin Masalah kepuasan kendala dari Aljabar universal dong

Aljabar universal menyediakan bahasa alami untuk  masalah kepuasan kendala (CSP). CSP merujuk ke kelas penting dari masalah komputasi yang diberi aljabar relasional  dan eksistensial kalimat  di atas aljabar ini, pertanyaannya adalah mencari tahu apakah  bisa dipenuhi di . Aljabar  sering kali diperbaiki, sehingga  mengacu pada masalah yang instansinya hanya kalimat eksistensial .

Terbukti bahwa setiap masalah komputasi dapat dirumuskan sebagai  untuk beberapa aljabar .

Sebagai contoh, masalah  n -warna dapat dinyatakan sebagai CSP dari aljabar , i.e. sebuah aljabar dengan elemen  dan satu relasi, pertidaksamaan.

Dugaan dikotomi (dibuktikan pada April 2017) menyatakan bahwa jika  adalah aljabar berhingga, maka  bisa berupa P atau kompleks-NP.