Huang Lie Jun Deleted File  about 8 years ago

Commit id: b2c721802bb146b9a8c2271483758d547eab60b3

deletions | additions      

         

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