[論文レビュー] Scheduling with Obligatory Tests

Konstantinos Dogeas, Thomas Erlebach+1 more|arXiv (Cornell University)|Jan 1, 2024

Scheduling and Optimization Algorithms被引用数 1

ひとこと要約

本稿は、各ジョブが処理時間の特定前にテスト（所定の所要時間）を受ける必要があるスケジューリング問題を研究している。著者らは、単一マシン上の完了時間の合計を最小化するための1-SORTアルゴリズムを提案し、新しい遅延に基づくグラフ解析を用いて、1.861未満の競合比を証明した。均一なテスト時間の場合は、しきい値に基づくアルゴリズムを提示し、1.585の競合比を達成し、決定的アルゴリズムに対して√2の一致する下界を示した。

ABSTRACT

Motivated by settings such as medical treatments or aircraft maintenance, we consider a scheduling problem with jobs that consist of two operations, a test and a processing part. The time required to execute the test is known in advance while the time required to execute the processing part becomes known only upon completion of the test. We use competitive analysis to study algorithms for minimizing the sum of completion times for $n$ given jobs on a single machine. As our main result, we prove using a novel analysis technique that the natural $1$-SORT algorithm has competitive ratio at most 1.861. For the special case of uniform test times, we show that a simple threshold-based algorithm has competitive ratio at most 1.585. We also prove a lower bound that shows that no deterministic algorithm can be better than $\sqrt{2}$-competitive even in the case of uniform test times.

研究の動機と目的

• 医療診断や航空機整備など、すべてのジョブが処理前にテストを受ける必要があるスケジューリング状況に対処すること。
• 処理時間がテスト後にのみ明らかになる場合に、単一マシン上の完了時間の合計を最小化すること。
• この設定におけるオンラインアルゴリズムの性能を、競合分析を用いて分析すること。
• この問題における既知の上界と下界の間のギャップを埋めること。
• テストを伴うスケジューリングにおける競合比の上限を導くための新しい解析技術を開発すること。

提案手法

• 義務的なテストを想定した(α, β)-SORTの自然な拡張として1-SORTアルゴリズムを提案する。
• 各ジョブペアが遅延を寄与する、新しいグラフベースの解析を導入し、合計完了時間は遅延の合計に処理時間の合計を加えたものに等しいことを示す。
• アルゴリズムのスケジュールにおける遅延と最適スケジュールにおける遅延の比を分析し、高遅延エッジが多数の低遅延エッジによって相殺されることを示す。
• 均一なテスト時間の場合は、Dürrらのしきい値アルゴリズムを適応し、明らかになった処理時間がしきい値未満の場合に直ちに処理部分を実行する。
• Lemma 17を用いた最悪ケースインスタンスの簡略化により、処理時間を0またはyに限定できると仮定し、競合比の解析を単純化する。
• パラメータα（ジョブの割合）およびγ（処理時間0の短いジョブの割合）について、式の最適化を記号計算を用いて行い、競合比を最小化する。

実験結果

リサーチクエスチョン

• RQ1 任意のテスト時間を持つ義務的なテストを伴うスケジューリングにおいて、決定的オンラインアルゴリズムの最良の競合比は何か？
• RQ2 1-SORTアルゴリズムは2未満の競合比を達成できるか？ もしそうなら、どの程度小さいのか？
• RQ3 均一なテスト時間という特殊ケースにおいて、達成可能な最良の競合比は何か？
• RQ4 1-SORTの解析を改善することで、その上界と既知の下界√2とのギャップを埋められるか？
• RQ5 新しい遅延に基づくグラフ解析手法は、テストを伴うスケジューリングの他の変種へ一般化可能か？

主な発見

• 1-SORTアルゴリズムは、任意のテスト時間を持つスケジューリングにおいて、1.861未満の競合比を達成する。
• 均一なテスト時間の場合は、しきい値ベースのアルゴリズムSIDLEが、1.585未満の競合比を達成する。
• 1.585の競合比はタイトであることが、1.58451に近づく最悪ケースインスタンスによって示された。
• 決定的アルゴリズムに対して、均一なテスト時間のケースで√2 ≈ 1.414の下界が証明された。
• 完全なジョブグラフにおけるエッジ遅延を用いた解析手法は、新規であり、標準的手法よりもタイトな競合比の上限を導くことを可能にした。
• 最適なしきい値パラメータy0 ≈ 1.35542は、2y³ − 9y² + 10y − 2の2番目の根として導出され、競合比を最小化する。