[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.