It has long been known that the following basic objects are obstructions to bounded tree-width: for arbitrarily large $t$, $(1)$ a subdivision of the complete graph $K_t$, $(2)$ a subdivision of the complete bipartite graph $K_{t,t}$, $(3)$ a subdivision of the $(t \times t)$-wall and $(4)$ a line graph of a subdivision of the $(t \times t)$-wall. We are now able to add a further \emph{boundary object} to this list, a subdivision of a \emph{$t$-sail}. We identify hereditary graph classes of unbounded tree-width that do not contain any of the four basic obstructions but instead contain arbitrarily large $t$-sails or subdivisions of a $t$-sail. We also show that these sparse graph classes do not contain a minimal class of unbounded tree-width. These results have been obtained by studying \emph{path-star} graph classes, a type of sparse hereditary graph class formed by combining a path (or union of paths) with a forest of stars, characterised by an infinite word over a possibly infinite alphabet.
翻译:长期以来人们一直知道,以下基本物体是阻碍捆绑树壁的障碍物:对于任意大块的美元,1美元(1美元)是完整图形的一个小块,K_t美元,2美元(2美元)是完整的双部分图形的一个小块,Kät,t}美元,3美元(3美元)是美元(ttimes t) 墙形的一个小块,4美元(ttimes t) 墙形块的一个小块图。我们现在能够在这个列表中再增加一个\emph{线形对象},这是一张完整的图形图形的子。我们确定了不包含4个基本障碍的无边树形图形的遗传图形类别,而是含有任意大的$t-tayst-tails 或$t$-tail的子块。我们还表明,这些稀树形图形类并不包含起码的无边线树形类别。这些结果可能是通过通过一个不朽的图形图形的直径来研究,通过一个不朽的直观的图形图形图形的图形图状来获得的。