Approximation algorithm for k-node connected subgraphs via critical graphs

G. Kortsarz, Z. Nutov

Research output: Contribution to journalConference articlepeer-review

7 Scopus citations

Abstract

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).

Original languageEnglish (US)
Pages (from-to)138-145
Number of pages8
JournalConference Proceedings of the Annual ACM Symposium on Theory of Computing
DOIs
StatePublished - 2004
EventProceedings of the 36th Annual ACM Symposium on Theory of Computing - Chicago, IL, United States
Duration: Jun 13 2004Jun 15 2004

All Science Journal Classification (ASJC) codes

  • Software

Keywords

  • Algorithms

Fingerprint

Dive into the research topics of 'Approximation algorithm for k-node connected subgraphs via critical graphs'. Together they form a unique fingerprint.

Cite this