仕様から制約を導く

 仕様は以下です。

１）長日勤者数で日勤者数が異なることに気づく

ペア制約ではなく、列制約で記述できないかを考えます。

長日＋日勤≧８

であれば長日２名＋日勤者６名、長日３名＋日勤者５名の両方を満足します。

２）共通集合は何か？

チームA/Bで共通する部分は何でしょうか？

■各チーム３年目以上が１名以上居ること　これはMustです。

■各チーム２名以上居ること、出来ればです。

これらは、長日勤者数に関係なく常にあてはまります。また、上記制約を満たせば、上記仕様も常に満たせます。

まとめると、

これを記述して、

と制約化できます。