Difference between revisions of "CS188.1x"
From Wiki2
| Line 7: | Line 7: | ||
====arc constraints==== | ====arc constraints==== | ||
:x-->y | :x-->y | ||
For every x | For every x domain value in the tail is there a is there some y domain value that can meet the constraints. If not then remove those values from x. | ||
Revision as of 09:44, 14 October 2012
constraints
- unary constraint
- is a constraint on a single variable (e.g., X≠4).
- binary constraint
- is a constraint over a pair of variables (e.g., X≠Y).
- k-ary constraint has a scope of size k.
- variables
- domains
- the set of values a variable can take
arc constraints
- x-->y
For every x domain value in the tail is there a is there some y domain value that can meet the constraints. If not then remove those values from x.
