[论文解读] Linear Kernels on Graphs Excluding Topological Minors

Alexander Langer, Felix Reidl+2 more|arXiv (Cornell University)|Jan 13, 2012

Advanced Graph Theory Research参考文献 18被引用 6

一句话总结

该论文证明，任何具有有限整数指标且具备分岔宽有界性质的图问题，均能在排除固定拓扑小图的图类上获得线性核。通过利用H-拓扑小图自由图的结构特性及一个关键分解引理，作者将先前关于无小图和有界亏格图的结果进行推广，证明了Feedback Vertex Set、Chordal Vertex Deletion和Edge Dominating Set等典型问题在线性核上的可行性。

ABSTRACT

We show that problems which have finite integer index and satisfy a requirement we call treewidth-bounding admit linear kernels on the class of $H$-topological-minor free graphs, for an arbitrary fixed graph $H$. This builds on earlier results by Fomin et al.\ on linear kernels for $H$-minor-free graphs and by Bodlaender et al.\ on graphs of bounded genus. Our framework encompasses several problems, the prominent ones being Chordal Vertex Deletion, Feedback Vertex Set and Edge Dominating Set.

研究动机与目标

• 将线性核化理论从H-无小图图类扩展至更广泛的H-拓扑小图自由图类。
• 识别出在稀疏图类中，问题能获得线性核的充分条件——有限整数指标和分岔宽有界性。
• 统一并推广先前在平面图、有界亏格图和无小图图中关于线性核的研究成果。
• 展示该框架在Feedback Vertex Set和Chordal Vertex Deletion等重要问题上的适用性。
• 探讨该框架在拓扑小图自由图上的连通变体及宽度有界删除问题中的影响。

提出的方法

• 引入并形式化分岔宽有界问题的概念，即存在一个小型顶点集合，可使剩余图的分岔宽降至常数。
• 将有限整数指标定义为一种性质，确保存在可替换的小型结构，能模拟较大结构的行为。
• 利用H-拓扑小图自由图的一个关键结构引理，限制需进行核化的大而复杂的连通分量的数量。
• 应用利用有限整数指标的规约规则，将图中大而非关键的部分压缩为有界大小的子结构。
• 利用H-拓扑小图自由图中分岔宽、分支宽和团宽在常数因子范围内的等价性，确保核大小的有界性。
• 设计一个多项式时间运行的核化算法，生成大小与参数k成线性关系的核。

实验结果

研究问题

• RQ1 在弱于H-无小图图类所需条件的假设下，是否可在H-拓扑小图自由图上获得线性核？
• RQ2 哪些具有有限整数指标和分岔宽有界性质的标准图问题可在H-拓扑小图自由图上获得线性核？
• RQ3 H-拓扑小图自由图的结构特性在多大程度上允许其核化能力超越H-无小图图类？
• RQ4 若缺乏结构定理（如Grohe-Marx分解），是否阻碍线性核的推导？抑或可通过其他途径实现？
• RQ5 该框架能否扩展至连通变体的顶点删除问题，这些问题是非强单调的？

主要发现

• 任何具有有限整数指标和分岔宽有界性质的问题，均能在H-拓扑小图自由图上获得线性核。
• 该框架适用于Feedback Vertex Set、Chordal Vertex Deletion、Edge Dominating Set以及若干其他顶点删除问题。
• 连通变体如Connected Vertex Cover和Connected Cluster Vertex Deletion在相同条件下也具有线性核。
• 在H-拓扑小图自由图上，通过删除k个顶点以限制树宽、分支宽或团宽的问题，具有线性核。
• 对于具有有限整数指标的二分问题，线性核存在于H-拓扑小图自由图上，从而扩展了二分性框架。
• 该结果不依赖于H-拓扑小图自由图的Grohe-Marx结构定理，而是基于一个直接的结构引理。