Q.解が求めることができません スタッフ２０，２１，２２の休みの回数にエラーが出ているようです

 Ans.

＜解析＞

赤●のラインをダブルクリックします。

指摘制約を見ます。2連休を１回以上４回以下にしているソフト制約です。

指摘スタッフの予定を見ると、後半に有給が連続しています。この部分だけで２連休が８回以上になっています。

この制約、ソフト制約レベル２の許容エラーは、下記より１です。

なので、ハード制約は、４＋１＝５最大として作用します。つまり６回以上の２連休はハードエラーとなります。予定もハード制約、行制約もハード制約、ハード制約間の矛盾ですので、ハードエラー、つまり解のない状態となる訳です。

＜改善策＞

意図は、「有給も含んで１回以上の２連休を確保したい」、ということだと思いますので、最小制約だけを残して、最大制約は削除すれば、矛盾を解消できます。

しかし、「休み２連休は最大４回(有給は除く）も制約したい」、ので、最大用に新たに制約を追加します。

このようにすれば、矛盾を解消かつ、予定なソフトエラーを生じさせずに意図を反映できます。