A 4/3-Approximation Algorithm for the Minimum 2-Edge Connected Multisubgraph Problem in the Half-Integral Case

Given a connected undirected graph $\bar{G}$ on $n$ vertices, and non-negative edge costs $c$, the 2ECM problem is that of finding a $2$-edge~connected spanning multisubgraph of $\bar{G}$ of minimum cost. The natural linear program (LP) for 2ECM, which coincides with the subtour LP for the Traveling Salesman Problem on the metric closure of $\bar{G}$, gives a lower bound on the optimal cost. For instances where this LP is optimized by a half-integral solution $x$, Carr and Ravi (1998) showed that the integrality gap is at most $\frac43$: they show that the vector $\frac43 x$ dominates a convex combination of incidence vectors of $2$-edge connected spanning multisubgraphs of $\bar{G}$. We present a simpler proof of the result due to Carr and Ravi by applying an extension of Lovasz's splitting-off theorem. Our proof naturally leads to a $\frac43$-approximation algorithm for half-integral instances. Given a half-integral solution $x$ to the LP for 2ECM, we give an $O(n^2)$-time algorithm to obtain a $2$-edge connected spanning multisubgraph of $\bar{G}$ whose cost is at most $\frac43 c^T x$.

[1]  Michel X. Goemans,et al.  Survivable networks, linear programming relaxations and the parsimonious property , 1993, Math. Program..

[2]  Robert D. Carr,et al.  Randomized metarounding , 2002, Random Struct. Algorithms.

[3]  Robert D. Carr,et al.  On the Held-Karp relaxation for the asymmetric and symmetric traveling salesman problems , 2004, Math. Program..

[4]  Philippe Legault Towards New Bounds for the 2-Edge Connected Spanning Subgraph Problem , 2017 .

[5]  David P. Williamson,et al.  Analyzing the Held-Karp TSP Bound: A Monotonicity Property with Application , 1990, Inf. Process. Lett..

[6]  L. Wolsey Heuristic analysis, linear programming and branch and bound , 1980 .

[7]  Mikkel Thorup,et al.  Fully-dynamic min-cut , 2001, STOC '01.

[8]  Chaitanya Swamy,et al.  Facility Location with Client Latencies: LP-Based Techniques for Minimum-Latency Problems , 2016, Math. Oper. Res..

[9]  Kamal Jain,et al.  A Factor 2 Approximation Algorithm for the Generalized Steiner Network Problem , 1998, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).

[10]  J. G. Pierce,et al.  Geometric Algorithms and Combinatorial Optimization , 2016 .

[11]  Anna R. Karlin,et al.  An improved approximation algorithm for TSP in the half integral case , 2019, STOC.

[12]  Paul Elliott-Magwood,et al.  On the Integrality Gap of the 2-Edge Connected Subgraph Problem ∗ , 2006 .

[13]  David Eppstein,et al.  Sparsification—a technique for speeding up dynamic graph algorithms , 1997, JACM.

[14]  Jens Vygen,et al.  Shorter tours by nicer ears: 7/5-approximation for the graph-TSP, 3/2 for the path version, and 4/3 for two-edge-connected subgraphs , 2012, ArXiv.

[15]  Philippe Legault An Upper Bound of 7n/6 for the Minimum Size 2EC on Cubic 3-Edge Connected Graphs , 2017, ArXiv.

[16]  R. Ravi,et al.  A New Bound for the 2-Edge Connected Subgraph Problem , 1998, IPCO.

[17]  Tibor Jordán,et al.  Edge-connectivity augmentation with partition constraints , 1998, SODA '98.

[18]  R. Ravi,et al.  Shorter tours and longer detours: uniform covers and a bit beyond , 2021, Math. Program..

[19]  Xiaorui Sun,et al.  Fully Dynamic c-Edge Connectivity in Subpolynomial Time , 2020, ArXiv.

[20]  Sylvia C. Boyd,et al.  Toward a 6/5 Bound for the Minimum Cost 2-Edge Connected Spanning Subgraph , 2017, SIAM J. Discret. Math..

[21]  David P. Williamson,et al.  2-Matchings, the Traveling Salesman Problem, and the Subtour LP: A Proof of the Boyd-Carr Conjecture , 2014, Math. Oper. Res..

[22]  Mohammad R. Salavatipour,et al.  Packing Steiner trees , 2003, SODA '03.

[23]  Arash Haddadan,et al.  Efficient constructions of convex combinations for 2-edge-connected subgraphs on fundamental classes , 2018, 1811.09906.

[24]  Yu Sun,et al.  A -approximation for subcubic 2EC using circulations and obliged edges , 2016, Discret. Appl. Math..

[25]  A. Haddadan New Bounds on Integrality Gaps by Constructing Convex Combinations , 2020 .

[26]  Satoru Iwata,et al.  Finding 2-Factors Closer to TSP Tours in Cubic Graphs , 2013, SIAM J. Discret. Math..

[27]  A. Frank Connections in Combinatorial Optimization , 2011 .

[28]  Chaitanya Swamy,et al.  Truthful and near-optimal mechanism design via linear programming , 2005, 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05).