Binary Constraint Network
Set of n variables: x1 … xn
Value domains for each variable: D1 … Dn
Set of binary constraints (also known as relations)
- Rij ? Di ? Dj
- Specifies which values of xi are consistent w/ those of xj
Partial assignment of values with a tuple of pairs
- {...(x,a)…} means variable x gets value a...
- Consistent if all constraints satisfied on all vars in tuple
- Tuple = full solution if consistent & all vars included
Tuple {(xi, ai) … (xj, aj)} consistent w/ a set of vars {xm … xn} iff ? am … an such that this tuple is consistent: {(xi, ai) … (xj, aj), (xm, am) … (xn, an)} }