Question 23
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 integer n by integer d, for example, mod(8,3)=2, mod(12,3)=0, mod(16,3)=1.
Compute the three constraints such that the values are from respective domains, draw the constraint graph and matching-diagram, then answer the sub-questions.
In the given CSP, constraints are defined between every pair of variables. But in general, for Binary CSPs of n variables, if the number of binary constraints is less than nC2 then __________ .
that network can be solved
that network cannot be solved
that network may or may not have a solution
that network will always have a solution
that network will never have a solution