[論文レビュー] Profiles of separations: in graphs, matroids and beyond

Reinhard Diestel, Fabian Hundertmark+1 more|arXiv (Cornell University)|Oct 27, 2011

Advanced Graph Theory Research参考文献 9被引用数 20

ひとこと要約

本稿では、グラフおよびマトロイドにおける分離の一貫した方向性としての「プロファイル」を用いた統一的枠組みを導入し、tangles や k-ブロックを一般化する。有限グラフまたはマトロイドは、すべての k-プロファイル（tangles やブロックを含む）を効率的に区別する、付着度が k より小さい標準的ツリー分解を有することが示され、その分解は自己同型に関して不変である。これにより、プロファイルの新たな双対定理が得られ、Gomory-Hu の定理のような結果が拡張される。

ABSTRACT

We show that all the tangles in a finite graph or matroid can be distinguished by a single tree-decomposition that is invariant under the automorphisms of the graph or matroid. This comes as a corollary of a similar decomposition theorem for more general combinatorial structures, which has further applications. These include a new approach to cluster analysis and image segmentation. As another illustration for the abstract theorem, we show that applying it to edge-tangles yields the Gomory-Hu theorem.

研究の動機と目的

• グラフおよびマトロイドにおける tangles と k-ブロックを、分離の一貫した向きとしてのプロファイルという共通の抽象化によって一般化すること。
• 付着度 <k である標準的ツリー分解が、有限グラフにおけるすべての区別可能な tangles および強固な k-ブロックを効率的に区別することを証明すること。
• この結果を有限マトロイドおよび抽象的分離系へと拡張し、統一的な分解枠組みを確立すること。
• k-プロファイルのための双対定理を確立し、グラフが k-プロファイルを有するか、あるいはその非存在を示す特定のツリー分解を許容することを示すこと。
• すべての k-tangle が、ある固定頂点集合からカット条件を介して生じるかどうかという未解決問題を、プロファイル枠組みで再定式化すること。

提案手法

• プロファイルは、グラフまたはマトロイドにおける (k−1)-分離の集合 Sk の一貫した向きとして定義され、tangles や k-ブロックを一般化する。
• 各辺が Sk 内の分離に対応するように、自己同型を尊重する標準的ツリー分解が構成される。
• 分解により、任意の二つのプロファイルに対して、それらのプロファイルに対して逆方向に向きがつく Sk 内の分離が存在することを保証することで、プロファイルが効率的に区別される。
• 分離系の抽象的構造を活用し、先行研究における「禁止スターブロック」の双対定理を応用して、k-プロファイルの非存在を特徴付ける。
• エッジtangles にこの枠組みを適用することで、Gomory-Hu の定理が系として得られることを示す。
• 禁止スターブロックの特徴付けを用いて双対定理を導出し、グラフは k-プロファイルを有するか、あるいは特定の族 T_P(k) からのツリー分解を許容する。

実験結果

リサーチクエスチョン

• RQ1 すべての tangles および k-ブロックを、付着度 <k である単一の標準的ツリー分解によって効率的に区別できるか？
• RQ2 tangles と k-ブロックを両方一般化する共通の抽象化（すなわち、プロファイル）が存在するか？
• RQ3 k-プロファイルに対して、双対定理を確立できるか。具体的には、グラフが k-プロファイルを有するか、あるいは特定の族 T_P(k) からのツリー分解を許容するかのいずれかであるか？
• RQ4 すべての k-プロファイルが、tangle の場合と同様に、ある固定頂点集合からカット条件を介して生じるか？
• RQ5 プロファイルの枠組みは、グラフやマトロイドを超えた抽象的分離系に対しても拡張可能か？

主な発見

• すべての有限グラフは、付着度 <k である標準的ツリー分解を有し、それによりすべての k-プロファイル（k-tangles や強固な k-ブロックを含む）が効率的に区別される。
• 同じ分解により、tangles と k-ブロックが互いに区別可能であり、プロファイルの統一的役割のおかげで、両者を同時に区別できる。
• エッジtangles にこの枠組みを適用することで、Gomory-Hu の定理が系として得られ、その広範な適用可能性が示される。
• k-プロファイルに対して双対定理が成り立つ：有限グラフは k-プロファイルを有するか、あるいはその非存在を示す特定の族 T_P(k) からのツリー分解を許容する。
• グラフにおける k-プロファイルの存在は、T_P(k) に属するツリー分解の非存在と同値であり、構造的特徴づけが得られる。
• プロファイルは禁止スターブロック条件によって特徴づけられ、非古典的 tangle に類する構造に対しても双対定理が成立することが可能になる。