A Rounding by Sampling Approach to the Minimum Size k-Arc Connected Subgraph Problem

In the k-arc connected subgraph problem, we are given a directed graph G and an integer k and the goal is the find a subgraph of minimum cost such that there are at least k-arc disjoint paths between any pair of vertices. We give a simple (1+1/k)-approximation to the unweighted variant of the problem, where all arcs of G have the same cost. This improves on the 1+2/k approximation of Gabow et al. [GGTW09]. Similar to the 2-approximation algorithm for this problem [FJ81], our algorithm simply takes the union of a k in-arborescence and a k out-arborescence. The main difference is in the selection of the two arborescences. Here, inspired by the recent applications of the rounding by sampling method (see e.g. [AGM+10, MOS11, OSS11, AKS12]), we select the arborescences randomly by sampling from a distribution on unions of k arborescences that is defined based on an extreme point solution of the linear programming relaxation of the problem. In the analysis, we crucially utilize the sparsity property of the extreme point solution to upper-bound the size of the union of the sampled arborescences. To complement the algorithm, we also show that the integrality gap of the minimum cost strongly connected subgraph problem (i.e., when k=1) is at least 3/2−e, for any e>0. Our integrality gap instance is inspired by the integrality gap example of the asymmetric traveling salesman problem [CGK06], hence providing further evidence of connections between the approximability of the two problems.

[1]  Michel X. Goemans,et al.  On the Integrality Ratio for the Asymmetric Traveling Salesman Problem , 2006, Math. Oper. Res..

[2]  William J. Cook,et al.  Combinatorial optimization , 1997 .

[3]  Kamal Jain A Factor 2 Approximation Algorithm for the Generalized Steiner Network Problem , 2001, Comb..

[4]  Samir Khuller,et al.  On Strongly Connected Digraphs with Bounded Cycle Length , 1996, Discret. Appl. Math..

[5]  Joseph Cheriyan,et al.  Approximating minimum-size k-connected spanning subgraphs via matching , 1996, Proceedings of 37th Conference on Foundations of Computer Science.

[6]  Éva Tardos,et al.  Algorithms for a network design problem with crossing supermodular demands , 2004, Networks.

[7]  Samir Khuller,et al.  Approximating the minimum equivalent digraph , 1994, SODA '94.

[8]  Amin Saberi,et al.  Online stochastic matching: online actions based on offline statistics , 2010, SODA '11.

[9]  Toshihide Ibaraki,et al.  A linear time 5/3-approximation for the minimum strongly-connected spanning subgraph problem , 2003, Inf. Process. Lett..

[10]  Adrian Vetta,et al.  Approximating the minimum strongly connected subgraph via a matching lower bound , 2001, SODA '01.

[11]  Éva Tardos,et al.  Approximating the smallest k‐edge connected spanning subgraph by LP‐rounding , 2005, SODA '05.

[12]  Amin Saberi,et al.  An O(log n/ log log n)-approximation algorithm for the asymmetric traveling salesman problem , 2010, SODA '10.

[13]  D. R. Fulkerson,et al.  On edge-disjoint branchings , 1976, Networks.

[14]  M. R. Rao,et al.  Combinatorial Optimization , 1992, NATO ASI Series.

[15]  Joseph JáJá,et al.  Approximation Algorithms for Several Graph Augmentation Problems , 1981, SIAM J. Comput..

[16]  Harold N. Gabow Special edges, and approximating the smallest directed k-edge connected spanning subgraph , 2004, SODA '04.

[17]  Richard M. Karp,et al.  The Traveling-Salesman Problem and Minimum Spanning Trees , 1970, Oper. Res..

[18]  Harold N. Gabow,et al.  Iterated rounding algorithms for the smallest k-edge connected spanning subgraph , 2008, SODA '08.

[19]  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).

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

[21]  Mohit Singh,et al.  A Randomized Rounding Approach to the Traveling Salesman Problem , 2011, 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science.

[22]  Harold N. Gabow A matroid approach to finding edge connectivity and packing arborescences , 1991, STOC '91.