[论文解读] Polynomial kernelization for removing induced claws and diamonds

Marek Cygan, Marcin Pilipczuk+3 more|Warwick Research Archive Portal (University of Warwick)|Mar 2, 2015

Advanced Graph Theory Research参考文献 14被引用 5

一句话总结

本文提出了一种针对 {claw,diamond}-free Edge Deletion 问题的多项式核化方法，证明了通过删除至多 k 条边以消除图中所有诱导的爪形图与钻石图，可被归约为大小关于 k 的多项式时间等价实例。该方法利用了 {claw,diamond}-free 图作为无三角形图的线图的结构特性，并通过基于模组的约化与对边删除情况的案例分析，实现了核化。

ABSTRACT

A graph is called (claw,diamond)-free if it contains neither a claw (a $K_{1,3}$) nor a diamond (a $K_4$ with an edge removed) as an induced subgraph. Equivalently, (claw,diamond)-free graphs can be characterized as line graphs of triangle-free graphs, or as linear dominoes, i.e., graphs in which every vertex is in at most two maximal cliques and every edge is in exactly one maximal clique. In this paper we consider the parameterized complexity of the (claw,diamond)-free Edge Deletion problem, where given a graph $G$ and a parameter $k$, the question is whether one can remove at most $k$ edges from $G$ to obtain a (claw,diamond)-free graph. Our main result is that this problem admits a polynomial kernel. We complement this finding by proving that, even on instances with maximum degree $6$, the problem is NP-complete and cannot be solved in time $2^{o(k)}\cdot |V(G)|^{O(1)}$ unless the Exponential Time Hypothesis fail

研究动机与目标

• 为解决自 2013 年 Workshop on Kernels (WorKer) 以来悬而未决的 {claw,diamond}-free Edge Deletion 问题的参数化复杂性。
• 确定该边修改问题是否具有多项式核化，鉴于此类核化在边修改问题中极为罕见。
• 通过分析同时禁止爪形图与钻石图的简化情形，为解决更一般的 Claw-free Edge Deletion 问题提供结构基础。
• 通过利用 {claw,diamond}-free 图的更简单禁止子图结构，探索线图相关问题核化的可行性。

提出的方法

• 作者采用基于模组的方法，识别出一个至多包含 4k 个顶点的集合 X，使得删除 X 后图变为 {claw,diamond}-free。
• 他们利用了 {claw,diamond}-free 图可表征为无三角形图的线图以及线性多米诺的特性，从而能够对边与团之间的关系进行结构分析。
• 关键技术在于对边删除后图中爪形图可能出现位置的案例分析，尤其关注高阶度顶点或特定邻域结构的顶点。
• 证明使用了一条约化规则，根据局部配置对边进行收缩或删除，确保核中仅保留下界数量的边。
• 他们结合结构约束与基于花 Lemma 的论证，将核的大小以关于 k 的多项式形式进行有界。
• 分析中包含一个反证法，用以证明某些边删除模式无法保持爪形图，从而验证了核化规则的正确性。

实验结果

研究问题

• RQ1 该 {claw,diamond}-free Edge Deletion 问题是否具有多项式核化？
• RQ2 能否利用 {claw,diamond}-free 图的结构特性来设计高效的核化规则？
• RQ3 尽管边修改问题通常具有高度困难性，该问题是否仍具有固定参数可满足性并拥有多项式核化？
• RQ4 该结果能否推广至更广泛的 Claw-free Edge Deletion 问题？
• RQ5 在指数时间假设（ETH）下，该问题的参数化复杂性如何？

主要发现

• {claw,diamond}-free Edge Deletion 问题具有多项式核化，且核的大小被有界在关于参数 k 的多项式范围内。
• 该问题在最大度为 6 的图上仍是 NP 完全的，表明其具有强不可解性。
• 除非指数时间假设（ETH）不成立，否则该问题无法在 2^o(k) · |V(G)|^O(1) 时间内求解，说明朴素的 5^k 分支算法本质上是最优的。
• {claw,diamond}-free 图可表征为无三角形图的线图的结构特性，使得核化框架得以清晰构建。
• 该证明技术为解决更复杂的 Claw-free Edge Deletion 问题提供了工具箱，尤其在图本身为线图的情况下。
• 结果表明，相关 Line Graph Edge Deletion 问题具有很高的多项式核化潜力，尽管一般情况因禁止子图集合更大而更为复杂。