Biconnectivity approximations and graph carvings

Samir Khuller, Uzi Vishkin

Research output: Chapter in Book/Report/Conference proceedingConference contribution

17 Scopus citations

Abstract

A spanning tree in a graph is the smallest connected spanning subgraph. Given a graph, how does one find the smallest (i.e., least number of edges) 2-connected spanning subgraph (connectivity refers to both edge and vertex connectivity, if not specified) ? Unfortunately, the problem is known to be NP-hard. We consider the problem of finding an approximation to the smallest 2-connected subgraph, by an efficient algorithm. For 2-edge connectivity our algorithm guarantees a solution that is no more than 3/2 times the optimal. For 2-vertex connectivity our algorithm guarantees a solution that is no more than 5/3 times the optimal. The previous best approximation factor is 2 for each of these problems. The new algorithms (and their analyses) depend upon a structure called a carving of a graph, which is of independent interest. We show that approximating the optimal solution to within an additive constant is NP-hard as well. We also consider the case where the graph has edge weights. We show that an approximation factor of 2 is possible in polynomial time for finding a κ-edge connected spanning subgraph. This improves an approximation factor of 3 for κ = 2 due to [FJ81], and extends it for any κ (with an increased running time though).

Original languageEnglish (US)
Title of host publicationProceedings of the 24th Annual ACM Symposium on Theory of Computing, STOC 1992
PublisherAssociation for Computing Machinery
Pages759-770
Number of pages12
ISBN (Electronic)0897915119
DOIs
StatePublished - Jul 1 1992
Event24th Annual ACM Symposium on Theory of Computing, STOC 1992 - Victoria, Canada
Duration: May 4 1992May 6 1992

Publication series

NameProceedings of the Annual ACM Symposium on Theory of Computing
VolumePart F129722
ISSN (Print)0737-8017

Conference

Conference24th Annual ACM Symposium on Theory of Computing, STOC 1992
Country/TerritoryCanada
CityVictoria
Period5/4/925/6/92

ASJC Scopus subject areas

  • Software

Fingerprint

Dive into the research topics of 'Biconnectivity approximations and graph carvings'. Together they form a unique fingerprint.

Cite this