[論文レビュー] Lean Tree-Cut Decompositions: Obstructions and Algorithms

Archontia C. Giannopoulou, O‐joung Kwon+2 more|arXiv (Cornell University)|Jan 1, 2019

Advanced Graph Theory Research被引用数 8

ひとこと要約

本稿では、任意のグラフが、木カット幅の最小値を達成する、トーマスの木幅に関するオリジナルの結果と類似した「きつい性質（leanness）」を満たす木カット分解を有することを確立している。著者らは、問題を3辺連結グラフに還元し、太さに基づく最小化の議論を用いることで、このようなきつい分解が存在することを証明した。これは、木カット幅の枠組みに、頂点中心の木幅理論における基礎的である「きつい性質」を拡張したものであり、グラフ埋め込み理論への応用を持つ。

ABSTRACT

The notion of tree-cut width has been introduced by Wollan in [The structure of graphs not admitting a fixed immersion, Journal of Combinatorial Theory, Series B, 110:47 - 66, 2015]. It is defined via tree-cut decompositions, which are tree-like decompositions that highlight small (edge) cuts in a graph. In that sense, tree-cut decompositions can be seen as an edge-version of tree-decompositions and have algorithmic applications on problems that remain intractable on graphs of bounded treewidth. In this paper, we prove that every graph admits an optimal tree-cut decomposition that satisfies a certain Menger-like condition similar to that of the lean tree decompositions of Thomas [A Menger-like property of tree-width: The finite case, Journal of Combinatorial Theory, Series B, 48(1):67 - 76, 1990]. This allows us to give, for every k in N, an upper-bound on the number immersion-minimal graphs of tree-cut width k. Our results imply the constructive existence of a linear FPT-algorithm for tree-cut width.

研究の動機と目的

• 木カット分解（木分解の辺中心な類似物）に対して、元々木幅の文脈で示されたトーマスのきつさ性質を拡張すること。
• 任意のグラフが、辺素なパスと辺分離集合に基づくきつさ条件を満たす最小幅の木カット分解を有することを確立すること。
• グラフ埋め込みにおける障害のサイズを制限する理論的基盤を提供し、グラフ埋め込みの文脈での動的計画法の実現を可能にすること。
• 木幅におけるきつさの概念（頂点分離集合に基づく）を、木カット幅のような辺中心のグラフ分解へ一般化すること。

提案手法

• 木カット分解の太さ値の辞書式順序を用いて、最小化基準を定義する。
• 特定の条件下で、与えられた木カット分解を太さが厳密に小さい新たな分解に変換する還元技術を適用し、最小構成に到達する。
• 元の分解 (T, X) から、リンクと接着集合を変更することで、太さを低下させる修正された木カット分解 (U, Y) を構成する。
• 辺カットに関するメンガーの定理の変種を用いて、分解内での辺集合 A と B 間の連結性を分析する。
• 低辺カットを処理するためのグラフ圧縮と埋め込みの議論を用いて、一般ケースを3辺連結グラフに還元する。
• 頂点数に関する帰納法を用い、小さいグラフで結果が成り立つならば、成分のきつい分解を組み合わせ、最小カットを介して全体のグラフに対しても成立することを証明する。

実験結果

リサーチクエスチョン

• RQ1 任意のグラフは、木幅に関するトーマスの結果と類似したきつさ性質を満たす最小幅の木カット分解を有するか？
• RQ2 辺素なパスと辺分離集合に基づくきつさ条件は、木カット分解に対して保証可能か？
• RQ3 元々木幅の文脈で定義されたきつさの概念（頂点分離集合に基づく）は、木カット分解のような辺中心のグラフ分解へどのように適応可能か？
• RQ4 3辺連結性などのグラフの構造的性質（例：3辺連結性）は、このようなきつい分解の存在を可能にするか？
• RQ5 この結果を用いて、木カット幅が有界なグラフの埋め込み障害のサイズを制限できるか？

主な発見

• 任意のグラフは、その木カット幅に正確に等しい幅を持つ木カット分解を有し、かつその分解はきつい性質を満たす。
• きつい性質により、分解木上の任意の2辺 a, b および任意の等サイズの部分集合 A ⊆ adh(a), B ⊆ adh(b) に対して、A から B へ k 個の辺素パスが存在する、または a と b の間のパス上に、接着サイズが k より小さいリンクが存在する。
• 証明は太さの最小化に依拠しており、最小太さを持つ分解は必然的にきつい性質を満たすことを示している。
• 頂点数に関する帰納法を用いて証明がなされ、問題は3辺連結グラフに還元された。
• 3辺連結グラフでは、太さの最小化と接着集合の構造的解析により、きつい分解の存在が保証される。
• 構成法は幅を保存し、結果として得られる分解は最小幅かつきつい性質を満たしており、きつさの概念が辺中心の幅パラメータへ拡張可能であることを示している。