[論文レビュー] Canonical tree-decompositions of finite graphs II. Essential parts

Johannes Carmesin, Reinhard Diestel+2 more|arXiv (Cornell University)|May 21, 2013

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

ひとこと要約

この論文は、有限グラフの正準的木分解が $k$-ブロックを個別の部品として効率的に分離する条件を確立する。$k$-ブロックが局所的分離条件を満たす場合、そのブロックは付着度が $k$ より小さい正準的木分解において個別の部品として実現可能であることを証明する。主な貢献は、このようなブロックが分離可能かどうかの鋭い特徴付けであり、これは予想を解決し、高次に連結なグラフ部品の最良可能な分解枠組みを提供する。

ABSTRACT

In Part I of this series we described three algorithms that construct canonical tree-decompositions of graphs which distinguish all their k-blocks and tangles of order k. We now establish bounds on the number of parts in these decompositions that contain no such block or tangle, and determine conditions under which such parts contain nothing but a k-block.

研究の動機と目的

• 有限グラフ内の $k$-ブロックが付着度が $k$ より小さい正準的木分解において個別の部品として分離可能となる条件を特定すること。
• このような分解において $k$-ブロックが独立した部品として分離できない最小の障害を同定すること。
• すべての $k$-ブロックを含む本質的部品が、その $k$-ブロックそのものであることを保証する十分なグローバル条件を確立すること。
• 任意の付着度 $<k$ の木分解において部品として現れる $k$-ブロックの鋭い特徴付けを提供し、それらをすべて含む正準的分解を構築すること。

提案手法

• 論文は第I部のアルゴリズムによって構築された正準的木分解を分析し、ネストされた分離系による $k$-ブロックとタングルの区別可能性に注目する。
• $k$-ブロックをグラフの残りの部分から分離する条件（7）を導入し、これが付着度 $<k$ の分解において $k$-ブロックが独立した部品として実現可能かどうかを特徴付ける。
• プロファイル理論と向き付けられた分離系を用いて、木分解のノードと $k$-ブロック・タングルの関係を定式化し、正準的かつ一貫した割り当てを保証する。
• [2, Lemma 3.4] を適用して、グローバルな連結性と局所的な辺条件の下で $k$-ブロックプロファイルのwell-separatednessを検証する。
• 独立パスと頂点集合の数え上げに基づく証明技法を用い、分離条件を破る構成を除外する。
• 良い木分解（正準的で付着度 $<k$、効率的な分離性を有する）の構築は、[3, Theorem 5.2] の結果と新しい特徴付けに依拠する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で $k$-ブロックが付着度が $k$ より小さい正準的木分解において単一の部品として分離可能となるか？
• RQ2 このような分解において $k$-ブロックが独立した部品として分離できない最小の障害は何か？
• RQ3 任意の付着度 $<k$ の木分解において部品として現れるすべての $k$-ブロックが、正準的分解においても部品として保証されるか？
• RQ4 どのようなグローバルなグラフ性質が、$k$-ブロックを含むすべての本質的部品がその $k$-ブロックそのものであることを保証するか？
• RQ5 条件（7）が、$k$-ブロックが付着度 $<k$ の正準的木分解において部品として実現可能であることを保証するのに十分か？

主な発見

• すべての有限グラフは、条件（7）を満たすすべての $k$-ブロックが独立した部品として現れる、付着度が $k$ より小さい正準的木分解を有する。
• $k$-ブロックをグラフの残りの部分から分離する条件（7）は、付着度 $<k$ の分解において $k$-ブロックを分離可能とするために、必要かつ十分である。
• 論文はCarmesinとGollinの予想を証明する：任意の $k$ に対して、すべての有限グラフは、任意の付着度 $<k$ の木分解に現れるすべての $k$-ブロックを含む良い木分解を有する。
• すべての本質的部品が $k$-ブロックそのものであるようなグローバル条件を確立する：$G$ が $(k-1)$-連結であり、かつすべての隣接ペアが3つの局所的条件（共通の隣接頂点、独立パス、共有の $k$-ブロック）のいずれかを満たす場合。
• $k=2$ の場合、結果はTutteの定理を回復する：すべての2連結グラフは、本質的部品がその3ブロックに丁度一致する木分解を有する。非本質的部品はサイクルトロスである。
• 非本質的部品の上限が鋭いことが示され、理論的限界のタイトさが確認された。