Question 32
CONSTRAINT SATISFACTION Consider a CSP over 3 variables A, B, C where the domains and constraints are:
where, mod(n,d) returns the remainder after dividing n by d, for example, mod(8,3)=2, mod(6,7)=6, mod(8,7)=1. Compute the three relations to match the domain constraints,then draw the constraint graph and matching-diagram,and then answer the sub-questions.
If the given CSP is not already arc-consistent, then make it arc-consistent, and then check if the resulting network is path consistent.
It is path consistent.
It is not path consistent.
Path consistency does not apply because the constraint graph has a cycle.