Given an undirected graph G = (V, E) and subset of terminals T ⊆ V , the element-connectivity κ ′ G (u, v) of two terminals u, v ∈ T is the maximum number of u-v paths that are pairwise disjoint in both edges and non-terminals V \ 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 [21] 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.• Given a graph G and disjoint terminal sets T 1 , T 2 , . . . , T m , we seek a maximum number of elementdisjoint Steiner forests where each forest connects eachIf 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.• We give a very short and intuitive proof of a spider-decomposition theorem of Chuzhoy and Khanna [12] 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.
A Graph ReductionStep Preserving Element Connectivity: The well-known splitting-off operation introduced by Lovász [34] is a standard tool in the study of (primarily) edge-connectivity problems. Given an undirected multi-graph G and two edges su and sv incident to s, the splitting-off operation replaces su and sv by the single edge uv. Lovász proved the following theorem on splitting-off to preserve global edge-connectivity.Theorem 1.1 (Lovász). Let G = (V ∪ {s}, E) be an undirected multi-graph in which V is k-edge-connected for some k ≥ 2 and degree of s is even. Then for every edge su there is another edge sv such that V is k-edge-connected after splitting-off su and sv.Mader strengthened the above theorem to show the existence of a pair of edges incident to s that when split-off preserve the local edge-connectivity of the graph.