TY - JOUR

T1 - Approximating connectivity augmentation problems

AU - Nutov, Zeev

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

PY - 2009/12/1

Y1 - 2009/12/1

N2 - Let G = (V,E) be an undirected graph and let S V. The S-connectivity ΛSG(u,v) of a node pair (u,v) in G is the maximum number of uv-paths that no two of them have an edge or a node in S - {u,v} in common. The corresponding Connectivity Augmentation (CA) problem is: given a graph G = (V,E), a node subset S V, and a nonnegative integer requirement function r(u,v) on V × V, add a minimum size set F of new edges to G so that ΛSG+F(u,v) ≥ r(u,v) for all (u,v) ε V × V. Three extensively studied particular cases are: the Edge-CA (S = Ø), the Node-CA (S = V), and the Element-CA (r(u,v)= 0 whenever u S or v S). A polynomial-time algorithm for Edge-CA was developed by Frank. In this article we consider the Element-CA and the Node-CA, that are NP-hard even for r(u,v) ε {0,2}. The best known ratios for these problems were: 2 for Element-CA and O(rmax · ln n) for Node-CA, where r max = maxu,vεV r(u,v) and n = V. Our main result is a 7/4-approximation algorithm for the Element-CA, improving the previously best known 2-approximation. For Element-CA with r(u,v) ε {0,1,2} we give a 3/2-approximation algorithm. These approximation ratios are based on a new splitting-off theorem, which implies an improved lower bound on the number of edges needed to cover a skew-supermodular set function. For Node-CA we establish the following approximation threshold: Node-CA with r(u,v) ε {0,k} cannot be approximated within O(2log1-εn) for any fixed ε > 0, unless NP ⊆ DTIME(npolylog(n)).

AB - Let G = (V,E) be an undirected graph and let S V. The S-connectivity ΛSG(u,v) of a node pair (u,v) in G is the maximum number of uv-paths that no two of them have an edge or a node in S - {u,v} in common. The corresponding Connectivity Augmentation (CA) problem is: given a graph G = (V,E), a node subset S V, and a nonnegative integer requirement function r(u,v) on V × V, add a minimum size set F of new edges to G so that ΛSG+F(u,v) ≥ r(u,v) for all (u,v) ε V × V. Three extensively studied particular cases are: the Edge-CA (S = Ø), the Node-CA (S = V), and the Element-CA (r(u,v)= 0 whenever u S or v S). A polynomial-time algorithm for Edge-CA was developed by Frank. In this article we consider the Element-CA and the Node-CA, that are NP-hard even for r(u,v) ε {0,2}. The best known ratios for these problems were: 2 for Element-CA and O(rmax · ln n) for Node-CA, where r max = maxu,vεV r(u,v) and n = V. Our main result is a 7/4-approximation algorithm for the Element-CA, improving the previously best known 2-approximation. For Element-CA with r(u,v) ε {0,1,2} we give a 3/2-approximation algorithm. These approximation ratios are based on a new splitting-off theorem, which implies an improved lower bound on the number of edges needed to cover a skew-supermodular set function. For Node-CA we establish the following approximation threshold: Node-CA with r(u,v) ε {0,k} cannot be approximated within O(2log1-εn) for any fixed ε > 0, unless NP ⊆ DTIME(npolylog(n)).

KW - Approximation algorithms

KW - Connectivity augmentation

KW - Element-connectivity

KW - Hardness of approximation

KW - Node-connectivity

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

U2 - 10.1145/1644015.1644020

DO - 10.1145/1644015.1644020

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:74049127921

SN - 1549-6325

VL - 6

JO - ACM Transactions on Algorithms

JF - ACM Transactions on Algorithms

IS - 1

M1 - 5

ER -