[論文レビュー] Nearly Tight Low Stretch Spanning Trees

Ittai Abraham, Yair Bartal+1 more|ArXiv.org|Aug 14, 2008

Complexity and Algorithms in Graphs参考文献 11被引用数 25

ひとこと要約

本稿では、任意のn頂点グラフに対して、すべての辺についてほぼ最適な期待ストレッチO(log n · log log n · (log log log n)^3)を達成するスパニングツリーの新しい確率分布を提示する。この手法は、半径ストレッチを制御するための新しい「ハイウェイ」構成と、分解ストレッチを制御する強力な直径確率的分解を用いた再帰的スターデコンポジションを採用しており、ストレッチ(n)に関する従来の境界を著しく改善する。

ABSTRACT

We prove that any graph $G$ with $n$ points has a distribution $\mathcal{T}$ over spanning trees such that for any edge $(u,v)$ the expected stretch $E_{T \sim \mathcal{T}}[d_T(u,v)/d_G(u,v)]$ is bounded by $ ilde{O}(\log n)$. Our result is obtained via a new approach of building ``highways'' between portals and a new strong diameter probabilistic decomposition theorem.

研究の動機と目的

• ストレッチ(n)の上界を改善すること、すなわち、スパニングツリーの分布の最小値としての任意の辺の最大期待ストレッチの上界を改善すること。
• 従来の再帰的スターデコンポジション技術を凌駕する低ストレッチスパニングツリーを構築するための新しい手法を開発すること。
• 既知のΩ(log n)下界の多対数因子の範囲内でタイトなストレッチ境界を達成すること。

提案手法

• 中心ノードからクラスタ内のすべてのノードへの低ストレッチ経路を維持するための新しい「ハイウェイ」構成を導入し、半径ストレッチをO(log log n)に制限する。
• パラメータǫ ≈ 1/log log nを用いた再帰的スターデコンポジションを採用し、分解ストレッチをlog n / log log nの要因で低減する。
• クラスタ間での辺の分離確率を制御するために、強力な直径確率的分解定理を適用する。
• 中心からの半径成長を制御した選択されたノードを中心にコーンを構築する階層的クラスタリングプロセスを用いる。
• コーン半径の切断された指数分布を用いて、均一なサンプリングと確率的濃縮を保証する。
• 特定の段階における辺が分離される確率を制限するための、コーンメトリックとコーン半径選択の新しい分析を採用する。

実験結果

リサーチクエスチョン

• RQ1 再帰的分解技術を用いて、ストレッチ(n)の境界をO((log n)^2 log log n)を超えて改善できるか？
• RQ2 既知のΩ(log n)下界の多対数因子の範囲内でタイトなストレッチ境界を達成することは可能か？
• RQ3 再帰的スターデコンポジションにおける半径ストレッチを制御することで、超対数的成長を回避できるか？
• RQ4 強力な直径保証を持つ確率的分解を用いることで、スパニングツリー構築における分解ストレッチを改善できるか？
• RQ5 どのようなグラフ構造的性質が、ほぼ最適な期待ストレッチを持つ低ストレッチスパニングツリーの構築を可能にするか？

主な発見

• 本稿では、ストレッチ(n)に対してO(log n · log log n · (log log log n)^3)の新しい上界を確立し、これは多対数因子の範囲でほぼタイトであることを示した。
• 半径ストレッチがO(log log n)に制限されており、従来のO(log n)の半径ストレッチと比べて顕著な改善を示した。
• スターデコンポジションのパラメータにǫ ≈ 1/log log nを用いることで、分解ストレッチが約log n / log log nの要因で低減された。
• 解析により、階層的デコンポジション下で任意の辺(u,v)の期待ストレッチがO(d(u,v) · log |X(i)| / (ǫ∆))で有界であることが示された。
• 強力な直径確率的分解定理が新たに証明され、これは辺の分離確率を制御するために中心的な役割を果たす。
• 本手法は多対数因子の範囲で最適なストレッチ境界を達成し、長年の未解決問題であった低ストレッチスパニングツリー分野における根本的解決を果たした。