Example:Map-Coloring Queensland South Australia New South Wale Victoria Variables WA,NT Q NSW V SA,T Tasmania Domains D={red,green,blue} Constraints:adjacent regions must have different colors e.g.,WA NT or (WA NT)in {(red,green),(red,blue),(green,red), (green,blue),(blue,red),(blue,green) 4Feb2004 CS 3243-Constraint Satisfaction 44 Feb 2004 CS 3243 - Constraint Satisfaction 4 Example: Map-Coloring ◼ Variables WA, NT, Q, NSW, V, SA, T ◼ Domains Di = {red,green,blue} ◼ Constraints: adjacent regions must have different colors ◼ ◼ e.g., WA ≠ NT, or (WA,NT) in {(red,green),(red,blue),(green,red), (green,blue),(blue,red),(blue,green)} ◼