[論文レビュー] Computing with Tangles

Martin Grohe, Pascal Schweitzer|arXiv (Cornell University)|Feb 28, 2015

Advanced Graph Theory Research参考文献 21被引用数 8

ひとこと要約

この論文は、グラフやその他の組合せ的構造におけるk連結成分の一般化である、双対性に基づく抽象的構造であるtangle（ねじれ）を扱う多項式時間のアルゴリズム的フレームワークを提示する。固定された順序kに対するtangleのコンパクトなデータ構造とメンバーシップオラクルを導入することで、tangle部への正規化された木分解の効率的計算が可能となり、構造的グラフ理論における存在定理と実装可能なアルゴリズムの間の長年のギャップを解消する。

ABSTRACT

Tangles of graphs have been introduced by Robertson and Seymour in the context of their graph minor theory. Tangles may be viewed as describing "k-connected components" of a graph (though in a twisted way). They play an important role in graph minor theory. An interesting aspect of tangles is that they cannot only be defined for graphs, but more generally for arbitrary connectivity functions (that is, integer-valued submodular and symmetric set functions). However, tangles are difficult to deal with algorithmically. To start with, it is unclear how to represent them, because they are families of separations and as such may be exponentially large. Our first contribution is a data structure for representing and accessing all tangles of a graph up to some fixed order. Using this data structure, we can prove an algorithmic version of a very general structure theorem due to Carmesin, Diestel, Harman and Hundertmark (for graphs) and Hundertmark (for arbitrary connectivity functions) that yields a canonical tree decomposition whose parts correspond to the maximal tangles. (This may be viewed as a generalisation of the decomposition of a graph into its 3-connected components.)

研究の動機と目的

• tangleのアルゴリズム的非可解性に取り組む。tangleは分離の指数的サイズの集合として定義され、その表現や計算が困難であるため。
• CarmesinらやHundertmarkらの存在的分解定理（例：Carmesin et al., Hundertmark）と、tangleに基づく分解の実装可能なアルゴリズムとの間のギャップを埋める。
• 固定された順序kのすべてのtangleをコンパクトに表現し、分離に関する効率的なメンバーシップクエリをサポートするデータ構造を提供する。
• 固定されたkに対して、tangle部への正規化された木分解を多項式時間で計算できることを証明する。これは、従来の非構成的結果の拡張である。
• このフレームワークを、グラフ、ハイパーグラフ、マトロイドに適用可能な任意の整数値をとる対称な部分加法的接続関数へ一般化する。

提案手法

• 階層的分解と正規化された分離選択を用いて、固定された順序kのすべてのtangleをコンパクトに符号化するデータ構造を設計する。
• 与えられた分離とtangleに対して、『大きな側』を固定されたkに対してO(poly(n))時間でクエリごとに特定するメンバーシップオラクルを実装する。
• 部分加法的関数の最小化をコアサブルーチンとして用い、集合とtangleの間の左端最小分離を計算する。
• 反復的にベースツリーをtangle整合的な分離選択と高さ低減ヒューリスティクスを用いて精錬することで、有向木分解を構築する。
• tangleとブランチ分解の双対性を活用して、得られた木分解が正規性の性質（例：同型拡張）を満たすことを証明する。
• オラクルアクセスを介して任意の接続関数にフレームワークを適用し、グラフ、マトロイド、ハイパーグラフの間で一般性を保証する。

実験結果

リサーチクエスチョン

• RQ1 一貫性条件を満たす分離の族として定義されるtangleは、指数的サイズをとる可能性があるが、そのようなtangleを多項式時間アルゴリズムで表現・計算可能か？
• RQ2 固定されたtangle順序kに対して、与えられた接続関数について、tangle部への正規化された木分解を多項式時間で計算可能か？
• RQ3 すべてのtangleを列挙せずに、与えられた分離に対して、特定のtangleに関して『大きな側』がどの側かを効率的に特定することは可能か？
• RQ4 Carmesin、Diestel、Hundertmarkらの抽象的分解定理は、一般でオラクルベースのフレームワークによってアルゴリズム化可能か？
• RQ5 tangleに基づく分解を実際の計算に可能にするために、どのようなアルゴリズム的サブルーチン（例：最小分離のためのもの）が必要か？

主な発見

• 著者らは、固定されたkに対して、すべてのtangleを多項式時間で表現するデータ構造を提示し、メンバーシップオラクルが固定kに対して多項式時間で『大きな側』クエリに応答できることを示した。
• tangle部への正規化された木分解は、サイズnの基本集合と固定されたtangle順序kに対して、時間O(n^{O(k)})で計算可能である。
• このフレームワークは一般性を有し、グラフ、マトロイド、ハイパーグラフに適用可能な任意の整数値をとる対称な部分加法的接続関数に適用可能である。
• 構成により、入力構造間の同型が、得られた分解間の同型へ拡張され、『正規性』の性質が保たれる。
• この手法は部分加法的関数の最小化に依存し、tangleと集合の間の左端最小分離を計算することで、効率的な木分解構築が可能になる。
• tangleに基づく構造理論におけるアルゴリズム的ギャップが解消され、存在的分解定理が実装可能なアルゴリズムに変換された。