[論文レビュー] The structure of graphs not admitting a fixed immersion

Paul Wollan|arXiv (Cornell University)|Feb 15, 2013

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

ひとこと要約

本稿は、固定された完全グラフ $K_t$ を部分グラフとして含まないグラフの構造的特徴づけを確立し、頂点カットではなくエッジカットに基づく新たな分解枠組みとしてツリー・カット分解を導入する。大木（wall）が部分グラフとして含まないグラフのツリー・カット幅が大きい場合、そのグラフは大木を弱い埋め込みとして含むことを証明し、グリッド・マイナー定理を埋め込み設定に拡張し、木のサイズに対して多項式的依存関係を示す。

ABSTRACT

We present an easy structure theorem for graphs which do not admit an immersion of the complete graph. The theorem motivates the definition of a variation of tree decompositions based on edge cuts instead of vertex cuts which we call tree-cut decompositions. We give a definition for the width of tree-cut decompositions, and using this definition along with the structure theorem for excluded clique immersions, we prove that every graph either has bounded tree-cut width or admits an immersion of a large wall.

研究の動機と目的

• 固定された $t$ に対して完全グラフ $K_t$ の弱い埋め込みを許さないグラフの構造的特徴づけを構築すること。
• 頂点分離子の代わりにエッジ分離子を用いることで、ツリー分解と類似した新しい分解法としてツリー・カット分解を導入すること。
• ツリー・カット分解の幅パラメータを定義し、ツリー幅に関するグリッド・マイナー定理と類似した双対性結果を確立すること。
• 十分に大きなツリー・カット幅を有するグラフは、大木を埋め込みとして含むことを証明し、構造的二分岐（dichotomy）を提供すること。

提案手法

• エッジカットを用いて構築されるツリー・カット分解と呼ばれる新しい分解枠組みを導入する。
• 分解木における各カットを貫る最大エッジ数に基づき、ツリー・カット分解の幅を定義する。
• 構造定理を用いて、$K_t$ を弱い埋め込みとして含まないグラフは、有界な接着性と有界なトーラスサイズを持つツリー・カット分解を有することを示す。
• 部分グラフを統合し、中心頂点に接続する再帰的分解戦略を用いて、グローバルなツリー・カット分解を構築する。
• エッジ分割と頂点削除操作を用いて弱い埋め込みと部分グラフ操作との関係を確立し、構造的解析を可能にする。
• グラフマイナー理論の結果を活用し、グリッド・マイナー定理の技法を適応することで、ツリー・カット幅が大木の埋め込みを示す多項式的境界を確立する。

実験結果

リサーチクエスチョン

• RQ1 固定された $t$ に対して $K_t$ の弱い埋め込みを許さないグラフの構造的性質は何か？
• RQ2 頂点カットではなくエッジカットに基づく分解は、グラフ埋め込みの解析に有用な枠組みを提供できるか？
• RQ3 大木の埋め込みの存在と大きなツリー・カット幅の間には双対性があるか？
• RQ4 ツリー・カット分解を用いて、グリッド・マイナー定理をグラフ埋め込みの文脈に拡張できるか？

主な発見

• 弱い埋め込みとして $K_t$ を含まないグラフは、$w(r)$ を壁のサイズに関連する関数として、接着性が最大 $4r^{10}w(r)$ であるツリー・カット分解を有する。
• 構築されたツリー・カット分解の幅は $4r^{10}w(r)$ で有界であり、ツリー・カット幅と埋め込み性質との間の定量的関係を確立する。
• 十分に大きなツリー・カット幅を有する任意のグラフは、その幅が壁のサイズ $r$ に対して多項式的に依存するように、大木を埋め込みとして含む。
• 証明は、有界なトーラスサイズと制御されたエッジカットを持つ部分グラフへの再帰的分解に依拠し、最終的に有界な幅を持つグローバルな分解に到達する。
• この結果により、構造的二分岐が得られる：グラフはツリー・カット幅が有界であるか、それとも大木を埋め込みとして含む。これはグリッド・マイナー定理と類似した構造的性質を示す。