Huang Lie Jun edited On_constraint_graph_begin_quote__.tex  about 8 years ago

Commit id: ee7d1fd9174d387182c9bbac58b7d4e422f2f5a7

deletions | additions      

       

\subsection{. \((A, B)\)}  \setlength\parindent{24pt} {24pt}  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: 

\(D_C = \{0, 1, 2, 3, 4\}\)  \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\}\)  \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\}\)  \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: