[論文レビュー] A Graph Reduction Step Preserving Element-Connectivity and Applications

Chandra Chekuri, Nitish Korula|ArXiv.org|Feb 16, 2009

Advanced Graph Theory Research参考文献 26被引用数 9

ひとこと要約

この論文は、無向グラフにおける局所的要素連結性を保つグラフ簡約ステップを導入し、要素素性の異なるスティーナー木のパッキングおよびシングルシンク $k$-頂点連結性問題の解法を改善する。主な貢献は、各端子集合が $k$-要素連結である場合、一般のグラフでは $\Omega(k/\log h \log m)$ 個の要素素性の異なるスティーナー木が存在することを示し、平面グラフでは $\Omega(k)$ 個が存在することを示しており、構成的多項式時間アルゴリズムが提供されている。

ABSTRACT

Given an undirected graph G=(V,E) and subset of terminals T \subseteq V, the element-connectivity of two terminals u,v \in T is the maximum number of u-v paths that are pairwise disjoint in both edges and non-terminals V \setminus T (the paths need not be disjoint in terminals). Element-connectivity is more general than edge-connectivity and less general than vertex-connectivity. Hind and Oellermann gave a graph reduction step that preserves the global element-connectivity of the graph. We show that this step also preserves local connectivity, that is, all the pairwise element-connectivities of the terminals. We give two applications of this reduction step to connectivity and network design problems: 1. Given a graph G and disjoint terminal sets T_1, T_2, ..., T_m, we seek a maximum number of element-disjoint Steiner forests where each forest connects each T_i. We prove that if each T_i is k-element-connected then there exist Ω(\frac{k}{\log h \log m}) element-disjoint Steiner forests, where h = |\bigcup_i T_i|. If G is planar (or more generally, has fixed genus), we show that there exist Ω(k) Steiner forests. Our proofs are constructive, giving poly-time algorithms to find these forests; these are the first non-trivial algorithms for packing element-disjoint Steiner Forests. 2. We give a very short and intuitive proof of a spider-decomposition theorem of Chuzhoy and Khanna in the context of the single-sink k-vertex-connectivity problem; this yields a simple and alternative analysis of an O(k \log n) approximation. Our results highlight the effectiveness of the element-connectivity reduction step; we believe it will find more applications in the future.

研究の動機と目的

• ヒンドとオエラーーマンの要素連結性簡約ステップを拡張し、グローバルな連結性に加え、局所的（つまり、すべての端子ペア間の）要素連結性を保つこと。
• 各端子集合が $k$-要素連結であるグラフにおける、要素素性の異なるスティーナー木のパッキングのための構成的アルゴリズムの開発。
• シングルシンク $k$-頂点連結性問題におけるスパイダードエコンポジション定理の新しい直感的な証明の提供。
• 辺連結性と頂点連結性の間のブリッジとして要素連結性を用いることで、ネットワーク設計問題の近似比を改善すること。
• 将来的な連結性およびネットワーク設計分野への応用を踏まえた、簡約ステップの可能性の探求。

提案手法

• すべての端子ペア間の対ごとの要素連結性を保つ新しい簡約ステップを導入し、従来のグローバル連結性のみを保つ手法を一般化する。
• 反復的な木の構築過程で端子間のパス共有を管理するため、有向衝突グラフに着色に基づく議論を用いる。
• 構造的補題（補題 4.3）を適用し、各端子から部分集合の端子への低コストで内部素性の異なるパスを特定し、非端子の過剰使用を避けるためにトリミングを行う。
• 各端子ペアごとにパスの端点を制御する境界を維持しながら、$k$-要素連結部分グラフを反復的に構築する。
• 平面グラフの構造を活用し、固定ジェネスの性質を用いて $\Omega(k)$ 個の要素素性の異なるスティーナー木が存在することを示す。
• 端子の依存関係を $2k-2$-退化有向グラフとしてモデル化することで、スパイダードエコンポジション定理の短く直感的な証明を提供する。

実験結果

リサーチクエスチョン

• RQ1 要素連結性簡約ステップを、グローバル連結性に加え、すべての端子ペア間の局所的連結性（つまり、すべての対ごとの要素連結性）を保つように拡張できるか？
• RQ2 各端子集合が $k$-要素連結である場合、一般のグラフにおいて、要素素性の異なるスティーナー木を最大で何個パッキングできるか？
• RQ3 一般のグラフにおける $\Omega(k/\log h \log m)$ の境界を $\Omega(k/\log |T|)$ に改善できるか？
• RQ4 平面グラフにおいて、$k$-要素連結性のもとで $\Omega(k)$ 個の要素素性の異なるスティーナー木が存在するか？
• RQ5 $O(k\log n)$ 近似解を得るためのシングルシンク $k$-頂点連結性問題の再考として、より単純で連結性を保つ簡約による再導出は可能か？

主な発見

• 論文は、各端子集合 $T_i$ が $k$-要素連結である場合、一般のグラフでは $\Omega(k/\log h \log m)$ 個の要素素性の異なるスティーナー木が存在することを示している。ここで $h = |\bigcup_i T_i|$ である。
• 平面グラフ（または固定ジェネスのグラフ）では、要素素性の異なるスティーナー木の数は $\Omega(k)$ であり、一般の場合に比べて顕著に向上している。
• 簡約ステップは局所的要素連結性を保つため、多項式時間アルゴリズムにより $\Omega(k/\log h \log m)$ 個の要素素性の異なる木が構築可能である。
• スパイダードエコンポジション定理の新しい短い証明が与えられ、これによりシングルシンク $k$-頂点連結性問題に対する簡単な $O(k\log n)$-近似が得られる。
• 手法は構成的である：すべての境界は、実際に必要な木を明示的に構築する多項式時間アルゴリズムにより達成されている。
• 結果から、要素連結性簡約ステップは、ネットワーク設計や連結性問題への応用において広範に有用な強力なツールである可能性を示唆している。