Information

Deadline No deadline
Submission limit No limitation

Sign in

[Part1] Fixpoint Algorithm


Question 1: Fixpoint algorithm 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]\).

Assume that all the three constraints are in the propagation queue initially.

Select all the true statements:

Question 2: Fixpoint algorithm: general assertions

Select all the true statements regarding the fixpoint computation and implementation in MiniCP: