4 Feb 2004
CS 3243 - Constraint Satisfaction
39
Maintaining AC (MAC)
nLike any
other propagation, we can use AC in search
ni.e.
search proceeds as follows:
nestablish
AC at the root
nwhen
AC3 terminates, choose a new variable/value
nre-establish
AC given the new variable choice (i.e. maintain AC)
nrepeat;
nbacktrack
if AC gives domain wipe out
nThe hard
part of implementation is undoing effects of AC