[論文レビュー] 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の分離定理を強化し、グラフのマイナーを含まない族に対してタイトで構成可能な境界を提供する一般化された積構造定理である。

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].

研究の動機と目的

• 固定されたマイナーを除外するグラフの積構造に対するタイトな境界を確立すること、特に$K_t$-および$K_{s,t}$-minor-freeなグラフに対して。
• 新しい積分解枠組みを用いて、Alon-Seymour-Thomasの分離定理を一般化・強化すること。
• マイナーを含まないグラフにおける、基本グラフ$H$の木幅と$H \boxtimes K_m$における吹き出し係数$m$の構成的で最適な境界を提供すること。
• 吹き出し係数の木幅$ \operatorname{tw}(G)$への依存関係に関する未解決問題を解き、$K_t$-minor-freeなグラフに対して$m$が$ \operatorname{tw}(G)$に対して線形依存となるようにすること。

提案手法

• 著者らは、$K_t$-minor-freeなグラフの木分解を、$G \subseteq H \boxtimes K_m$という積分解に変換する一般化された積構造定理を導入した。ここで$H$は分解から有界な木幅を継承する。
• 繰り返しのクリーク和を用いて基本グラフ$H$を構築し、$K_t$-minor-freeなグラフに対して$\operatorname{tw}(H) \leq t-2$を保証した。
• 吹き出し係数$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$が得られ、既存の境界を改善した。
• 双対性やハブンを避けて、木分解と強い積の性質に基づく直接的構成に依存した。
• この枠組みは、平面グラフ積構造定理とAlon-Seymour-Thomasの分離定理を回復・強化するために応用された。

実験結果

リサーチクエスチョン

• RQ1 任意の$K_t$-minor-freeなグラフ$G$は、$t$とは独立に有界な木幅を持つ$H$と、$n^{1/2}$の多項式としての$m$を満たす$H \boxtimes K_m$に埋め込めるか？
• RQ2 $K_t$-minor-freeなグラフに対して、$m$を$\mathcal{O}(\operatorname{tw}(G)^2)$ではなく$\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なグラフの行木幅は、レイヤード木幅の関数として有界にできるか？ これはグラフ積階層にどのような意味を持つのか？

主な発見

• 任意の$n$頂点を持つ$K_t$-minor-freeなグラフ$G$に対して、$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の分離定理の別証明が得られ、$K_t$-minor-freeなグラフに対して$\operatorname{rtw}(G) \leq (t-1)\operatorname{ltw}(G) - 1$が確立された。