Robertson and Seymour proved that for every finite tree , there exists such that every finite graph with no minor has path-width at most ; and conversely, for every integer , there is a finite tree such that every finite graph with an minor has path-width more than . If we (twice) replace path-width'' by line-width’‘, the same is true for infinite graphs . We prove a ``coarse graph theory’’ analogue, as follows. For every finite tree and every , there exist such that every graph that does not contain as a -fat minor admits an -quasi-isonetry to a graph with line-width at most ; and conversely, for all there exist and a finite tree such that every graph that contains as a -fat minor admits no -quasi-isometry to a graph with line-width at most .

生成讲解博客的中文版本

生成AI智能校验的中文版本