New algorithms for maximum disjoint paths based on tree-likeness

We study the classical $${\mathsf {NP}}$$NP-hard problems of finding maximum-size subsets from given sets of k terminal pairs that can be routed via edge-disjoint paths (MaxEDP) or node-disjoint paths (MaxNDP) in a given graph. The approximability of MaxEDP/MaxNDP is currently not well understood; the best known lower bound is $${2^{\varOmega (\sqrt{\log n})}}$$2Ω(logn), assuming $${\mathsf {NP}\not \subseteq \mathsf {DTIME}(n^{\mathcal {O}(\log n)})}$$NP⊈DTIME(nO(logn)). This constitutes a significant gap to the best known approximation upper bound of $${\mathcal {O}(\sqrt{n})}$$O(n) due to Chekuri et al. (Theory Comput 2:137–146, 2006), and closing this gap is currently one of the big open problems in approximation algorithms. In their seminal paper, Raghavan and Thompson (Combinatorica 7(4):365–374, 1987) introduce the technique of randomized rounding for LPs; their technique gives an $${\mathcal {O}(1)}$$O(1)-approximation when edges (or nodes) may be used by $${\mathcal {O}\left( \log n/\log \log n\right) }$$Ologn/loglogn paths. In this paper, we strengthen the fundamental results above. We provide new bounds formulated in terms of the feedback vertex set numberr of a graph, which measures its vertex deletion distance to a forest. In particular, we obtain the following results:For MaxEDP, we give an $${\mathcal {O}(\sqrt{r} \log ({k}r))}$$O(rlog(kr))-approximation algorithm. Up to a logarithmic factor, our result strengthens the best known ratio $${\mathcal {O}(\sqrt{n})}$$O(n) due to Chekuri et al., as $${r\le n}$$r≤n.Further, we show how to route $${\varOmega ({\text {OPT}}^{*})}$$Ω(OPT∗) pairs with congestion bounded by $${\mathcal {O}(\log (kr)/\log \log (kr))}$$O(log(kr)/loglog(kr)), strengthening the bound obtained by the classic approach of Raghavan and Thompson.For MaxNDP, we give an algorithm that gives the optimal answer in time $${(k+r)^{\mathcal {O}(r)}\cdot n}$$(k+r)O(r)·n. This is a substantial improvement on the run time of $${2^kr^{\mathcal {O}(r)}\cdot n}$$2krO(r)·n, which can be obtained via an algorithm by Scheffler. We complement these positive results by proving that MaxEDP is $${\mathsf {NP}}$$NP-hard even for $${r=1}$$r=1, and MaxNDP is $${\mathsf {W}[1]}$$W[1]-hard when r is the parameter. This shows that neither problem is fixed-parameter tractable in r unless $${\mathsf {FPT}= \mathsf {W}[1]}$$FPT=W[1] and that our approximability results are relevant even for very small constant values of r.

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

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

[3]  Julia Chuzhoy,et al.  New hardness results for routing on disjoint paths , 2016, STOC.

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

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

[6]  Julia Chuzhoy,et al.  Routing in undirected graphs with constant congestion , 2011, STOC '12.

[7]  Alon Itai,et al.  On the complexity of time table and multi-commodity flow problems , 1975, 16th Annual Symposium on Foundations of Computer Science (sfcs 1975).

[8]  Jens Vygen,et al.  The edge-disjoint paths problem is NP-complete for series-parallel graphs , 2001, Discret. Appl. Math..

[9]  Alan M. Frieze,et al.  Optimal construction of edge-disjoint paths in random graphs , 1994, SODA '94.

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

[11]  Matthias Mnich,et al.  New Algorithms for Maximum Disjoint Paths Based on Tree-Likeness , 2016, ESA.

[12]  B. Mohar,et al.  Graph Minors , 2009 .

[13]  Michael R. Fellows,et al.  On the parameterized complexity of multiple-interval graph problems , 2009, Theor. Comput. Sci..

[14]  F. Bruce Shepherd,et al.  Maximum edge-disjoint paths in planar graphs with congestion 2 , 2011, 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science.

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

[16]  Oktay Gu¨nlu¨k A New Min-Cut Max-Flow Ratio for Multicommodity Flows , 2007 .

[17]  Shi Li,et al.  Improved approximation for node-disjoint paths in planar graphs , 2016, STOC.

[18]  Anders Yeo,et al.  Kernel bounds for disjoint cycles and disjoint paths , 2009, Theor. Comput. Sci..

[19]  Andrej Risteski,et al.  On Routing Disjoint Paths in Bounded Treewidth Graphs , 2016, SWAT.

[20]  Takao Nishizeki,et al.  The Edge-Disjoint Paths Problem is NP-Complete for Partial k-Trees , 1998, ISAAC.

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

[22]  Saket Saurabh,et al.  Linear Time Parameterized Algorithms for Subset Feedback Vertex Set , 2018, ACM Trans. Algorithms.

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

[24]  Chandra Chekuri,et al.  Maximum Edge-Disjoint Paths in k-Sums of Graphs , 2013, ICALP.

[25]  Sanjeev Khanna,et al.  A Note on Multiflows and Treewidth , 2009, Algorithmica.

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

[27]  Ken-ichi Kawarabayashi,et al.  An O(logn)-Approximation Algorithm for the Disjoint Paths Problem in Eulerian Planar Graphs and 4-Edge-Connected Planar Graphs , 2010, APPROX-RANDOM.

[28]  Chandra Chekuri,et al.  Multicommodity demand flow in a tree and packing integer programs , 2007, TALG.

[29]  Venkatesan Guruswami,et al.  Inapproximability of Edge-Disjoint Paths and low congestion routing on undirected graphs , 2010, Comb..

[30]  Ken-ichi Kawarabayashi,et al.  Breaking o(n1/2)-approximation algorithms for the edge-disjoint paths problem with congestion two , 2011, STOC '11.

[31]  Richard M. Karp,et al.  Reducibility Among Combinatorial Problems , 1972, 50 Years of Integer Programming.

[32]  Dimitrios M. Thilikos,et al.  Tight Bounds for Linkages in Planar Graphs , 2011, ICALP.

[33]  Piotr Berman,et al.  A 2-Approximation Algorithm for the Undirected Feedback Vertex Set Problem , 1999, SIAM J. Discret. Math..

[34]  Oktay Günlük,et al.  A New Min-Cut Max-Flow Ratio for Multicommodity Flows , 2002, SIAM J. Discret. Math..

[35]  Satish Rao,et al.  Edge Disjoint Paths in Moderately Connected Graphs , 2006, ICALP.

[36]  Paul Wollan,et al.  A shorter proof of the graph minor algorithm: the unique linkage theorem , 2010, STOC '10.

[37]  Yuval Rabani,et al.  On-line admission control and circuit routing for high performance computing and communication , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.

[38]  Matthew Andrews,et al.  Approximation Algorithms for the Edge-Disjoint Paths Problem via Raecke Decompositions , 2010, 2010 IEEE 51st Annual Symposium on Foundations of Computer Science.

[39]  Chandra Chekuri,et al.  Flow-cut gaps for integer and fractional multiflows , 2010, SODA '10.

[40]  Chandra Chekuri,et al.  Poly-logarithmic Approximation for Maximum Node Disjoint Paths with Constant Congestion , 2013, SODA.

[41]  Alan M. Frieze,et al.  Existence and Construction of Edge-Disjoint Paths on Expander Graphs , 1994, SIAM J. Comput..

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

[43]  Shi Li,et al.  A Polylogarithmic Approximation Algorithm for Edge-Disjoint Paths with Congestion 2 , 2012, 2012 IEEE 53rd Annual Symposium on Foundations of Computer Science.

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

[45]  Ian Holyer,et al.  The NP-Completeness of Edge-Coloring , 1981, SIAM J. Comput..

[46]  Yuval Rabani,et al.  An O(log k) Approximate Min-Cut Max-Flow Theorem and Approximation Algorithm , 1998, SIAM J. Comput..