[论文解读] 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-blocks。证明了每个有限图或拟阵都存在一个粘合度小于k的规范树分解，该分解通过单个在自同构下不变的分解，高效地区分所有k-特征，包括tangles和blocks。这导致了一个关于特征的新对偶定理，并推广了如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-blocks统一为一个共同的抽象概念：即图和拟阵中tangles与k-blocks的统一抽象。
• 证明在有限图中存在一个粘合度小于k的规范树分解，该分解可高效地区分所有可区分的tangles和稳健的k-blocks。
• 将该结果扩展至有限拟阵和抽象分离系统，建立统一的分解框架。
• 为k-特征提供一个对偶定理，表明图要么具有k-特征，要么可实现一个特定树分解以揭示其不存在。
• 通过在特征框架下重新表述，解决一个开放问题：是否每个k-tangle都可通过顶点集和割条件产生。

提出的方法

• 特征被定义为图或拟阵中集合Sk（即(k−1)-分离）的一致方向，从而推广tangles和k-blocks。
• 构建一个规范树分解，使得每条边对应Sk中的一个分离，且该分解尊重底层结构的自同构。
• 通过确保任意两个特征相对于该分离在相反方向上定向，使分解能高效地区分特征。
• 该证明利用了分离系统的抽象结构，并应用了先前关于禁止星形结构的对偶定理，以刻画k-特征不存在的条件。
• 将该框架应用于边-tangles，作为推论恢复了Gomory-Hu定理，证明了其广泛应用性。
• 采用禁止星形结构对特征的刻画，推导出对偶定理：图要么具有k-特征，要么可实现来自特定族T_P(k)的树分解。

实验结果

研究问题

• RQ1 是否每个有限图中的所有tangles和k-blocks都能通过一个粘合度小于k的规范树分解高效地区分？
• RQ2 是否存在一个共同的抽象概念——特征——可统一推广图和拟阵中的tangles与k-blocks？
• RQ3 能否为k-特征建立一个对偶定理，使得图要么具有k-特征，要么可实现来自特定族T_P(k)的树分解？
• RQ4 图中所有k-特征是否都如tangles的情形一样，可通过固定顶点集和割条件产生？
• RQ5 该特征框架能否扩展至图和拟阵之外的抽象分离系统？

主要发现

• 每个有限图都存在一个粘合度小于k的规范树分解，可高效地区分其所有k-特征，包括k-tangles和稳健的k-blocks。
• 由于特征的统一作用，同一分解可同时区分tangles和k-blocks，甚至能将它们相互区分。
• 将该框架应用于边-tangles，作为推论恢复了Gomory-Hu定理，证明了其广泛适用性。
• k-特征存在对偶定理：有限图要么具有k-特征，要么可实现来自族T_P(k)的树分解，该分解可揭示此类特征的不存在性。
• 图中k-特征的存在性等价于T_P(k)中不存在树分解，从而提供了结构表征。
• 特征可通过禁止星形条件刻画，即使对非经典tangle-like结构，也能实现对偶定理。