TY - JOUR

T1 - Approximation algorithm for k-node connected subgraphs via critical graphs

AU - Kortsarz, G.

AU - Nutov, Zeev

N1 - Copyright:
Copyright 2020 Elsevier B.V., All rights reserved.

PY - 2004

Y1 - 2004

N2 - We present two new approximation algorithms for the problem of finding a k-node connected spanning subgraph (directed or undirected) of minimum cost. The best known approximation guarantees for this problem were O(min{k, n/√n-k}) for both directed and undirected graphs, and O(ln k) for undirected graphs with n ≥ 6k2, where n is the number of nodes in the input graph. Our first algorithm has approximation ratio O(k/n-k ln 2 k), which is O(ln2 k) except for very large values of k, namely, k = n - o(n). This algorithm is based on a new result on ℓ-connected p-critical graphs, which is of independent interest in the context of graph theory. Our second algorithm uses the primal-dual method and has approximation ratio O(√n ln k) for all values of n, k. Combining these two gives an algorithm with approximation ratio O(ln k · min{√k, k/n-k ln k}), which asymptotically improves the best known approximation guarantee for directed graphs for all values of n, k, and for undirected graphs for k > √n/6. Moreover, this is the first algorithm that has an approximation guarantee better than Θ(k) for all values of n, k. Our approximation ratio also provides an upper bound on the integrality gap of the standard LP-relaxation to the problem. As a byproduct, we also get the following result which is of independent interest. To get a faster implementation of our algorithms, we consider the problem of adding a minimum-cost edge set to increase the outconnectivity of a directed graph by Δ; a graph is said to be ℓ-outconnected from its node r if it contains l ℓ internally disjoint paths from r to any other node. The best known time complexity for the later problem is O(m3). For the particular case of Δ = 1, we give a primal-dual algorithm with running time O(m2).

AB - We present two new approximation algorithms for the problem of finding a k-node connected spanning subgraph (directed or undirected) of minimum cost. The best known approximation guarantees for this problem were O(min{k, n/√n-k}) for both directed and undirected graphs, and O(ln k) for undirected graphs with n ≥ 6k2, where n is the number of nodes in the input graph. Our first algorithm has approximation ratio O(k/n-k ln 2 k), which is O(ln2 k) except for very large values of k, namely, k = n - o(n). This algorithm is based on a new result on ℓ-connected p-critical graphs, which is of independent interest in the context of graph theory. Our second algorithm uses the primal-dual method and has approximation ratio O(√n ln k) for all values of n, k. Combining these two gives an algorithm with approximation ratio O(ln k · min{√k, k/n-k ln k}), which asymptotically improves the best known approximation guarantee for directed graphs for all values of n, k, and for undirected graphs for k > √n/6. Moreover, this is the first algorithm that has an approximation guarantee better than Θ(k) for all values of n, k. Our approximation ratio also provides an upper bound on the integrality gap of the standard LP-relaxation to the problem. As a byproduct, we also get the following result which is of independent interest. To get a faster implementation of our algorithms, we consider the problem of adding a minimum-cost edge set to increase the outconnectivity of a directed graph by Δ; a graph is said to be ℓ-outconnected from its node r if it contains l ℓ internally disjoint paths from r to any other node. The best known time complexity for the later problem is O(m3). For the particular case of Δ = 1, we give a primal-dual algorithm with running time O(m2).

KW - Algorithms

UR - http://www.scopus.com/inward/record.url?scp=4544293736&partnerID=8YFLogxK

U2 - 10.1145/1007352.1007381

DO - 10.1145/1007352.1007381

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.conferencearticle???

AN - SCOPUS:4544293736

SN - 0734-9025

SP - 138

EP - 145

JO - Conference Proceedings of the Annual ACM Symposium on Theory of Computing

JF - Conference Proceedings of the Annual ACM Symposium on Theory of Computing

T2 - Proceedings of the 36th Annual ACM Symposium on Theory of Computing

Y2 - 13 June 2004 through 15 June 2004

ER -