[論文レビュー] A Constant Factor Approximation Algorithm for Unsplittable Flow on Paths

Paul Bonsma, Jens Schulz+1 more|arXiv (Cornell University)|Jan 1, 2011

Optimization and Search Problems参考文献 25被引用数 1

ひとこと要約

本稿では、パス上の非分割フロー問題（UFPP）に対する、初めての多項式時間定数近似アルゴリズムを提示する。任意の ε > 0 に対して近似比 7 + ε を達成する。この手法は、新規の容量削減フレームワークと、大規模タスクを処理するための幾何的インスピレーションを受ける動的計画法を組み合わせており、最大重み独立長方形集合問題の特殊ケースを最適に解く。さらに、リソース拡張の下では (2 + ε)-近似が達成される。

ABSTRACT

In the unsplittable flow problem on a path, we are given a capacitated path $P$ and $n$ tasks, each task having a demand, a profit, and start and end vertices. The goal is to compute a maximum profit set of tasks, such that for each edge $e$ of $P$, the total demand of selected tasks that use $e$ does not exceed the capacity of $e$. This is a well-studied problem that has been studied under alternative names, such as resource allocation, bandwidth allocation, resource constrained scheduling, temporal knapsack and interval packing. We present a polynomial time constant-factor approximation algorithm for this problem. This improves on the previous best known approximation ratio of $O(\log n)$. The approximation ratio of our algorithm is $7+ε$ for any $ε>0$. We introduce several novel algorithmic techniques, which might be of independent interest: a framework which reduces the problem to instances with a bounded range of capacities, and a new geometrically inspired dynamic program which solves a special case of the maximum weight independent set of rectangles problem to optimality. In the setting of resource augmentation, wherein the capacities can be slightly violated, we give a $(2+ε)$-approximation algorithm. In addition, we show that the problem is strongly NP-hard even if all edge capacities are equal and all demands are either~1,~2, or~3.

研究の動機と目的

• パス上の非分割フロー問題（UFPP）に対する多項式時間定数近似アルゴリズムを開発すること。これは、以前は O(log n) 近似にとどまっていた。
• 動的計画法や LP ラウンディングに依存する従来の手法の制限を克服すること。特に、ノーボトルネック仮定（NBA）に依存し、一般ケースでは失敗する手法の限界を乗り越えること。
• すべての需要が {1, 2, 3} に制限され、すべてのエッジ容量が等しい場合でも、UFPP が強い NP 困難であることを確立すること。
• UFPP の一般化、例えば木構造上やリソース拡張の下での定数近似が可能かどうかを調査すること。

提案手法

• 一般 UFPP インスタンスを、エッジ容量の範囲が有界なインスタンスに還元するフレームワークを導入し、効率的なアルゴリズム処理を可能にする。
• 大規模タスクを処理するために、最大重み独立長方形集合問題の特殊ケースを最適に解く、幾何的インスピレーションを受ける動的計画法を設計する。
• 小規模タスクに対して (α, β)-近似アルゴリズムを用い、それらを統合的な近似フレームワークに統合する。
• リソース拡張を適用し、(2 + ε)-近似を得る。これにより、エッジ容量のわずかな超過を許容する。
• 3-正則グラフ上の最大独立集合問題を、多項式時間変換により UFPP に還元し、整数パラメータが有界であるようにする。

実験結果

リサーチクエスチョン

• RQ1 ノーボトルネック仮定（NBA）を仮定しない一般非分割フロー問題のパス上に対する定数近似アルゴリズムを設計可能か？
• RQ2 需要が {1, 2, 3} に制限され、すべての容量が等しい場合、パス上の非分割フロー問題は強い NP 困難か？
• RQ3 一般ケースにおいて、自然な LP ラクーンの整数性ギャップは定数で抑えられるか、それとも Ω(n) か？
• RQ4 リソース拡張により、UFPP に対して (2 + ε) のようなより良い近似比が達成可能か？
• RQ5 UFPP に開発された手法は、他の幾何的パッキングやスケジューリング問題に一般化可能か？

主な発見

• 本稿では、UFPP に対して多項式時間 (7 + ε)-近似アルゴリズムを提示し、以前の最良の O(log n) 近似比を改善する。
• 著者らは、すべての需要が {1, 2, 3} に含まれ、すべてのエッジ容量が等しい場合でも、UFPP が強い NP 完全であることを証明する。
• 大規模タスクを処理するために、最大重み独立長方形集合問題の特殊ケースを最適に解く新規の幾何的動的計画法が開発された。これは極めて重要である。
• リソース拡張の下では、(2 + ε)-近似アルゴリズムが達成され、ノーボトルネック仮定下での最良既知比と一致する。
• 自然な LP ラクーンの整数性ギャップが NBA を仮定しない一般ケースでは Ω(n) であることが示され、従来の LP ベース手法が一般ケースで失敗する理由が説明される。
• 3-正則グラフ上の最大独立集合問題を UFPP に多項式時間で還元する変換により、整数パラメータが有界であることを用いて、強い NP 困難性が確立された。