[论文解读] Incompressibility of H-free edge modification problems: Towards a dichotomy

Dániel Marx, R. B. Sandeep|arXiv (Cornell University)|Apr 24, 2020

Optimization and Search Problems被引用 5

一句话总结

本文建立了一个框架，用于分类顶点数不少于五个的图 H 的 H-自由边修改问题（编辑、删除、补全）的核化复杂度。通过识别有限个关键的五元图集合（编辑问题为九个，删除问题为十九个），作者证明：若对这些图证明不可压缩性，则在标准复杂度假设下，所有非完全图、非空图 H（顶点数五或以上）的不可压缩性亦可被推导出。

ABSTRACT

Given a graph $G$ and an integer $k$, the $H$-free Edge Editing problem is to find whether there exists at most $k$ pairs of vertices in $G$ such that changing the adjacency of the pairs in $G$ results in a graph without any induced copy of $H$. The existence of polynomial kernels for $H$-free Edge Editing received significant attention in the parameterized complexity literature. Nontrivial polynomial kernels are known to exist for some graphs $H$ with at most 4 vertices, but starting from 5 vertices, polynomial kernels are known only if $H$ is either complete or empty. This suggests the conjecture that there is no other $H$ with at least 5 vertices were $H$-free Edge Editing admits a polynomial kernel. Towards this goal, we obtain a set $\\mathcal{H}$ of nine 5-vertex graphs such that if for every $H\\in\\mathcal{H}$, $H$-free Edge Editing is incompressible and the complexity assumption $NP \ ot\\subseteq coNP/poly$ holds, then $H$-free Edge Editing is incompressible for every graph $H$ with at least five vertices that is neither complete nor empty. That is, proving incompressibility for these nine graphs would give a complete classification of the kernelization complexity of $H$-free Edge Editing for every $H$ with at least 5 vertices. We obtain similar result also for $H$-free Edge Deletion. Here the picture is more complicated due to the existence of another infinite family of graphs $H$ where the problem is trivial (graphs with exactly one edge). We obtain a larger set $\\mathcal{H}$ of nineteen graphs whose incompressibility would give a complete classification of the kernelization complexity of $H$-free Edge Deletion for every graph $H$ with at least 5 vertices. Analogous results follow also for the $H$-free Edge Completion problem by simple complementation.

研究动机与目标

• 为顶点数不少于五个的图 H 的 H-自由边编辑问题建立核化复杂度的二分法。
• 识别一个有限的关键五元图集合，使得对这些图证明不可压缩性，即可推出所有其他非完全图、非空图 H（顶点数五或以上）的不可压缩性。
• 通过补集和结构分析，将分类结果扩展至 H-自由边删除与补全问题。
• 解决关于爪形图与其它特殊图类的多项式核存在的开放问题。
• 为 H-自由边修改问题的完全二分法（多项式核化与不可压缩性）奠定基础。

提出的方法

• 识别出九个五元图（HE），使得对其中所有图证明不可压缩性，即可推出所有非完全图、非空图 H（顶点数 ≥5）的不可压缩性。
• 基于有界深度搜索树和 H-自由图中的结构约束，构建归约框架，假设 NP ⊈ coNP/poly，证明不可压缩性。
• 将相同方法应用于边删除问题，由于存在一个平凡的无限图族（恰好含一条边的图），识别出更大的 19 个图集合（HD）。
• 利用补集操作，将边编辑问题的结果扩展至边补全问题。
• 依赖于分析诱导子图（如 C4、P3、钻石图）和公共邻点约束的结构引理，推导出解构造中的矛盾。
• 结合禁止边条件与邻域归纳论证，证明任何保持 H-自由性的解都必须避免特定结构。

实验结果

研究问题

• RQ1 若 H 是一个顶点数不少于五个的非完全图、非空图，H-自由边编辑问题在标准复杂度假设下是否不可压缩？
• RQ2 能否通过证明一个有限的关键五元图集合的不可压缩性，从而排除所有此类 H 的 H-自由边编辑问题存在多项式核的可能性？
• RQ3 H-自由边删除问题中，哪些图 H 是不可压缩的？其与编辑问题的差异何在？这是否因存在平凡情况而不同？
• RQ4 H-自由边编辑问题若不存在多项式核，是否可推广至所有满足 |V(H)| ≥ 5 且 H 既非完全图也非空图的 H？
• RQ5 该框架能否扩展至包含两个禁止图的 H-自由边修改问题，例如 {爪形图, 钻石图}？

主要发现

• 本文识别出一个包含九个五元图的集合 HE，使得若对所有 H ∈ HE 证明不可压缩性，则可推出所有非完全图、非空图 H（|V(H)| ≥ 5）的不可压缩性。
• 对于 H-自由边删除问题，由于存在一个额外的平凡无限图族（恰好含一条边的图），识别出更大的 19 个图集合 HD，其蕴含关系相同。
• 通过补集操作，结果可扩展至 H-自由边补全问题，从而获得对称的分类。
• 该框架为未来研究提供了完整的边界：若对 HE 或 HD 中的图证明不可压缩性，即可实现核化复杂度的完整二分法。
• 本文解决了 H-自由边修改问题的核化复杂度边界，将开放问题简化为有限多个情形。
• 结果支持如下猜想：若 NP ⊆ coNP/poly 不成立，则对任意满足 |V(H)| ≥ 5 且 H 既非完全图也非空图的 H，均不存在多项式核。