17 Feb 2005
CS 3243 - Constraint Satisfaction
4
Example: Map-Coloring
nVariables WA, NT, Q, NSW, V, SA, T
nDomains Di = {red,green,blue}
nConstraints: adjacent
regions must have different colors
ne.g., WA ≠ NT, or (WA,NT)
in {(red,green),(red,blue),(green,red), (green,blue),(blue,red),(blue,green)}