Tight bounds for linkages in planar graphs

  • Authors:

  • Isolde Adler;Stavros G. Kolliopoulos;Philipp Klaus Krause;Daniel Lokshtanov;Saket Saurabh;Dimitrios Thilikos

  • Affiliations:

  • Goethe-Universität, Frankfurt am Main;National and Kapodistrian University of Athens;Goethe-Universität, Frankfurt am Main;University of California, San Diego;Institute of Mathematical Sciences, Chennai;National and Kapodistrian University of Athens

  • Venue:
  • ICALP'11 Proceedings of the 38th international colloquim conference on Automata, languages and programming - Volume Part I
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

The Disjoint-Paths Problem asks, given a graph G and a set of pairs of terminals (s1, t1),..., (sk, tk), whether there is a collection of k pairwise vertex-disjoint paths linking si and ti, for i = 1,..., k. In their f(k) ċ n3 algorithm for this problem, Robertson and Seymour introduced the irrelevant vertex technique according to which in every instance of treewidth greater than g(k) there is an "irrelevant" vertex whose removal creates an equivalent instance of the problem. This fact is based on the celebrated Unique Linkage Theorem, whose - very technical - proof gives a function g(k) that is responsible for an immense parameter dependence in the running time of the algorithm. In this paper we prove this result for planar graphs achieving g(k) = 2O(k). Our bound is radically better than the bounds known for general graphs. Moreover, our proof is new and self-contained, and it strongly exploits the combinatorial properties of planar graphs. We also prove that our result is optimal, in the sense that the function g(k) cannot become better than exponential. Our results suggest that any algorithm for the DISJOINT-PATHS PROBLEM that runs in time better than 22o(k) ċnO(1) will probably require drastically different ideas from those in the irrelevant vertex technique.