Question 31
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(12,4)=0, mod(9,4)=1. Compute the three relations to match the domain constraints, then draw the constraint graph and matching-diagram, and then answer the sub-questions.
Is the given CSP arc-consistent?
Yes
No
Cannot be determined