[論文レビュー] Solution of a bilevel optimistic scheduling problem on parallel machines

Quentin Schau, Olivier Ploton+4 more|arXiv (Cornell University)|Mar 5, 2026

Optimization and Variational Analysis被引用数 0

ひとこと要約

この論文は、均一並列機械での二速を前提とする双レベルの楽観的スケジューリング問題を研究し、強NP難易度を証明するとともに、MIP、列生成を組み込んだ支配探索法、ならびに固定機械数に対する動的計画法を提案する。

ABSTRACT

We consider the uniform parallel machines scheduling problem in the context of optimistic bilevel optimization, where two speed options are considered. In this scenario, the leader aims to minimize the weighted number of tardy jobs, while the follower seeks to minimize the total completion time on a set of uniform machines. This problem has practical applications in Industry 4.0. We show that this problem is NP-hard in the strong sense by providing a reduction from the Numerical 3-Dimensional Matching problem and we provide a moderately exponential-time dynamic programming algorithm. The problem is solved by means of a concise MIP formulation and a branch-and-bound algorithm that embeds a column generation approach for the lower bound computation. Computational experiments are presented for instances with up to 80 jobs and 4 machines while larger problems are out of reach for the proposed approaches.

研究の動機と目的

• 二速を持つ均一並列機械上の双レベル楽観的スケジューリング問題の複雑性と構造を理解する。
• 正確解法を開発する（MIP、列生成付きの分枝限定法）と、扱いやすいインスタンス向けの動的計画法を開発する。
• 問題の難しさを明確にするための複雑性証明を提供し、実用的なインスタンスサイズに対するアルゴリズム戦略を特定する。
• メンテナンス決定（機械速度）がフォロワーのスケジューリングとどのように相互作用して遅延と総完成時間を最小化するかについて洞察を提供する。）

提案手法

• リーダーがジョブのサブセットを選択し、フォロワーが二つの機械速度の下で総完成時間を最小化する双レベル問題を定式化する。
• フォロワー問題がブロック構造を持つことで最適化可能となり、特定の処理時間仮定の下で二速に対してO(n log n)解が得られることを示す。
• 双レベル問題を捉える、O(N(n+m))個の変数とO(N^2 + Nm^2)個の制約を持つ簡潔な混合整数プログラミング（MIP）モデルを開発する。
• 列生成アプローチを組み込んだ分枝限定法を組み込み、フォロワー問題に対する強い下界を計算する。
• 機械数mが固定された場合に、ブロック構造を利用して双レベル問題を扱う、適度に指数時間の動的計画法アルゴリズムを提案する。
• NUM-3DMからの還元を用いて強NP難易度を確立し、双レベル定式化の強い意味でのNP-hardnessを示す。

実験結果

リサーチクエスチョン

• RQ1 均一並列機械上の二速を持つ双レベル楽観的スケジューリング問題は、強くNP困難か？
• RQ2 下界を与える列生成付きの分枝限定法と共に、コンパクトなMIP定式化で問題を正確に解けるか？
• RQ3 フォロワー問題の計算実行可能性はいかほどか、二速ブロック構造を動的計画法で活用できるか？
• RQ4 インスタンスサイズ（ジョブ数、機械数）の拡大に対して正解解法はどの程度スケールするか、実用的な限界はどうなるか？

主な発見

• 二速を持つ双レベル楽観的スケジューリング問題は強くNP難易度である。
• Numerical 3-Dimensional Matching からの多項式時間還元が双レベル定式化の難易度を証明する。
• フォロワー問題は二速の場合にはO(n log n)時間で解け、任意の処理時間の場合には一般にNP-hardのままである。
• 双レベル問題をモデル化するための、多項式個の変数/制約を持つ簡潔なMIP定式化。
• 列生成による下界を組み込んだ分枝限定法は、最大80ジョブ・4機械程度のインスタンス解決を大幅に支援するが、より大きなインスタンスは依然として難しい。
• ブロック構造を利用した、固定された機械数に対する適度に指数時間の動的計画法アプローチを提案する。