[論文レビュー] Quickly excluding a non-planar graph

Ken‐ichi Kawarabayashi, Robin Thomas+1 more|arXiv (Cornell University)|Oct 23, 2020

Advanced Graph Theory Research参考文献 16被引用数 5

ひとこと要約

本稿は、非平面的グラフ $H$ をマイナーとして素早く除外するための構成的で多項式時間のアルゴリズムを提示する。$H$-フリーなグラフの構造的分解定理を証明することで、元のグラフ・ミニョールスリーゼスにおける長大な証明の代わりに、自己完結的で効率的な代替手段を提供する。この証明は、先行研究および大学院レベルの教科書資料にのみ依存し、$k$-近似埋め込み構造の明示的定数を導出する。

ABSTRACT

A cornerstone theorem in the Graph Minors series of Robertson and Seymour is the result that every graph $G$ with no minor isomorphic to a fixed graph $H$ has a certain structure. The structure can then be exploited to deduce far-reaching consequences. The exact statement requires some explanation, but roughly it says that there exist integers $k,n$ depending on $H$ only such that $0

研究の動機と目的

• 非平面的グラフに対する除外クリークマイナー定理の自己完結的で構成的な証明を提供すること。これは、先行研究および標準的な教科書資料にのみ依存する。
• 非平面的 $H$ に対して $H$-フリーなグラフの構造的分解を構成する多項式時間のアルゴリズムを開発すること。
• 元の証明では存在が保証されるにとどまっていたが、$k$-近似埋め込み構造における定数 $k$ と $n$ を明示的に決定すること。
• 非平面的 $H$ をマイナーとして含まないグラフの構造的特徴づけを、有界な genus の曲面への $k$-近似埋め込みに基づいて確立すること。
• グラフ・ミニョールスリーゼスに含まれる極めて技術的で長大な元の証明を、洗練され、アルゴリズム的で、かつ効率的かつ透明性のあるアプローチに置き換えること。

提案手法

• 構造的分解を導出する基盤として、先行論文 [18] のフラットウォール定理を活用する。
• グラフ理論の標準的ツールを大学院レベルの教科書から適用し、グラフ・ミニョールスリーゼスの深層的結果に依存しないようにする。
• $H$ が曲面 $\Sigma$ に埋め込まれないような、オイラー genus が $k$ 以下の曲面 $\Sigma$ に $G$ の $k$-近似埋め込みを構成する。ここで $k$ は $H$ のみに依存する。
• 大きなウォール $W$ の周囲のグラフ構造を制御するために、深さ $d$ と広がり $b$ が有界な $W$-中心的分解を用いる。
• コアとバーテックス（バーテックス）を避けるブランチ集合が多すぎると、大きなクリークマイナーが強制的に生じ、$H$-フリー性と矛盾することを、連結性と分離に関する議論で示す。
• 深さと広がりが有界であるという事実と矛盾する $K_p$ マイナー（$p > 8R^2$）の存在を仮定することで背理法を適用する。

実験結果

リサーチクエスチョン

• RQ1 非平面的グラフに対する除外クリークマイナー定理は、要素的ツールにのみ依存して、明示的な定数を伴う構成的証明が可能か？
• RQ2 グラフ・ミニョールスリーゼスの完全な道具立てに依存せずに、$H$-フリーなグラフの $k$-近似埋め込み構造を構成する多項式時間のアルゴリズムを設計可能か？
• RQ3 固定された非平面的マイナーを除外するグラフに対する $k$-近似埋め込み構造を導出するために必要な最小限の仮定は何か？
• RQ4 構造的分解をどのようにアルゴリズム的かつ自己完結的にすることができるか？非構成的または存在的証明に依存しないようにするには？
• RQ5 分解における $k$、$n$、$d$、$b$ の境界を、存在が保証されるのみでなく、明示的に特定できるか？

主な発見

• 本稿は、非平面的グラフに対する除外クリークマイナー定理の構成的証明を提供し、$k$-近似埋め込み構造を計算する多項式時間のアルゴリズムを導出する。
• 分解におけるパラメータ $k$、$n$、$d$、$b$ の明示的定数が導出され、元の証明では存在が保証されるにとどまっていたギャップが解消された。
• 証明はフラットウォール定理と標準的な大学院レベルのグラフ理論にのみ依存しており、自己完結的かつアクセス可能な構造を持つ。
• 非平面的 $H$ をマイナーとして含まないグラフ $G$ に対して、深さ $d$、広がり $b$、genus $g$ が有界な $W$-中心的 $\Sigma$-分解が存在し、あるサイズが $k$ 以下の集合 $A$ に対して $G - A$ が $\Sigma$ に $k$-近似埋め込まれることを示した。
• コアとバーテックスを避けるブランチ集合が多すぎると、矛盾が生じ、その構造的制約下ではこのようなマイナーは存在できないことが証明された。
• この結果により、非平面的 $H$ マイナーを除外するグラフは、深さと広がりがマイナー閉性を制御する、有界な木幅に類似した構造を持つことが確認された。