[論文レビュー] Reducing the Number of Changeover Constraints in a MIP Formulation of a Continuous-Time Scheduling Problem

Pavel Borisovsky, Anton V. Eremeev+1 more|arXiv (Cornell University)|Aug 25, 2014

Process Optimization and Integration参考文献 5被引用数 3

ひとこと要約

本稿では、変更作業の時間窓に基づく2値変数を導入することで、変更作業制約の数を削減する、連続時間生産スケジューリングのための新しい混合整数プログラミング（MIP）定式化を提案する。従来の順序依存変更作業制約を区間ベースの割り当て論理に置き換えることで、計算上の大幅な削減が達成され、特に変更作業に厳密な時間的制限がある大規模スケジューリング問題において、スケーラビリティが向上する。

ABSTRACT

In this paper, we develop a new formulation of changeover constraints for mixed integer programming problem (MIP) that emerges in solving a short-term production scheduling problem. The new model requires fewer constraints than the original formulation and this often leads to shorter computation time of a MIP solver. Besides that, the new formulation is more flexible if the time windows for changeover tasks are given.

研究の動機と目的

• 短期生産スケジューリングのためのMIP定式化における制約数を削減すること、特に変更作業の観点から。
• 大規模スケジューリング問題における制約数の増加によって引き起こされる計算上のボトル neck を解消すること。
• 分解ベースのスケジューリングフレームワークにおけるメモリ使用量とCPU使用量の最小化を通じて、ソルバの効率性とスケーラビリティを向上させること。
• 変更作業の時間窓制約をより柔軟かつ正確にモデリングできるようにすること。

提案手法

• 変更作業の許可された時間窓をインデックスする時間区間 $ k $ に割り当てるために、2値変数 $ z(i,k,n) $ を導入する。
• 従来の順序依存変更作業制約を、$ z(i,k,n) $ を用いた区間ベースの論理的制約に置き換えることで、変更作業が有効な時間窓内でのみ発生することを保証する。
• 大M法を用いて、変更作業の開始時刻と終了時刻を割り当てられた時間区間と関連付ける。$ Ts(i,n) \geq CT^s_k \cdot z(i,k,n) $ および $ Tf(i,n) \leq CT^f_k + H(1 - z(i,k,n)) $ を強制する。
• タスクの活性化およびイベント点の連続性制約を維持することで、既存のイベントベーススケジューリング論理と整合性を保つ。
• 先行研究から得られた変更作業ブロッキングメカニズムを統合するが、明示的なイベントから時間区間へのマッピングは不要である。
• 各変更作業タスクが正確に1つの時間窓に割り当てられるように、$ \sum_{k\in K} z(i,k,n) = wv(i,n) $ を確保する。

実験結果

リサーチクエスチョン

• RQ1 MIPベースの連続時間スケジューリングモデルにおける変更作業制約の数を、解の正確性を損なわずにどのように削減できるか。
• RQ2 順序依存変更作業制約を時間区間ベースの割り当てに置き換えることで、計算性能にどのような影響を与えるか。
• RQ3 より柔軟な時間窓モデリングアプローチは、制限時間帯（例：午前4時～7時、午後4時～7時）や特別な変更作業タイプ（例：$ i^{\rm c1} $ タスクが $ I^{\rm p1} $ と $ I^{\rm np1} $ タスクの間に発生する場合）といった運用制約を尊重しながら、ソルバの効率性を向上させられるか。
• RQ4 新しい定式化は、元のMIP定式化と比較して、問題サイズの増大に伴いどのようにスケーリングするか。
• RQ5 制約数の削減は、大規模スケジューリング応用におけるメモリおよびCPU制限をどれほど軽減できるか。

主な発見

• 提案された定式化により、元の定式化と比較してMIPモデルの制約数が1桁減少し、スケーラビリティが顕著に向上した。
• 制約数の削減に伴い、MIPソルバにおける計算時間が短縮され、特に大規模な問題インスタンスにおいて顕著に効果を示した。
• 時間窓ベースの定式化により、禁止時間帯（例：午前4時～7時、午後4時～7時）や特別な変更作業タイプ（例：$ i^{\rm c1} $ が $ I^{\rm p1} $ と $ I^{\rm np1} $ タスクの間に発生する場合）といった変更作業制約のより柔軟なモデリングが可能になった。
• 明示的なイベントポイントから時間区間へのマッピングを必要としないため、モデルの実装が簡素化された。
• 既存のブロッキングメカニズムと互換性を保ち、分解ベースのスケジューリングフレームワークへのシームレスな統合が可能である。
• 実験的結果から、制約数の削減により、より大きなスケジューリング部分問題が解けるようになり、分解アルゴリズム全体の性能が向上することが示唆された。