Abstract
For their famous algorithm for the disjoint paths problem, Robertson and Seymour proved that there is a function f such that if the tree-width of a graph G with k pairs of terminals is at least f(k), then G contains a solution-irrelevant vertex (Robertson and Seymour (2012) [13]). We give a single-exponential lower bound on f. This bound even holds for planar graphs.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have