[Part1] Fix point


Question 1: Fix-point and inconsistency

Consider a CSP with three variables and three binary constraints:

\(X < Y\)

\(Y < Z\)

\(Z < X\)

and initial domains \(D(X)=D(Y)=D(Z)=[0..100]\).

Also assume that all the three constraints are in the propagation queue initially.

Select all the true statements

Question 2: Fix-point general assertions

Select all the true statements regarding the fix-point computation and implementation in Mini-CP.

Information

Deadline No deadline
Submission limit No limitation

Sign in