[论文解读] Polynomial Bounds for the Grid-Minor Theorem

Chandra Chekuri, Julia Chuzhoy|arXiv (Cornell University)|May 28, 2013

Advanced Graph Theory Research参考文献 15被引用 12

一句话总结

该论文首次建立了有界树宽图中最大网格小号的多项式下界，证明了任意树宽为 $k$ 的图均包含大小为 $\Omega(k^{\delta}/\operatorname{poly}\log k)$ 的网格小号，其中 $\delta > 0$ 为某绝对常数。作者引入了一种新颖的组合结构——集合路径系统，并提出了一种随机化多项式时间算法，以高效构造此类网格小号模型。

ABSTRACT

One of the key results in Robertson and Seymour's seminal work on graph minors is the Grid-Minor Theorem (also called the Excluded Grid Theorem). The theorem states that for every grid $H$, every graph whose treewidth is large enough relative to $|V(H)|$ contains $H$ as a minor. This theorem has found many applications in graph theory and algorithms. Let $f(k)$ denote the largest value such that every graph of treewidth $k$ contains a grid minor of size $(f(k) imes f(k))$. The best previous quantitative bound, due to recent work of Kawarabayashi and Kobayashi, and Leaf and Seymour, shows that $f(k)=Ω(\sqrt{\log k/\log \log k})$. In contrast, the best known upper bound implies that $f(k) = O(\sqrt{k/\log k})$. In this paper we obtain the first polynomial relationship between treewidth and grid minor size by showing that $f(k)=Ω(k^δ)$ for some fixed constant $δ> 0$, and describe a randomized algorithm, whose running time is polynomial in $|V(G)|$ and $k$, that with high probability finds a model of such a grid minor in $G$.

研究动机与目标

• 解决长期悬而未决的难题：建立树宽与网格小号大小之间的多项式关系。
• 改进此前关于树宽为 $k$ 的图中最大网格小号大小的最优下界 $f(k) = \Omega(\sqrt{\log k / \log \log k})$。
• 设计一种随机化多项式时间算法，以高概率在任意给定的树宽为 $k$ 的图中构造出一个大型网格小号模型。
• 提供网格小号定理的构造性证明，并给出明确的定量界，弥合已知上界与下界之间的差距。

提出的方法

• 引入并利用一种新的组合结构——宽度为 $w$、长度为 $\ell$ 的‘集合路径系统’，其由通过具有强内部连通性特性的不相交路径连接的不相交节点集合构成。
• 证明宽度为 $w$、长度为 $w$ 的集合路径系统可被高效用于寻找大小为 $\Omega(w^{1/2}) \times \Omega(w^{1/2})$ 的网格小号。
• 设计一种随机化算法，给定一棵树宽为 $k$ 的图 $G$，以 $\Omega(k^{\delta})$ 的宽度构造出一个集合路径系统，其中 $\delta > 0$，利用随机采样和良好连通性性质。
• 通过递归将图分解为具有受控边界性质的簇，确保在扰动下，这些簇仍保持强连通性和良好连通性。
• 应用图膨胀与良好连通集中的路由技术，包括边负载约束和带宽特性，以在簇细化过程中保持结构完整性。
• 结合已知的树宽与小号包含结果，以及新提出的结构引理，证明在足够大树宽的图中可找到此类系统。

实验结果

研究问题

• RQ1 能否在树宽 $k$ 的表达式中为最大网格小号的大小建立多项式下界？
• RQ2 是否可能设计一种随机化算法，以在 $|V(G)|$ 和 $k$ 的多项式时间内高效构造出网格小号模型？
• RQ3 对于所有树宽为 $k$ 的图，使得 $f(k) = \Omega(k^{\delta}/\operatorname{poly}\log k)$ 成立的最优指数 $\delta$ 是多少？
• RQ4 如何利用良好连通集与集合路径系统的结构特性，以改进网格小号定理的定量界？

主要发现

• 论文证明了 $f(k) = \Omega(k^{\delta}/\operatorname{poly}\log k)$，其中 $\delta > 0$ 为某通用常数，且明确证明了 $\delta \geq 1/98$。
• 作者提出了一种随机化算法，以高概率在 $|V(G)|$ 和 $k$ 的多项式时间内找到大小为 $\Omega(k^{\delta}/\operatorname{poly}\log k) \times \Omega(k^{\delta}/\operatorname{poly}\log k)$ 的网格小号模型。
• 集合路径系统框架实现了网格小号定理的构造性证明，并提供了多项式数量级的界，解决了长期悬而未决的难题。
• 该结果意味着：若一个图不包含某个固定的简单平面图为小号，则其树宽有界于 $O(|V(H)|^c)$，其中 $c$ 为某通用常数，优于已知界。
• 该方法显著优于此前的子多项式界（如 $f(k) = \Omega(\sqrt{\log k / \log \log k})$），并弥合了与已知上界 $f(k) = O(\sqrt{k / \log k})$ 之间的差距。
• 基于良好连通性与簇细化的算法框架，为图论与算法设计的未来应用提供了新的工具集。