同数カウントに不等式追加

 整数カウントに不等式、同数カウントにオフセットを追加しました。

ΣACoff*A[i] 演算子　ΣBCoff*B[i] +offset

となります。係数は、シフト表のカウント値となります。2番目の画像の制約は、長日の数は入り数に対して+0-1以内であることを制約します。＋側にはみ出した長日部分(4h)は、半休(4h)または、非番(8h)により補償されるという制約です。

長日数<=２＊非番数＋１＊半休数＋入り数

長日数＞＝入り数ー１

同数制約は、ソルバ上重い制約であり、かつ解空間を狭めるので、その使用は極力避ける設計としています。具体的には、長入明シーケンスのみのグループとそれ以外に分け、それ以外グループでのみ、上式を適用した実装としています。