子育て制約

 子育て中のスタッフは土日のどちらかを休みにしたい (nurse-scheduling-software.com)

独身の方からは、不公平との声が聞こえてきそうな制約です。しかし、土日の休みを増やすのではなくて、諦めてもらっている部分もある、ということを理解してもらうことも必要ではないでしょうか？

さて、技術の方の話ですが、毎度のドモルガンの定理で、良く使います。

A|B=~(～A&～B)

パターンは、AND形式の一択なので、＆で表現する必要があります。シフトのパターンは、任意のNOT=チェックマーク　で表現できます。また～（）の～は、禁止と解釈できます。なので、次のようにパターン禁止でも実現できます。

しかし、この場合は、１回でもペナルティが入ってしまいます。今回のように１回までは、ペナルティとしない(あってもよい）としたい場合は、

パターン禁止ではなく、最大ー最小の最大を規制することになります。