未関連マシンの重み付き完了時間の近似化: 反復ラウンディングと計算支援証明の活用

本論文では、従来の強い負の相関スキームを緩和した新しい反復ラウンディングアルゴリズムを提案し、1.36 + ϵ近似アルゴリズムを得ている。アルゴリズムの単純さにより、閉形式の期待重み付き完了時間を導出し、計算支援証明を用いて近似比を解析している。