2-Consistency Is Not Sufficient

Given a 2-consistent CSP, backtracking might still be necessary.

Example: 4-queens. Full problem is 2-consistent, yet there is no solution with a queen in the upper left corner.

Example 2: triangle, 2 colors, 2-consistent yet unsolvable.


next up previous
Next: 2-Consistency Is ``Iterative'' Up: CONSISTENCY: RECAP Previous: CONSISTENCY: RECAP