如何构建支柱：Thomassen 猜想的一个证明

Carsten Thomassen 于 1989 年猜想，若一个图的最小度大于宇宙中原子的数量（$\delta(G)\ge 10^{10^{10}}$），则它包含一个支柱，即一种由两个顶点不交且长度相同的圈（设长度为 $s$）以及 $s$ 条长度相同且顶点不交、按圈上顺序连接对应顶点的路径构成的图。尽管支柱结构简洁，且过去三十年中针对路与圈的嵌入方法已取得诸多有力进展，这一看似简单的猜想至今未有突破。在本文中，我们通过（以算法方式）在次线性扩张图中构建支柱，给出了该猜想的一个证明。