[論文レビュー] Solving Assembly Line Balancing Problems by Combining IP and CP

Alexander Bockmayr, Nicolai Pisaruk|ArXiv.org|Jun 1, 2001

Assembly Line Balancing OptimizationEngineering参考文献 14被引用数 22

ひとこと要約

本稿では、整数プログラミング（IP）と制約プログラミング（CP）を組み合わせたハイブリッドアルゴリズムを提案し、単純な組立ラインバランシング問題（SALBP）を解く。ブランチアンドカットに妥当な不等式を適用し、CPに基づくドメイン削減を組み合わせることで、探索空間を著しく削減する。主な貢献は、IPによるカット生成とCPによるドメイン削減を交互に実行する協調フレームワークであり、変数ドメインを最大85％まで縮小し、従来解けなかったインスタンスを数時間で解けるようにし、単独のIPやCPを上回る性能を発揮する。

ABSTRACT

Assembly line balancing problems consist in partitioning the work necessary to assemble a number of products among different stations of an assembly line. We present a hybrid approach for solving such problems, which combines constraint programming and integer programming.

研究の動機と目的

• 先行順序制約とステーション容量制限を伴うNP困難な単純な組立ラインバランシング問題（SALBP）に対処すること。
• 整数プログラミング（IP）と制約プログラミング（CP）を統合し、探索木の刈り込みを向上させ、解法の効率を向上させること。
• IPがカットを生成し、CPがドメイン削減を実行する協調フレームワークを構築し、問題サイズの縮小を促進すること。
• ベンチマークインスタンスにおけるハイブリダイゼーションの有効性を評価すること、特に困難または大規模な問題に対して。
• 複雑な付加制約を含む実世界の組立ライン問題にスケーラブルなモデリングプラットフォームを提供すること。

提案手法

• タスクjがステーションiに割り当てられるかどうかを示すバイナリ変数xijを用いてSALBPを整数計画問題として定式化し、割り当て制約、容量制約、先行順序制約を課す。
• 分数解を除外するために、リフトドカバー不等式および(1,d)-コンフィギュレーション不等式を用いたブランチアンドカット手法を適用し、IP緩和問題を強化する。
• タスクjの開始時刻を表すドメイン変数startjを用いたCPモデルを構築し、ドメインフィルタリングにより先行順序制約とステーション容量制約を強制する。
• 二段階の協調処理を実装する：第一に、CP伝播により変数ドメインを縮小する。第二に、ドメイン制限付きの変数で緩和されたサブ問題をIPで解く。
• IPのLP緩和解を基にCPラベル付けをガイドする：各タスクについて、LP値を用いて有効なステーションを特定し、CPによる伝播でドメインを固定する。
• LP解の「丸め込み」を導入し、サポート集合に基づくCPモデルを構築し、限定的なラベル付けを実行して妥当解を探索する。

実験結果

リサーチクエスチョン

• RQ1 IPとCPを組み合わせることで、協調的刈り込みによってSALBPにおける探索空間を著しく削減できるか？
• RQ2 ブランチアンドカットのカットとCP伝播を統合することで、変数ドメインの縮小が進み、困難なインスタンスの解法が可能になるか？
• RQ3 先行順序制約がきついベンチマークSALBPインスタンスにおいて、ハイブリッドアプローチが単独のIPまたはCPを上回るか？
• RQ4 ハイブリッドソルバは、標準SALBPを越えた実世界の付加制約をどの程度処理できるか？
• RQ5 Warnecke (73-22)のような標準ベンチマークから未解決であったインスタンスを、実用的な時間制限内に解けるか？

主な発見

• Sawyer30 (47-7) などのインスタンスでは、変数ドメインの合計数（|Sj|の和）が210から33にまで85％まで削減された。
• 難易度の高いインスタンスWarnecke (73-22) では、ハイブリッドソルバが1時間36分で完了したが、単独のIPまたはCPでは1時間以内に解けなかった。
• 標準カットに加え、生成されたカットをすべて使用したLPサブ問題では、標準カットのみを使用した場合よりもドメインサイズがより効果的に縮小された。
• CP伝播による問題の縮小のみでも、ドメインサイズは顕著に縮小され、Lutz3 (118-14) では初期割り当て数が1246から285に減少した。
• Tonge70 (251-14) では、CPと標準カットを適用した後、ドメイン合計値が980から394にまで減少し、探索空間が90％削減された。
• IPとCPの協調は不可欠であった：最も困難なインスタンスについては、いずれのソルバ単体でも実用的な時間制限内に解けなかった。