Huang Lie Jun edited On_constraint_graph_begin_quote__.tex  about 8 years ago

Commit id: 2c37f83c2d7fa1e9fdaad6613502d38a2293fae2

deletions | additions      

       

\node B  \node C  \bigskip  \subsection{. \((A, B)\)}  \setlength\parindent{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. 

\(D_B = \{0, 1, 2, 3, 4\}\)  \(D_C = \{0, 1, 2, 3, 4\}\)  \par  \subsection{. \((B, A)\)}