A lower bound on the tree-width of graphs with irrelevant vertices
arXiv:1901.04325 · doi:10.1016/j.jctb.2018.12.008
Abstract
For their famous algorithm for the disjoint paths problem, Robertson and Seymour proved that there is a function such that if the tree-width of a graph with pairs of terminals is at least , then contains a solution-irrelevant vertex (Graph Minors. XXII., JCTB 2012). We give a single-exponential lower bound on . This bound even holds for planar graphs.