Exercises
Describe AC3 as a search algorithm
- in terms of the generic search algorithm
- so what’s the search problem?
Consider the constraints x < y, y < z, z < x
- obviously inconsistent, and AC on its own can prove this
- Show what AC3 does when Dx= Dy= Dz={1,2,3,4,5,6,7,8,9}
Describe a constraint satisfaction problem which …
- is not arc-consistent but we can establish AC
- but the problem has no solution