Huang Lie Jun edited On_constraint_graph_begin_quote__.tex  about 8 years ago

Commit id: d54efbdef96f22caeb65a311b2711afdaa8b7eb8

deletions | additions      

       

[A]---[B]---[C]  \begin{enumerate}  \item \((A, B)\)  \end{enumerate} \subsection{\( . (A, B)\)}  Since \(A = B + 1\) is the constraint, Domain \(D_A\) will be reduced to \{1, 2, 3, 4\} to be make arc \((A, B)\) arc-consistent.  State: