[論文レビュー] Improved Bicriteria Existence Theorems for Scheduling

Javed Aslam, April Rasala+2 more|arXiv (Cornell University)|May 10, 2002

Scheduling and Optimization Algorithms参考文献 6被引用数 38

ひとこと要約

この論文は、平均完了時間スケジュールを連続確率密度関数としてモデル化することで、積分計算を用いたブレークポイント最適化を可能にし、二基準スケジューリング近似境界の改善を図っている。任意の ρ∈[0,1] に対して (1+ρ, e^ρ/(e^ρ−1))-近似解が存在することを証明しており、その結果、マックススパンと重み付き完了時間のトレードオフにおいて、(2, 1.582)、(1.695, 2)、(1.806, 1.806) といったより緊密な境界が得られる。

ABSTRACT

Two common objectives for evaluating a schedule are the makespan, or schedule length, and the average completion time. This short note gives improved bounds on the existence of schedules that simultaneously optimize both criteria. In particular, for any rho> 0, there exists a schedule of makespan at most 1+rho times the minimum, with average completion time at most (1-e)^rho times the minimum. The proof uses an infininite-dimensional linear program to generalize and strengthen a previous analysis by Cliff Stein and Joel Wein (1997).

研究の動機と目的

• マックススパンと平均重み付き完了時間の近似境界を精緻化することで、既存の二基準存在定理を改善すること。
• 離散的スケジューリングを連続的確率的枠組みで分析するためのフレームワークを構築し、ブレークポイント選択の最適化を可能にすること。
• スティンとワイン（1997年）らの手法よりも、広範なスケジューリング問題のクラスに対してより緊密な二基準近似保証を確立すること。
• 二基準スケジューリング結果の適用範囲を、巡回修理職人問題やミニサム最適化といった関連問題へ拡張すること。

提案手法

• 最適な平均完了時間スケジュールを連続確率密度関数（pdf）としてモデル化し、重みを正規化して総重み付き完了時間が1になるようにする。
• L が最適マックススパンであるとき、αL にブレークポイントを定義し、その結果得られるスケジュールのマックススパンと平均完了時間を α の関数として分析する。
• αL 以降に完了するジョブを考慮した、pdf と乗数因子 (1+α)/z を含む積分を用いて、ハイブリッドスケジュールの平均完了時間を表現する。
• すべての可能な pdf とブレークポイントに対する最悪ケース性能を、無限次元線形計画問題に帰着する max-min 最適化として定式化する。
• この計画問題の双対を解くことで、マックススパンと平均完了時間の最適トレードオフを達成する最悪ケース pdf f_opt(x) を同定する。
• f_opt(x) が指数的減衰関数と x=ρ におけるディラックのデルタ関数の組み合わせである場合に、最悪ケース積分が最大値に達することを示し、主要結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 複数のブレークポイントを最適化することで、マックススパンと平均重み付き完了時間のためのより緊密な二基準近似境界が達成可能か？
• RQ2 マックススパンが最適値の (1+ρ) 倍以内に制限される場合、マックススパンと平均完了時間の最適トレードオフは何か？
• RQ3 スケジューリングの離散的性質を、連続的確率分布を用いて効果的にモデル化することで、二基準分析を簡素化できるか？
• RQ4 本研究で開発されたフレームワークを、巡回修理職人問題のような他のミニサム最適化問題へ拡張可能か？
• RQ5 広範なスケジューリング問題のクラスにおいて、マックススパンと平均完了時間の両方の近似比で達成可能な最小限の比は何か？

主な発見

• 任意の ρ∈[0,1] に対して、2つの一般的妥当性条件を満たす任意のスケジューリング問題に対して、(1+ρ, e^ρ/(e^ρ−1))-近似スケジュールが存在する。
• e^ρ/(e^ρ−1) の境界は、スティンとワインの (2,2) 構成による平均完了時間の2-近似よりも厳密に優れている。
• 特に、本論文は (2, 1.582)-スケジュール、(1.695, 2)-スケジュール、(1.806, 1.806)-スケジュールの存在を確立しており、先行研究を上回る結果を示している。
• 性能ギャップを最大にする最悪ケース pdf f_opt(x) は、[0,ρ) で指数的減衰と x=ρ におけるディラックのデルタ関数のハイブリッドである。
• この手法はスケジューリングを越えて適用可能であり、巡回セールスマン問題や巡回修理職人問題に対しても (1+α, β)-近似巡回路の存在を示唆している。
• 重み付き完了時間に限らず、∑w_j C_j² などの他のミニサム目的関数に対してもこのフレームワークを拡張可能であり、広範な適用可能性を示している。