(CSP – Constraint Satisfaction Problems) Jiˇr´ı

pPˇríklad: Barvení grafu
:: Barvení grafu
proměnné: W A, NT, SA, Q, NSW, V, T ,
domény: Di = {red, green, blue},
c○Russel, Norvig: Artificial Intelligence: A Modern Approach.
omezení: Sousední oblasti musí b´yt jiné barvy.
Definice v´yčtem: pro WA–NT {(red, green), (red, blue), (green, red), (green, blue),
(blue, red), (blue, green)}
Definice podmínkou: {W A = NT }
Problémy s omezujícími podmínkami