Linearity of grid minors in treewidth with applications through bidimensionality

Erik D. Demaine, Mohammadtaghi Hajiaghayi
2008 Combinatorica  
We prove that any H-minor-free graph, for a fixed graph H, of treewidth w has an Ω(w) × Ω(w) grid graph as a minor. Thus grid minors suffice to certify that H-minor-free graphs have large treewidth, up to constant factors. This strong relationship was previously known for the special cases of planar graphs and bounded-genus graphs, and is known not to hold for general graphs. The approach of this paper can be viewed more generally as a framework for extending combinatorial results on planar
more » ... hs to hold on H-minor-free graphs for any fixed H. Our result has many combinatorial consequences on bidimensionality theory, parameter-treewidth bounds, separator theorems, and bounded local treewidth; each of these combinatorial results has several algorithmic consequences including subexponential fixed-parameter algorithms and approximation algorithms. * A preliminary version of this paper appeared in the ACM-SIAM Symposium on Discrete Algorithms (SODA 2005) [16]. 1 The r×r grid is the planar graph with r 2 vertices arranged on a square grid and with edges connecting horizontally and vertically adjacent vertices. Refer to Section 2 for other (standard) definitions and graph terminology.
doi:10.1007/s00493-008-2140-4 fatcat:cff2tl55u5bubhmz65rewhxpoa