Near-optimal hardness results and approximation algorithms for edge-disjoint paths and related problems

We study the approximability of edge-disjoint paths and related problems. In the edge-disjoint paths problem (EDP), we are given a network G with source-sink pairs (si; ti), 1 i k, and the goal is to nd a largest subset of source-sink pairs that can be simultaneously connected in an edge-disjoint manner. We show that in directed networks, for any > 0, EDP is NP-hard to approximate within m 1=2 . We also design simple approximation algorithms that achieve essentially matching approximation guarantees for some generalizations of EDP. Another related class of routing problems that we study concerns EDP with the additional constraint that the routing paths be of bounded length. We show that, for any > 0, bounded length EDP is hard to approximate within m 1=2 even in undirected networks, and give an O( p m)-approximation algorithm for it. For directed networks, we show that even the single source-sink pair case (i.e. nd the maximum number of paths of bounded length between a given sourcesink pair) is hard to approximate within m 1=2 , for any > 0.

[1]  Viggo Kann,et al.  Maximum Bounded 3-Dimensional Matching is MAX SNP-Complete , 1991, Inf. Process. Lett..

[2]  Stavros G. Kolliopoulos Improved Approximation Algorithms for Unsplittable Ow Problems , 1997 .

[3]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[4]  Aravind Srinivasan,et al.  Approximation Algorithms for Disjoint Paths and Related Routing and Packing Problems , 2000, Math. Oper. Res..

[5]  William S. Massey,et al.  Algebraic Topology: An Introduction , 1977 .

[6]  Alexander Schrijver,et al.  Paths, Flows, and VLSI-Layout , 1990 .

[7]  Prabhakar Raghavan,et al.  Randomized rounding: A technique for provably good algorithms and algorithmic proofs , 1985, Comb..

[8]  T. C. Hu Multi-Commodity Network Flows , 1963 .

[9]  E. A. Dinic Algorithm for solution of a problem of maximal flow in a network with power estimation , 1970 .

[10]  W. Hoeffding Probability Inequalities for sums of Bounded Random Variables , 1963 .

[11]  Jon M. Kleinberg,et al.  Approximation algorithms for disjoint paths problems , 1996 .

[12]  Clifford Stein,et al.  Approximating Disjoint-Path Problems Using Greedy Algorithms and Packing Integer Programs ( Extended Abstract ) , 1998 .

[13]  John E. Hopcroft,et al.  The Directed Subgraph Homeomorphism Problem , 1978, Theor. Comput. Sci..

[14]  Lars Engebretsen,et al.  Clique Is Hard To Approximate Within , 2000 .

[15]  Clifford Stein,et al.  Improved approximation algorithms for unsplittable flow problems , 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.

[16]  Bin Ma,et al.  On the Inapproximability of Disjoint Paths and Minimum Steiner Forest with Bandwidth Constraints , 2000, J. Comput. Syst. Sci..

[17]  J. Håstad Clique is hard to approximate withinn1−ε , 1999 .

[18]  Jon M. Kleinberg,et al.  Decision algorithms for unsplittable flow and the half-disjoint paths problem , 1998, STOC '98.

[19]  Michel X. Goemans,et al.  On the Single-Source Unsplittable Flow Problem , 1999, Comb..

[20]  Jon M. Kleinberg,et al.  Single-source unsplittable flow , 1996, Proceedings of 37th Conference on Foundations of Computer Science.

[21]  H. Chernoff A Measure of Asymptotic Efficiency for Tests of a Hypothesis Based on the sum of Observations , 1952 .

[22]  Éva Tardos,et al.  Approximations for the Disjoint Paths Problem in High-Diameter Planar Networks , 1998, J. Comput. Syst. Sci..

[23]  Aravind Srinivasan,et al.  Improved approximations for edge-disjoint paths, unsplittable flow, and related routing problems , 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.

[24]  Mihalis Yannakakis,et al.  Primal-Dual Approximation Algorithms for Integral Flow and Multicut in Trees, with Applications to Matching and Set Cover , 1993, ICALP.

[25]  Stavros G. Kolliopoulos,et al.  Exact and approximation algorithms for network flow and disjoint-path problems , 1998 .

[26]  Alon Itai,et al.  On the Complexity of Timetable and Multicommodity Flow Problems , 1976, SIAM J. Comput..

[27]  Yuval Rabani,et al.  Improved bounds for all optical routing , 1995, SODA '95.

[28]  Johan Håstad,et al.  Clique is hard to approximate within n/sup 1-/spl epsiv// , 1996, Proceedings of 37th Conference on Foundations of Computer Science.

[29]  Éva Tardos,et al.  Disjoint paths in densely embedded graphs , 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.

[30]  Frank Thomson Leighton,et al.  An approximate max-flow min-cut theorem for uniform multicommodity flow problems with applications to approximation algorithms , 1988, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.