Chapter 5.1
Constraint Satisfaction
- {Xi}: variables
- Each variable has a {Di} domain of possible values
- {Ci}: constraints
- Goal: Assign values to variables such that no constraints are violated
Incremental Problem Formulation
- Initial State
- Successor Function
- Goal Test
- Path Cost
Complete State Problem Formulation
Examples
- 8 Queens
- Map Coloring
- Scheduling
- Cryptarithmetic, e.g. SEND + MORE = MONEY