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