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

Commit id: 615ddb342f14421d0961366bbb0a0c9c34a3af8c

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}\)