[论文解读] Product structure of graphs with an excluded minor

Freddie Illingworth, Alex Scott+1 more|arXiv (Cornell University)|Apr 14, 2021

Advanced Graph Theory Research被引用 6

一句话总结

本文证明了 $K_t$-minor-free 图和 $K_{s,t}$-minor-free 圖可嵌入至有界樹寬圖 $H$ 與完全圖 $K_m$ 的強積中，且對 $H$ 的樹寬與膨脹係數 $m$ 均達到了最佳界限。主要貢獻在於提出了一個通用的積結構定理，強化了 Alon-Seymour-Thomas 分離定理，並為圖 minor-free 家族提供了緊緻且可構造的界限。

ABSTRACT

This paper shows that $K_t$-minor-free (and $K_{s, t}$-minor-free) graphs $G$ are subgraphs of products of a tree-like graph $H$ (of bounded treewidth) and a complete graph $K_m$. Our results include optimal bounds on the treewidth of $H$ and optimal bounds (to within a constant factor) on $m$ in terms of the number of vertices of $G$ and the treewidth of $G$. These results follow from a more general theorem whose corollaries include a strengthening of the celebrated separator theorem of Alon, Seymour, and Thomas [J. Amer. Math. Soc. 1990] and the Planar Graph Product Structure Theorem of Dujmović et al. [J. ACM 2020].

研究动机与目标

• 建立排除固定 minor 的圖之積結構的緊緻界限，特別是 $K_t$-和 $K_{s,t}$-minor-free 圖。
• 透過創新之積分解框架，推廣並強化 Alon-Seymour-Thomas 分離定理。
• 為 minor-free 圖在 $H \boxtimes K_m$ 中的基圖 $H$ 樹寬與膨脹係數 $m$ 提供可構造且最優的界限。
• 解決膨脹係數對樹寬依賴性之開放問題，對 $K_t$-minor-free 圖實現 $m$ 與 $\operatorname{tw}(G)$ 的線性依賴。

提出的方法

• 作者提出一個通用的積結構定理，可將 $K_t$-minor-free 圖的樹分解轉換為積分解 $G \subseteq H \boxtimes K_m$，其中 $H$ 繼承自分解的有界樹寬。
• 利用重複的 clique-sum 構造基圖 $H$，確保 $\operatorname{tw}(H) \leq t-2$ 對於 $K_t$-minor-free 圖。
• 膨脹係數 $m$ 由頂點數 $n$ 與圖 $G$ 的樹寬決定，對 $K_t$-minor-free 圖有 $m = \mathcal{O}(\sqrt{n})$。
• 對於 $K_{s,t}^*$-minor-free 圖，該方法得到 $m = \mathcal{O}(\sqrt{(s-1)(t-1)n})$ 且 $\operatorname{tw}(H) \leq s$，優於先前界限。
• 該方法避開對偶性論證與 havens，改而依賴於樹分解與強積性質的直接構造。
• 此框架被應用於重新獲得並強化平面圖積結構定理與 Alon-Seymour-Thomas 分離定理。

实验结果

研究问题

• RQ1 能否在 $\operatorname{tw}(H)$ 不依賴於 $t$ 且 $m$ 為 $n^{1/2}$ 多項式的情況下，將 $K_t$-minor-free 圖嵌入 $H \boxtimes K_m$？
• RQ2 對於 $K_t$-minor-free 圖，能否實現 $m$ 對 $\operatorname{tw}(G)$ 的線性依賴而非二次依賴？
• RQ3 能否將 $H$ 樹寬中對 $t$ 的依賴降低至常數，同時維持 $m = \mathcal{O}(\sqrt{n})$？
• RQ4 $K_{s,t}^*$-minor-free 圖的積結構定理是否對 $m$ 與 $\operatorname{tw}(H)$ 提供最優界限，特別是當 $s=2$ 時？
• RQ5 能否以層次樹寬表示 $K_t$-minor-free 圖的列樹寬，並對圖積層次結構有何含義？

主要发现

• 對於任意 $K_t$-minor-free 圖 $G$，其有 $n$ 個頂點，$G$ 同構於 $H \boxtimes K_{\lfloor m \rfloor}$ 的子圖，其中 $\operatorname{tw}(H) \leq t-2$ 且 $m = 2\sqrt{(t-3)n}$，達成對 $n$ 的最優依賴。
• 膨脹係數 $m$ 是漸近最優的，如 $n^{1/2} \times n^{1/2}$ 平面網格所示，其為 $K_5$-minor-free 且需滿足 $m = \Omega(n^{1/2})$。
• 對於 $K_{s,t}^*$-minor-free 圖，$G$ 嵌入於 $H \boxtimes K_m$，其中 $\operatorname{tw}(H) \leq s$ 且 $m = 2\sqrt{(s-1)(t-1)n}$，匹配目前已知的最佳下界。
• 本文對 $K_t$-minor-free 圖實現了 $m$ 對 $\operatorname{tw}(G)$ 的線性依賴，具體為 $m = \operatorname{tw}(G) + 1$，優於先前 $\mathcal{O}(\operatorname{tw}(G)^2)$ 的界限。
• 對於 $K_{2,t}^*$-minor-free 圖，膨脹係數被限制於 $t-1$，與 $n$ 無關，解決了將 $\mathcal{O}(t^3)$ 界限改進至 $\mathcal{O}(t)$ 的開放問題。
• 該方法提供了 Alon-Seymour-Thomas 分離定理的新證明，具有更強的定量控制，並確立了 $\operatorname{rtw}(G) \leq (t-1)\operatorname{ltw}(G) - 1$ 對於 $K_t$-minor-free 圖。