[论文解读] 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.

研究动机与目标

• 将Hind和Oellermann提出的元素连通性约简步骤扩展，使其不仅保持全局元素连通性，还保持局部元素连通性。
• 为具有 $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 能否通过一种更简单、保持连通性的约简方法，重新推导出单汇点 $k$-顶点连通性的 $O(k\log n)$ 近似解？

主要发现

• 本文证明：若每个终端集合 $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)$-近似算法。
• 该方法具有构造性：所有界限均可通过显式构建所需森林的多项式时间算法实现。
• 结果表明，元素连通性约简步骤是一种强大工具，具有在更广泛的网络设计与连通性问题中应用的潜力。