Approximability of 3- and 4-Hop Bounded Disjoint Paths Problems

A path is said to be l-bounded if it contains at most l edges. We consider two types of l-bounded disjoint paths problems. In the maximum edge- or node-disjoint path problems MEDP(l) and MNDP(l), the task is to find the maximum number of edge- or node-disjoint l-bounded (s,t)-paths in a given graph G with source s and sink t, respectively. In the weighted edge- or node-disjoint path problems WEDP(l) and WNDP(l), we are also given an integer k∈ℕ and non-negative edge weights ce∈ℕ, e∈E, and seek for a minimum weight subgraph of G that contains k edge- or node-disjoint l-bounded (s,t)-paths. Both problems are of great practical relevance in the planning of fault-tolerant communication networks, for example. Even though length-bounded cut and flow problems have been studied intensively in the last decades, the $\mathcal{NP}$-hardness of some 3- and 4-bounded disjoint paths problems was still open. In this paper, we settle the complexity status of all open cases showing that WNDP(3) can be solved in polynomial time, that MEDP(4) is $\mathcal{AP\kern-1.5ptX}$-complete and approximable within a factor of 2, and that WNDP(4) and WEDP(4) are $\mathcal{AP\kern-1.5ptX}$-hard and $\mathcal{NPO}$-complete, respectively.

[1]  Geoffrey Exoo On line disjoint paths of bounded length , 1983, Discret. Math..

[2]  Jack Edmonds,et al.  Maximum matching and a polyhedron with 0,1-vertices , 1965 .

[3]  Geir Dahl,et al.  On the k edge-disjoint 2-hop-constrained paths polytope , 2006, Oper. Res. Lett..

[4]  Amaro de Sousa,et al.  Compact Models for Hop-Constrained Node Survivable Network Design: An Application to MPLS , 2006 .

[5]  Martin Skutella,et al.  Length-Bounded and Dynamic k-Splittable Flows , 2005, OR.

[6]  Martin Grötschel,et al.  Capacity and Survivability Models for Telecommunication Networks , 1997 .

[7]  Petr A. Golovach,et al.  Paths of bounded length and their cuts: Parameterized complexity and algorithms , 2009, Discret. Optim..

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

[9]  Quentin Botton,et al.  The K-Edge 3-Hop Constrained Network Design Polyhedron , 2008 .

[10]  Thomas Erlebach,et al.  Length-bounded cuts and flows , 2006, TALG.

[11]  L. Lovász,et al.  Mengerian theorems for paths of bounded length , 1978 .

[12]  Zsolt Tuza,et al.  Menger-type theorems with restrictions on path lengths , 1993, Discret. Math..

[13]  Andreas Bley,et al.  On the complexity of vertex-disjoint length-restricted path problems , 2004, computational complexity.

[14]  Venkatesan Guruswami,et al.  Near-optimal hardness results and approximation algorithms for edge-disjoint paths and related problems , 2003, J. Comput. Syst. Sci..

[15]  S. Raghavan,et al.  Telecommunications Planning: Innovations in Pricing, Network Design and Management (Operations Research/Computer Science Interfaces Series) , 2005 .

[16]  Yehoshua Perl,et al.  Heuristics for finding a maximum number of disjoint bounded paths , 1984, Networks.

[17]  Zeev Nutov,et al.  Inapproximability of survivable networks , 2009, Theor. Comput. Sci..

[18]  Sunil Mathew,et al.  A generalization of Menger's Theorem , 2011, Appl. Math. Lett..

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

[20]  Ali Ridha Mahjoub,et al.  Max Flow and Min Cut with bounded-length paths: complexity, algorithms, and approximation , 2010, Math. Program..

[21]  Karsten Weihe,et al.  A Linear-Time Algorithm for Edge-Disjoint Paths in Planar Graphs , 1993, ESA.

[22]  Amaro de Sousa,et al.  Hop-Constrained Node Survivable Network Design: An Application to MPLS over WDM , 2008 .

[23]  M. Stoer Design of Survivable Networks , 1993 .

[24]  Sanjeev Khanna,et al.  Network design for vertex connectivity , 2008, STOC.

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

[26]  W. B. Ameur Constrained length connectivity and survivable networks , 2000 .

[27]  Walid Ben-Ameur,et al.  Constrained length connectivity and survivable networks , 2000, Networks.

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

[29]  Ali Ridha Mahjoub,et al.  Integer programming formulations for the two 4-hop-constrained paths problem , 2007, Networks.

[30]  Giorgio Gambosi,et al.  Complexity and Approximation , 1999, Springer Berlin Heidelberg.

[31]  Giorgio Gambosi,et al.  Complexity and approximation: combinatorial optimization problems and their approximability properties , 1999 .