[论文解读] The structure of graphs not admitting a fixed immersion

Paul Wollan|arXiv (Cornell University)|Feb 15, 2013

Advanced Graph Theory Research参考文献 15被引用 4

一句话总结

该论文建立了排除固定完全图 $K_t$ 作为浸入子图的图的结构特征，引入了基于边割而非顶点割的树切割分解作为新颖的分解框架。证明了具有大树切割宽度的图必然包含一个大的墙作为浸入子图，将网格极小子图定理推广到浸入设定，并具有与墙大小的多项式依赖关系。

ABSTRACT

We present an easy structure theorem for graphs which do not admit an immersion of the complete graph. The theorem motivates the definition of a variation of tree decompositions based on edge cuts instead of vertex cuts which we call tree-cut decompositions. We give a definition for the width of tree-cut decompositions, and using this definition along with the structure theorem for excluded clique immersions, we prove that every graph either has bounded tree-cut width or admits an immersion of a large wall.

研究动机与目标

• 为不包含固定 $t$ 的完全图 $K_t$ 的弱浸入的图建立结构表征。
• 引入基于边割的树切割分解作为新的分解方法，类似于基于顶点割的树分解。
• 为树切割分解定义宽度参数，并建立类似于树宽的网格极小子图定理的对偶结果。
• 证明具有足够大树切割宽度的图必然包含一个大的墙作为浸入子图，提供一种结构二分法。

提出的方法

• 引入一种新的分解框架，称为树切割分解，其中分解树基于边割而非顶点割构建。
• 基于分解树中任意割所跨越的最大边数来定义树切割分解的宽度。
• 利用结构定理证明：排除 $K_t$ 浸入的图具有有界附着力和有界主体大小的树切割分解。
• 采用递归分解策略，整合子图并将其连接到中心顶点，以构建全局树切割分解。
• 使用边分裂和顶点抑制操作，将弱浸入与子图操作关联，从而实现结构分析。
• 利用图极小子图理论的结果，并借鉴网格极小子图定理的技术，建立树切割宽度蕴含墙浸入的多项式界。

实验结果

研究问题

• RQ1 对于固定的 $t$，不包含 $K_t$ 弱浸入的图具有哪些结构特性？
• RQ2 基于边割而非顶点割的分解是否能为分析图浸入提供有用的框架？
• RQ3 大树切割宽度与图中存在大墙作为浸入子图之间是否存在对偶关系？
• RQ4 能否通过树切割分解将网格极小子图定理推广到图浸入的设定？

主要发现

• 排除 $K_t$ 弱浸入的图具有树切割分解，其附着力至多为 $4r^{10}w(r)$，其中 $w(r)$ 是与墙大小相关的函数。
• 所构造的树切割分解的宽度被限制在 $4r^{10}w(r)$ 以内，建立了树切割宽度与浸入性质之间的定量关系。
• 所有具有足够大樹切割寬度的圖都包含一個大的牆作為浸入子圖，且寬度界依賴於牆大小 $r$ 的多項式函數。
• 證明依賴於將圖遞歸分解為有界主體大小和受控邊割的子圖，最終形成具有有界寬度的全局分解。
• 該結果提供了一種結構二分法：圖的樹切割寬度有界，或者其包含一個大的牆作為浸入子圖，類比於网格極小子圖定理。