Huang Lie Jun edited Question 3.md  about 8 years ago

Commit id: 14bcc5e145dcb59c03820ed4e99fbc44fb7b7592

deletions | additions      

       

\X_{i}\ \(X_{i}\)  is arc-consistent with respect to another variable \X_{j}\ \(X_{j}\)  if for every value in the current domain \D_{i}\ \(D_{i}\)  there is some value in the domain \D_{j}\ \(D_{j}\)  that satisfies the binary constraint on the arc (\X_{i}\,\X_{j}\) (\(X_{i}, X_{j}\))