linked与lean树分解的统一处理

有许多结果断言存在具有最小宽度且仍能表示底层图局部连通性质的树分解，其中最著名的或许是Thomas定理，它证明了对于每个图 $G$，存在一个宽度为 tw$(G)$ 的linked树分解。我们证明了一个关于linked与lean树分解存在性的一般定理，为该领域的许多已知结果提供了一个统一的证明，并蕴含了一些新的结果。特别地，我们证明了每个拟阵 $M$ 都允许一个宽度为 tw$(M)$ 的lean树分解，推广了Thomas的结果。