Excluding long paths

Bin Jia
DOI: https://doi.org/10.48550/arXiv.1503.08258
2015-03-28
Abstract:Ding (1992) proved that for each integer ${m} \geqslant 0$, and every infinite sequence of finite simple graphs $G_1, G_2, \ldots$, if none of these graphs contains a path of length ${m}$ as a subgraph, then there are indices $i < j$ such that $G_i$ is isomorphic to an induced subgraph of $G_j$. We generalise this result to infinite graphs, possibly with parallel edges and loops.
Combinatorics
What problem does this paper attempt to address?