Arc Consistency
Arc consistency is based on a very simple concept
- if we can look at just one constraint and see that x=v is impossible …
- obviously we can remove the value x=v from consideration
How do we know a value is impossible?
If the constraint provides no support for the value
e.g. if Dx = {1,4,5} and Dy = {1, 2, 3}
- then the constraint x > y provides no support for x=1
- we can remove x=1 from Dx