© 2000 Todd Neller.
A.I.M.A. t
ext
figures
© 1995 Prentice Hall.
Used by
permission.
Arc Consistency
•
Arc consistent
–
Node consistent, and
–
"
variables Xi, Xj
•
"
instantiations of Xi,
–
$
an instantiation of Xj obeying binary constraints
between Xi, Xj
•
Example: If NY green, domains have only
values respecting unary constraints, and
lacking green for adjacent states.
