[論文レビュー] Improved Approximation for Node-Disjoint Paths in Planar Graphs

Julia Chuzhoy, David H. K. Kim+1 more|arXiv (Cornell University)|Mar 17, 2016

Complexity and Algorithms in Graphs参考文献 13被引用数 7

ひとこと要約

本稿は、平面グラフにおけるノード素性パス（NDP）問題のための、長年の $O(\sqrt{n})$ バrierを破る最初の近似アルゴリズムを提示する。新たな線形計画法緩和と、ディスクおよびシリンダー部分問題への構造的分解を導入することで、$\tilde{O}(n^{9/19})$-近似を達成し、従来の境界を著しく改善し、整数性ギャップの制限を回避するための新たなアプローチを示している。

ABSTRACT

We study the classical Node-Disjoint Paths (NDP) problem: given an $n$-vertex graph $G$ and a collection $M=\{(s_1,t_1),\ldots,(s_k,t_k)\}$ of pairs of vertices of $G$ called demand pairs, find a maximum-cardinality set of node-disjoint paths connecting the demand pairs. NDP is one of the most basic routing problems, that has been studied extensively. Despite this, there are still wide gaps in our understanding of its approximability: the best currently known upper bound of $O(\sqrt n)$ on its approximation ratio is achieved via a simple greedy algorithm, while the best current negative result shows that the problem does not have a better than $Ω(\log^{1/2-δ}n)$-approximation for any constant $δ$, under standard complexity assumptions. Even for planar graphs no better approximation algorithms are known, and to the best of our knowledge, the best negative bound is APX-hardness. Perhaps the biggest obstacle to obtaining better approximation algorithms for NDP is that most currently known approximation algorithms for this type of problems rely on the standard multicommodity flow relaxation, whose integrality gap is $Ω(\sqrt n)$ for NDP, even in planar graphs. In this paper, we break the barrier of $O(\sqrt n)$ on the approximability of the NDP problem in planar graphs and obtain an $ ilde O(n^{9/19})$-approximation. We introduce a new linear programming relaxation of the problem, and a number of new techniques, that we hope will be helpful in designing more powerful algorithms for this and related problems.

研究の動機と目的

• 平面グラフにおけるノード素性パス（NDP）問題の $O(\sqrt{n})$ 近似バリアを、長年の研究にもかかわらず未解決のままにしている状況を打ち破ること。
• 標準のマルチコミmodityフロー緩和に内在する $\Omega(\sqrt{n})$ 整数性ギャップを回避する新しい線形計画法緩和を設計すること。
• 平面NDPインスタンスをディスクおよびシリンダー上の構造的サブプロブレムに分解する、画期的なアルゴリズムフレームワークを設計すること。
• NDP-Planarに対して、$O(\sqrt{n})$ よりも優れた近似比を確実に達成することにより、ネットワークルーティングおよび近似アルゴリズム分野における最先端技術を前進させること。
• 今後のNDPおよび関連問題の近似における、平面的・構造的グラフ族への改善の基盤を提供すること。

提案手法

• 著者らは、標準のマルチコミmodityフローとは異なり、平面グラフの構造的性質を捉える新しいNDP-Planar用線形計画法緩和を導入する。
• 彼らは、需要ペアを制御されたフロー寄与を持つコンポーネントに分割する定理を用いて、入力インスタンスをwell-linkedサブプロブレムに分解する。
• 各サブプロブレムに対して、ディスク上およびシリンダー上でのNDPの特殊な近似アルゴリズムを適用し、既知の正確な特徴付けと効率的なルーティングアルゴリズムを活用する。
• アルゴリズムは、ノード素性パスを定数割合でルーティング可能なタイプ1インスタンスと、大きな部分集合の最適値が小さいタイプ2インスタンスを区別する。
• 重要なステップとして、LP定式化における違反制約を繰り返し特定し、フロー分解と経路選択を用いて解を精錬する。
• 最終的な近似保証は、タイプ1インスタンスからのルーティング結果と、タイプ2インスタンスからの構造的知見を組み合わせることで得られ、$\Omega(\text{OPT}^{1/19}/\text{poly}\log n)$ のルーティング下限を活用する。

実験結果

リサーチクエスチョン

• RQ1 新しいアルゴリズム的技術を用いて、平面グラフにおけるNDPの $O(\sqrt{n})$ 近似バリアを打ち破ることは可能か？
• RQ2 標準のマルチコミmodityフロー緩和に内在する $\Omega(\sqrt{n})$ 整数性ギャップを回避できる、NDP-Planar用の新しい線形計画法緩和を設計することは可能か？
• RQ3 ディスクおよびシリンダーへの構造的分解は、平面グラフにおける改善されたルーティング近似を可能にするか？
• RQ4 NDP-Planarの達成可能な最良の近似比は何か？ また、$\tilde{O}(n^{9/19})$ を超えて改善可能か？
• RQ5 ディスク上およびシリンダー上でのNDPの最適化版はNP困難か、それとも多項式より良い近似比が得られるか？

主な発見

• 本稿は、平面グラフにおけるノード素性パス問題に対して、$\tilde{O}(n^{9/19})$-近似を達成し、長年の $O(\sqrt{n})$ バリアを破った。
• アルゴリズムは、$\Omega\left(\frac{\mathsf{OPT}^{1/19}}{\operatorname{poly}\log n}\right)$ 個の需要ペアを効率的にルーティングでき、最適解に対する解の品質の非自明な下限を提供する。
• 新たなLP緩和は、平面グラフにおいて標準のマルチコミmodityフロー緩和が抱える $\Omega(\sqrt{n})$ 整数性ギャップを効果的に回避した。
• well-linkedコンポーネントへの構造的分解により、最適解がフロー値に対して小さいインスタンスを処理でき、制約違反の検出と精錬が可能になった。
• NDP-Gridにおける $\tilde{O}(n^{1/4})$-近似の知見を一般化し、関連するルーティング問題のアルゴリズム改善への道筋を示唆している。
• 本研究は、特にディスクやシリンダーなどの幾何的・位相的構造を活用する平面グラフにおける近似アルゴリズム分野に、新たな研究方向性を開いた。