[論文レビュー] Network Design Problems with Bounded Distances via Shallow-Light Steiner Trees

Markus Chimani, Joachim Spoerhase|arXiv (Cornell University)|Sep 23, 2014

VLSI and FPGA Design Techniques被引用数 5

ひとこと要約

本稿では、有向グラフにおける3つのNP困難なネットワーク設計問題である、有界対間距離を伴うネットワーク設計、有向シャロウライトスティーナー木、および軽量有向αスパンナのための、初めての非自明な二基準近似アルゴリズムを提示する。本研究は、LPラウンディングと再帰的木構築を組み合わせた新規な二段階的手法を活用し、コストとストレッチの間の改善されたトレードオフを実現する。距離制約をわずかに超過するが、有界距離ネットワーク設計に対して(2+ε, O(n^{0.5+ε}))-近似、シャロウライトスティーナー木に対して(1+ε, |R|^ε)-近似を達成する。

ABSTRACT

In a directed graph $G$ with non-correlated edge lengths and costs, the \emph{network design problem with bounded distances} asks for a cost-minimal spanning subgraph subject to a length bound for all node pairs. We give a bi-criteria $(2+\varepsilon,O(n^{0.5+\varepsilon}))$-approximation for this problem. This improves on the currently best known linear approximation bound, at the cost of violating the distance bound by a factor of at most~$2+\varepsilon$. In the course of proving this result, the related problem of \emph{directed shallow-light Steiner trees} arises as a subproblem. In the context of directed graphs, approximations to this problem have been elusive. We present the first non-trivial result by proposing a $(1+\varepsilon,O(|R|^{\varepsilon}))$-ap\-proxi\-ma\-tion, where $R$ are the terminals. Finally, we show how to apply our results to obtain an $(α+\varepsilon,O(n^{0.5+\varepsilon}))$-approximation for \emph{light-weight directed $α$-spanners}. For this, no non-trivial approximation algorithm has been known before. All running times depends on $n$ and $\varepsilon$ and are polynomial in $n$ for any fixed $\varepsilon>0$.

研究の動機と目的

• 有界対間距離を伴う有向ネットワーク設計のための効率的な近似アルゴリズムを設計するという長年の未解決問題に取り組む。これは、従来、線形近似比しか得られていなかった。
• 理論的および実用的意義が極めて高いが、その効果的な解法が知られていなかった有向シャロウライトスティーナー木問題に対する、初めての非自明な近似を提供する。
• 本研究の結果を、これまで非自明な近似アルゴリズムが知られていなかった軽量有 directed α-spanner 問題へと拡張する。
• 距離制約をわずかに緩和することで、コストとストレッチの間のより優れたトレードオフを達成し、従来不可能であったより良い近似比を実現する。

提案手法

• ノードのペアを、その潜在的最短路部分グラフのサイズに基づいて「スリム」または「ドライバー」と分類する二段階のアルゴリズムフレームワークを採用する。
• スリムペアに対しては、必要なカットをカバーするためのLPラウンディングを用い、最小コストで距離制約を満たす。
• ドライバーペアに対しては、O(√n log n)個のノードをサンプリングし、各サンプルノードを根とする浅いライトスティーナー木（インツリーおよびアウトツリー）を構築して、長距離接続をカバーする。
• 動的計画法をレベルごとに適用し、コストを最小化しつつ長さ制約を満たすように、近似されたシャロウライトスティーナー木を再帰的に計算するプロシージャを設計する。
• 最短路計算のための完全多項式時間近似スキーム（FPTAS）を活用し、階層的木構築プロセスに統合することで、コストとストレッチを両方とも制御する。
• 最終的な解は複数のシャロウライトツリーの結合であり、確率的議論により、ストレッチ違反が生じても、すべてのドライバーペアが高確率でカバーされることを示す。

実験結果

リサーチクエスチョン

• RQ1 有界対間距離を伴う有向ネットワーク設計問題に対して、非自明な二基準近似が達成可能か。これは、従来の線形近似比を上回る。
• RQ2 理論的・実用的意義が極めて高いが、その効果的な近似アルゴリズムが長年得られていなかった有向シャロウライトスティーナー木問題に対して、有効なアルゴリズムを設計可能か。
• RQ3 シャロウライト木のための技術を、非自明な近似アルゴリズムが知られていなかった軽量有向αスパンナ問題に拡張可能か。
• RQ4 コスト近似比がnのべき乗でsub-linearに保たれる範囲で、距離制約をどの程度緩和（ストレッチ）できるか。

主な発見

• 本稿では、有界距離を伴う有向ネットワーク設計問題に対して、(2+ε, O(n^{0.5+ε}))-二基準近似を提示し、従来の最高の線形近似を改善する。
• 有向シャロウライトスティーナー木問題に対して、|R|^εのストレッチを伴う最初の非自明な二基準近似(1+ε, |R|^ε)を達成する。ここでRは端末ノードの集合である。
• 軽量有向αスパンナ問題のためのアルゴリズムは、(α+ε, O(n^{0.5+ε}))-二基準近似を達成し、この未解決問題に対する最初の非自明な解を提供する。
• すべてのアルゴリズムは、任意の固定されたε > 0に対して多項式時間で実行可能であり、Lや辺の長さの値に依存しない。
• 本手法は、コストを有界に保ちつつ、スティーナー木部分問題で(1+ε)の長さ制約違反を許容する、新規な再帰的木構築とLPラウンディング戦略に依存する。
• 理論的解析により、サンプリングされたノードからのシャロウライトツリーの集合が、ストレッチ違反が生じても、すべてのドライバーペアを高確率でカバーすることが確認される。