Edge-Disjoint Paths and Unsplittable Flow

Finding disjoint paths in graphs is a problem that has attracted considerable attention from at least three perspectives: graph theory, VLSI design and network routing/flow. The corresponding literature is extensive. In this chapter we limit ourselves mostly to results on offline approximation algorithms for problems on general graphs as influenced from the network flow perspective. Surveys examining the underlying graph theory, combinatorial problems in VLSI, and disjoint paths on special graph classes can be found in [35, 36, 86, 88, 76, 83, 75, 51]. An instance of disjoint paths consists of a (directed or undirected) graph G = (V, E) and a multiset T = {(si, ti) : si ∈ V, ti ∈ V, i = 1, . . . , k} of k source-sink pairs. Any source or sink is called a terminal. An element of T is also called a commodity. One seeks a set of edge(or vertex-)disjoint paths P1, P2, . . . , Pk, where Pi is an si−ti path, i = 1, . . . , k. In the case of vertex-disjoint paths we are interested in paths that are internally disjoint, i.e., a terminal may appear in more than one pair in T . We abbreviate the edge-disjoint paths problem by Edp. The notation introduced will be used throughout the chapter to refer to an input instance. We will also denote |V | by n and |E| by m for the corresponding graph. Based on whether G is directed or undirected and the edgeor vertex-disjointness condition one obtains

[1]  Aravind Srinivasan,et al.  A survey of the role of multicommodity flow and randomization in network design and routing , 1997, Randomization Methods in Algorithm Design.

[2]  J. Spencer Ten lectures on the probabilistic method , 1987 .

[3]  Fillia Makedon,et al.  Fast Approximation Algorithms for Multicommodity Flow Problems , 1995, J. Comput. Syst. Sci..

[4]  Aravind Srinivasan,et al.  An extension of the Lovász local lemma, and its applications to integer programming , 1996, SODA '96.

[5]  Yehoshua Perl,et al.  Finding Two Disjoint Paths Between Two Pairs of Vertices in a Graph , 1978, JACM.

[6]  Sanjeev Khanna,et al.  Edge-disjoint paths in planar graphs , 2004, 45th Annual IEEE Symposium on Foundations of Computer Science.

[7]  Sanjeev Khanna,et al.  Multicommodity flow, well-linked terminals, and routing problems , 2005, STOC '05.

[8]  Alexander Schrijver,et al.  Homotopic routing methods , 1990 .

[9]  Ronald Koch,et al.  Approximation and Complexity of k-Splittable Flows , 2005, WAOA.

[10]  Iraj Saniee,et al.  An optimization problem related to balancing loads on SONET rings , 1994, Telecommun. Syst..

[11]  Dorit S. Hochbaum,et al.  Approximation Algorithms for NP-Hard Problems , 1996 .

[12]  Martin Skutella Approximating the single source unsplittable min-cost flow problem , 2002, Math. Program..

[13]  Christian Scheideler,et al.  Improved bounds for the unsplittable flow problem , 2002, SODA '02.

[14]  Éva Tardos,et al.  An approximation algorithm for the generalized assignment problem , 1993, Math. Program..

[15]  Yossi Azar,et al.  Strongly Polynomial Algorithms for the Unsplittable Flow Problem , 2001, IPCO.

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

[17]  Leonid Khachiyan,et al.  Fast Approximation Schemes for Convex Programs with Many Blocks and Coupling Constraints , 1994, SIAM J. Optim..

[18]  Paul D. Seymour Disjoint paths in graphs , 2006, Discret. Math..

[19]  Andrew V. Goldberg A Natural Randomization Strategy for Multicommodity Flow and Related Algorithms , 1992, Inf. Process. Lett..

[20]  Tomasz Radzik Fast deterministic approximation for the multicommodity flow problem , 1995, SODA '95.

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

[22]  Ganesh Venkataraman,et al.  Graph decomposition and a greedy algorithm for edge-disjoint paths , 2004, SODA '04.

[23]  Frank Thomson Leighton,et al.  Multicommodity max-flow min-cut theorems and their use in designing approximation algorithms , 1999, JACM.

[24]  Alan M. Frieze Edge-disjoint paths in expander graphs , 2000, SODA '00.

[25]  Clifford Stein,et al.  Experimental Evaluation of Approximation Algorithms for Single-Source Unsplittable Flow , 1999, IPCO.

[26]  Alexander Schrijver,et al.  Combinatorial optimization. Polyhedra and efficiency. , 2003 .

[27]  Aravind Srinivasan,et al.  Approximating low-congestion routing and column-restricted packing problems , 2000, Inf. Process. Lett..

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

[29]  Joseph Naor,et al.  New hardness results for congestion minimization and machine scheduling , 2004, STOC '04.

[30]  Neil Robertson,et al.  Graph Minors .XIII. The Disjoint Paths Problem , 1995, J. Comb. Theory B.

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

[32]  D. R. Fulkerson,et al.  Computation of maximal flows in networks , 1955 .

[33]  Carsten Thomassen,et al.  2-Linked Graphs , 1980, Eur. J. Comb..

[34]  Frédéric Roupin,et al.  A greedy algorithm for multicut and integral multiflow in rooted trees , 2003, Oper. Res. Lett..

[35]  Mihalis Yannakakis,et al.  Approximate Max-Flow Min-(Multi)Cut Theorems and Their Applications , 1996, SIAM J. Comput..

[36]  K. Menger Zur allgemeinen Kurventheorie , 1927 .

[37]  Petr Kolman,et al.  A note on the greedy algorithm for the unsplittable flow problem , 2003, Inf. Process. Lett..

[38]  Philip N. Klein,et al.  Faster Approximation Algorithms for the Unit Capacity Concurrent Flow Problem with Applications to Routing and Finding Sparse Cuts , 1994, SIAM J. Comput..

[39]  Richard M. Karp,et al.  On the Computational Complexity of Combinatorial Problems , 1975, Networks.

[40]  D. R. Fulkerson,et al.  Maximal Flow Through a Network , 1956 .

[41]  Jochen Könemann,et al.  Faster and simpler algorithms for multicommodity flow and other fractional packing problems , 1998, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).

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

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

[44]  Clifford Stein,et al.  Approximation Algorithms for Single-Source Unsplittable Flow , 2001, SIAM J. Comput..

[45]  Lisa Zhang,et al.  Hardness of the undirected congestion minimization problem , 2005, STOC '05.

[46]  Aravind Srinivasan,et al.  Multicommodity flow and circuit switching , 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

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

[48]  Alon Itai,et al.  The complexity of finding maximum disjoint paths with length constraints , 1982, Networks.

[49]  Yossi Shiloach,et al.  A Polynomial Solution to the Undirected Two Paths Problem , 1980, JACM.

[50]  James F. Lynch,et al.  The equivalence of theorem proving and the interconnection problem , 1975, SIGD.

[51]  Chandra Chekuri,et al.  Multicommodity Demand Flow in a Tree , 2003, ICALP.

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

[53]  Paul Erdös,et al.  On a Combinatorial Game , 1973, J. Comb. Theory A.

[54]  Lisa Fleischer,et al.  Approximating Fractional Multicommodity Flow Independent of the Number of Commodities , 2000, SIAM J. Discret. Math..

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

[56]  Éva Tardos,et al.  Fast approximation algorithms for fractional packing and covering problems , 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.

[57]  Frédéric Roupin,et al.  Minimal multicut and maximal integer multiflow: A survey , 2005, Eur. J. Oper. Res..

[58]  Martin Skutella,et al.  Flows on Few Paths: Algorithms and Lower Bounds , 2004, ESA.

[59]  Clifford Stein,et al.  Approximating disjoint-path problems using packing integer programs , 2004, Math. Program..

[60]  Farhad Shahrokhi,et al.  The maximum concurrent flow problem , 1990, JACM.

[61]  J. Kleinberg The Disjoint Paths Problem , 1995 .

[62]  Daniel Bienstock,et al.  Solving fractional packing problems in Oast(1/ε) iterations , 2004, STOC '04.

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

[64]  Christian Scheideler,et al.  Universal Routing Strategies for Interconnection Networks , 1998, Lecture Notes in Computer Science.

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

[66]  Jan Karel Lenstra,et al.  Approximation algorithms for scheduling unrelated parallel machines , 1987, 28th Annual Symposium on Foundations of Computer Science (sfcs 1987).

[67]  Sanjeev Khanna,et al.  An O(sqrt(n)) Approximation and Integrality Gap for Disjoint Paths and Unsplittable Flow , 2006, Theory Comput..

[68]  Aravind Srinivasan,et al.  New approaches to covering and packing problems , 2001, SODA '01.

[69]  Sanjeev Khanna,et al.  Hardness of the Undirected Edge-Disjoint Paths Problem with Congestion , 2005, FOCS.

[70]  Thomas Erlebach,et al.  NP-Hardness of Broadcast Scheduling and Inapproximability of Single-Source Unsplittable Min-Cost Flow , 2002, SODA '02.

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

[72]  Stamatios Stefanakos,et al.  On the Design and Operation of High-Performance Optical Networks , 2004 .

[73]  Yossi Azar,et al.  Throughput-competitive on-line routing , 1993, Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science.

[74]  András Frank,et al.  Connectivity and network flows , 1996 .

[75]  Robert E. Tarjan,et al.  Network Flow and Testing Graph Connectivity , 1975, SIAM J. Comput..

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

[77]  Mihalis Yannakakis,et al.  Primal-dual approximation algorithms for integral flow and multicut in trees , 1997, Algorithmica.

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

[79]  Vijay V. Vazirani,et al.  Approximation Algorithms , 2001, Springer Berlin Heidelberg.

[80]  Neal E. Young,et al.  Randomized rounding without solving the linear program , 1995, SODA '95.

[81]  Chung-Lun Li,et al.  The complexity of finding two disjoint paths with min-max objective function , 1989, Discret. Appl. Math..

[82]  Petr Kolman,et al.  Short length menger's theorem and reliable optical routing , 2003, SPAA '03.

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

[84]  David B. Shmoys,et al.  Cut problems and their application to divide-and-conquer , 1996 .

[85]  George Karakostas,et al.  Faster approximation schemes for fractional multicommodity flow problems , 2008, TALG.

[86]  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.

[87]  Aravind Srinivasan,et al.  Improved Approximation Guarantees for Packing and Covering Integer Programs , 1999, SIAM J. Comput..

[88]  Stavros G. Kolliopoulos Minimum-cost single-source 2-splittable flow , 2004, Inf. Process. Lett..

[89]  D. Bienstock,et al.  Algorithmic Implications of the Graph Minor Theorem , 1995 .

[90]  Amit Kumar,et al.  Approximation Algorithms for the Unsplittable Flow Problem , 2002, Algorithmica.

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

[92]  Martin Skutella,et al.  The k-Splittable Flow Problem , 2005, Algorithmica.

[93]  RobertsonNeil,et al.  Graph minors. XIII , 1994 .

[94]  Alexander Schrijver,et al.  Finding k Disjoint Paths in a Directed Planar Graph , 1994, SIAM J. Comput..

[95]  Venkatesan Guruswami,et al.  Near-optimal hardness results and approximation algorithms for edge-disjoint paths and related problems , 1999, STOC '99.

[96]  Peter Elias,et al.  A note on the maximum flow through a network , 1956, IRE Trans. Inf. Theory.

[97]  Sanjeev Khanna,et al.  Edge disjoint paths revisited , 2003, SODA '03.

[98]  Ronitt Rubinfeld,et al.  Short paths in expander graphs , 1996, Proceedings of 37th Conference on Foundations of Computer Science.

[99]  Lisa Zhang,et al.  Hardness of the undirected edge-disjoint paths problem with congestion , 2005, 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05).

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