[論文レビュー] Tangled up in Blue (A Survey on Connectivity, Decompositions, and Tangles)

Martin Grohe|arXiv (Cornell University)|May 21, 2016

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

ひとこと要約

本調査は、対称な部分単調関数によって定義される接続性系における分岐分解とタングルの間の抽象的双対理論を構築する。k > 3 の場合の k-接続成分の一般化として、最大のタングルへの正規化分解を確立し、接続性関数へのオラクルアクセスを介したこれらの構造の計算にためのアルゴリズム的基盤を提供する。幅が有界な分解およびタングルツリー構築に関しては、効率的なアルゴリズムが得られる。

ABSTRACT

We survey an abstract theory of connectivity, based on symmetric submodular set functions. We start by developing Robertson and Seymour's fundamental duality between branch decompositions (related to the better-known tree decompositions) and so-called tangles, which may be viewed as highly connected regions in a connectivity system. We move on to studying canonical decompositions of connectivity systems into their maximal tangles. Last, but not least, we will discuss algorithmic aspect of the theory.

研究の動機と目的

• 対称な部分単調関数によって定義される接続性系における分岐分解とタングルの間の双対性を形式化すること。
• 3-接続成分を超える接続性系において、高接続領域（タングル）への正規化分解が不足している問題を解決すること。
• 接続性関数のオラクルモデルを想定し、タングルに基づく分解および分岐分解を計算するためのアルゴリズム的基盤を提供すること。
• タングルを最大の高接続領域として用いて、k-接続成分の概念をより高い接続レベルに一般化すること。
• 幅が有界な接続性系におけるタングルツリーデコンポジションおよび分岐分解の計算に向けた効率的アルゴリズムを確立すること。

提案手法

• 接続性関数として対称な部分単調集合関数を用い、関数値によって分離とその順序を定義する。
• 分岐分解とタングルの間の双対理論を適用し、タングルは低順序の分離に対して耐性を持つ高接続領域を表す。
• ツリー分解におけるタングルノードの概念を導入し、タングルをノードへの正規化写像によって関連付ける。
• アルゴリズムが部分集合の値へのクエリを介して接続性関数にアクセスするオラクルモデルを採用し、指数的表現を回避する。
• すべての順序が k 以下のタングルを扱うデータ構造を構築し、属するか否かのクエリおよび最小分離に関するクエリをサポートする。
• 部分単調関数の最小化をコアなプリミティブとして用い、固定された k に対して n に関して多項式時間で近似および正確な分岐分解を計算する。

実験結果

リサーチクエスチョン

• RQ1 低順序の分離に沿って、どのように接続性系を分岐分解によって分解できるか？
• RQ2 従来の k-接続成分が k > 3 の場合に機能しなくなる状況において、接続性系における「高接続領域」とは何を意味するか？
• RQ3 k-接続成分分解に類似した、接続性系の最大タングルへの正規化分解が存在するか？
• RQ4 接続性関数へのオラクルアクセスを用いて、タングルツリーデコンポジションを効率的に計算できるか？
• RQ5 幅が有界な接続性系における分岐分解およびタングルツリーの計算のアルゴリズム的複雑度は何か？

主な発見

• すべての接続性系は、その最大タングルへの正規化分解を有する。これらは基本的な高接続成分として機能する。
• 最大タングルの数は、宇宙のサイズよりも厳密に小さいため、有限で構造的な分解が保証される。
• 分岐幅 k の一価接続性関数に対して、オラクルアクセスを用いて時間 f(k)n^O(1) で、幅が 3k+1 以下の分岐分解を計算可能である。
• 任意の接続性関数に対して、正確な分岐分解を時間 n^O(k) で計算可能である。
• すべての順序が k 以下のタングルを扱うデータ構造は、時間 n^O(k) で構築可能であり、効率的なタングルツリーデコンポジションの計算を可能にする。
• グラフや表現可能なマトロイドの関数など、良好に振る舞う関数に対しては、タングルツリーデコンポジションが時間 f(k)n^3 で計算可能である。