A generalization of the Grid Theorem
arXiv:1609.09098
Abstract
A graph has tree-width at most if it can be obtained from a set of graphs each with at most vertices by a sequence of clique sums. We refine this definition by, for each non-negative integer , defining the -tree-width of a graph to be at most if it can be obtained from a set of graphs each with at most vertices by a sequence of clique sums on cliques of size less than . We find the unavoidable minors for the graphs with large -tree-width and we obtain Robertson and Seymour's Grid Theorem as a corollary.
27 pages, 5 figures