[论文解读] 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

一句话总结

本文证明了每个图都存在一种最小宽度的树切割分解，其满足类似于Thomas针对树宽原始结果的瘦化性质。作者通过将问题约化为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.

研究动机与目标

• 将Thomas的瘦化性质——最初针对树宽提出——推广至树切割分解，后者是树分解的以边为中心的类比。
• 证明每个图都存在一种最小宽度的树切割分解，其满足基于边不相交路径与边分离器的瘦化条件。
• 为界定浸入障碍物的大小并支持图浸入背景下动态规划的理论基础提供支持。
• 将瘦化概念从基于顶点的连通性（树宽）推广至基于边的连通性（树切割宽度）。

提出的方法

• 使用肥度值的词典序定义树切割分解的最小化准则。
• 应用一种约化技术，将给定的树切割分解转化为具有严格更小肥度的新分解，前提是满足特定条件，从而达到最小配置。
• 通过修改链接与粘合关系，从原始分解(T, X)构造出修改后的树切割分解(U, Y)，以降低肥度。
• 利用边割的Menger定理变体，分析分解中两组边A与B之间的连通性。
• 通过图收缩与浸入论证处理低边割，将一般情况约化为3-边连通图。
• 基于顶点数进行归纳，证明若该结果对更小的图成立，则通过对各连通分量的瘦化分解与最小割进行组合，可推广至整个图。

实验结果

研究问题

• RQ1 每个图是否都存在一种最小宽度的树切割分解，其满足类似于Thomas对树宽结果的瘦化性质？
• RQ2 基于边不相交路径与边分离器的瘦化条件，是否可保证在树切割分解中成立？
• RQ3 原本定义于树宽中基于顶点分离器的瘦化概念，如何适应于如树切割分解这类基于边的图分解？
• RQ4 图的哪些结构性质（如3-边连通性）可保证此类瘦化分解的存在？
• RQ5 该结果是否可用于界定有界树切割宽度图的浸入障碍物大小？

主要发现

• 每个图都存在一种宽度恰好等于其树切割宽度的树切割分解，且满足瘦化性质。
• 瘦化性质确保：对分解树中任意两条边a、b，以及任意大小相等的子集A ⊆ adh(a)，B ⊆ adh(b)，要么存在k条A到B的边不相交路径，要么a与b之间路径上的某条链接的粘合大小小于k。
• 证明依赖于肥度最小化论证，表明具有最小肥度的分解必为瘦化分解。
• 该结果通过顶点数的归纳法建立，问题被约化为3-边连通图。
• 对于3-边连通图，通过肥度最小化与粘合集的结构分析，可保证瘦化分解的存在性。
• 该构造保持宽度，并确保所得分解既为最小宽度，又满足瘦化性质，从而将瘦化概念的适用性扩展至基于边的宽度参数。