フェーズ変数の拡張

 次のようなフェーズ状態であるとします。

このとき、フェーズ変数は、フェーズに＋－１が存在するので、＋－分拡張されます。(-があると、＋－分、＋があると＋分のみ拡張されます）

フェーズ変数１は、＋１Dayに跨っており、フェーズ変数２は、－１Dayに跨っています。

注意点は、フェーズ変数１を最終日には置けません。また、フェーズ変数１は、最初の日には置けません。フェーズ変数の定義は、各要素のANDです。フェーズ１を最終日に予定として置いたとすると、＋１Day日は、定義不能ですからANDは成立しません。ハード予定として記述することは、成立することを要求しているので、矛盾となり、解はありません。

上で早番や、夜勤は、上記フェーズ変数と同じように＋-1Dayを定義していますが、こちらは最終日や初日に予定として置いても問題なく動作します。