Huang Lie Jun edited On_constraint_graph_begin_quote__.tex  about 8 years ago

Commit id: 747f01003c28a05a99f4c2d3db5bff991ce5ca0f

deletions | additions      

       

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

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

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