optional · interactive figures
17
Explore: constraint propagation
AC-3 revising arcs one at a time on three small networks, and a trail being written and undone.
optional: nothing in the lab depends on itback to the slides
17 · explore
AC-3, revise by revise
Try: step through the chain, then pick the triangle (nothing moves) and the cycle (a wipeout). Static version: AC-3, revise by revise.
17 · explore
A trail, written and undone
Try: step to the second propagation, then watch the two undos pop the trail newest first. Static version: A trail, written and undone.