This may take some time to load. Click on the pictures to view the MetaPost source. Please note. The MetaPost source is a bit of a hack. I only needed the pictures:-)
Initial CSP
$A_4$ must be $1$ and $C_3$ must be $3$
After Node-Consistency
Some Values have no Support
After Propagation
Values lost Support
After More Propagation
More Values lost Support
After More Propagation
More Values lost Support
After More Propagation. Stable Situation
After Arc-Consistency
$E_4$ must be $1$
After Assignment $E_4 = 1$ and Arc-Consistency
$C_5$ must be $1$
After Assignment $C_5 = 1$ and Arc-Consistency
Start Backtracking. Current Variable: $C_1$
After Assignment $C_1 = 4$ and Arc-Consistency
Current Variable: $B_1$
After Assignment $B_1 = 3$ and Arc-Consistency
Backtrack on $B_1$
After Assignment $B_1 = 4$ and Arc-Consistency
Backtrack on $C_1$
After Assignment $C_1 = 5$ and Arc-Consistency
Current Variable: $B_4$
After Assignment $B_4 = 2$ and Arc-Consistency
Backtrack on $B_4$
After Assignment $B_4 = 4$ and Arc-Consistency

Back to the CSP Menu
Marc van Dongen