Question 30
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.
Which of the following tuples occur in R_BA?
(1,3)
(2,2)
(3,1)
(4,2)