Huang Lie Jun added subsection_A_B_Since_A__.tex  about 8 years ago

Commit id: e0f9298fed410b6263506ec0014fe91a282896d2

deletions | additions      

         

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