Q.準夜（準）がいる場合、長日勤（長日）をA及びBチームに各１名、夜勤（夜）をA及びBチームに各１名割当てる 。準夜（準）がいない場合、長日勤（長日）をA及びBチームに１又は２名合計３名、夜勤（夜）をA及びBチームに１名又は２名合計３名割当てる

 Q.

■準夜（3交代準）がいる場合、長日勤（長日）をA及びBチームに各１名、夜勤（夜）をA及びBチームに各１名割当てる

■準夜（3交代準）がいない場合、長日勤（長日）をA及びBチームに１又は２名合計３名、夜勤（夜）をA及びBチームに１名又は２名合計３名割当てる

Ans.

上の仕様を式で表現すると、以下の関係になっています。

長日2+準夜１＝=３　、夜勤２＋準夜１＝＝３

長日3+準夜０＝＝３　、夜勤３＋準夜０＝＝３

つまり、足すと常に３です。こういう関係は、ペア制約ではなく列制約で記述した方がベターです。

シフト集合は、以下で合成します。