Q 来月の勤務表の解を求めるとエラーになってしまいます。何が原因か診断して頂けないでしょうか？

 Ans.

赤字で表示されているので解がありません。

上の表示から、列制約レベル６のソフト制約が、範囲外にあることを示しています。

制約名は、「平日休みの数が７名を超えない金」で曜日が２０２５年１月３日が満足していないことを示しています。

●平日休みの数が７名を超えない金

をダブルクリックすると当該制約箇所が表示されます。

当該行の曜日タイプ部でマウスミドルボタンを押すと曜日集合が表示されます。

制約を見ると、

１月３日の休みの数が最大で８名と制約しています。

ソフト制約レベル６です。

列制約レベル６の許容エラーは、現在３になっています。

これを、大きくしてみて（例えば３→６）、解が出るようにしてみます。

解は出ました。１２人が休みになっていることが分かります。

制約最大８人に対して、実際は、１２人ですから、許容エラーは、

１２－８＝４

４以上である必要があります。許容エラー３の場合、変更前ソフトエラー範囲は、

８プラス３ですから、11人までがソフトエラー範囲つまりハード制約で、12人以上はハード制約を超えるのでエラーとなります。ですから12人の場合は「解がない」エラーとなってしまいます。

これで、エラーの理由が判明しました。1月3日に大量の休みがエントリーされているということです。

ところで、制約の曜日集合名を見ると、

「祝ではない金今月」

になっています。1月3日は、確かに金曜日ですが、祝ではない..？

確かに、祝ではないですが、年始ではあります。そこで、曜日集合の定義を見てみます。

「祝でない」は、「特祝」の補集合（でない）であることが分かります。「特祝」の定義は、以下のように、年末、年始を含んでいます。

年末は、

確かに、定義されていますが、年始は定義されておりません。

従い、年始を設定すれば、このエラーは解消します。

以上のように、順を追って解析すれば、エラーは解消できます。

制約漏れではなく、単に

年始の設定忘れだった、

ということです。解がないときに、つい慌ててしまいますが、エラーメッセージに従って落ち着いて見ていけば、原因に辿り着けるのでやってみてください。