Information

Deadline No deadline
Submission limit No limitation

Sign in

[Module5 Theory] AllDifferent Constraint


Question 1: AllDifferent: Bound Consistency

Consider the following domains:

D(X1) = {0,2}, D(X2) = {0,2}, D(X3) = {2,3,4,5}

What is the domain of X3 after bound-consistent filtering of the constraint AllDifferent(X1,X2,X3)?

Question 2: AllDifferent: Forward-Checking Consistency

Select all the true statements:

Question 3: AllDifferent: Domain Consistency

Consider the following domains:

D(X1) = {0,2}, D(X2) = {0,2}, D(X3) = {2,3,4,5}

What is the domain of X3 after domain-consistent filtering of the constraint AllDifferent(X1,X2,X3)?

Question 4: AllDifferent: Data Structures for Régin's Domain-Consistent Filtering Algorithm

Consider the following domains:

D(X1) = {0,2}, D(X2) = {0,2}, D(X3) = {1,2,3,4}

and the constraint AllDifferent(X1,X2,X3). Select all the true statements for domain-consistent filtering:

Question 5: AllDifferent: Régin's Domain-Consistent Filtering Algorithm

Select all the true statements: