[论文解读] Unit Interval Vertex Deletion: Fewer Vertices are Relevant

Yuping Ke, Yixin Cao+2 more|arXiv (Cornell University)|Jul 5, 2016

Advanced Graph Theory Research参考文献 9被引用 8

一句话总结

本文提出了一种单位区间点删除问题的 $O(k^4)$-顶点核，相较于先前的 $O(k^{53})$ 核有显著改进。通过在单位区间图中引入一种新颖的团划分技术，并使用常数近似模量，作者简化了禁止子图的分析，实现了更高效的核化算法，时间复杂度为 $O(nm)$。

ABSTRACT

The unit interval vertex deletion problem asks for a set of at most $k$ vertices whose deletion from an $n$-vertex graph makes it a unit interval graph. We develop an $O(k^4)$-vertex kernel for the problem, significantly improving the $O(k^{53})$-vertex kernel of Fomin, Saurabh, and Villanger [ESA'12; SIAM J. Discrete Math 27(2013)]. We introduce a novel way of organizing cliques of a unit interval graph. Our constructive proof for the correctness of our algorithm, using interval models, greatly simplifies the destructive proofs, based on forbidden induced subgraphs, for similar problems in literature.

研究动机与目标

• 与现有结果相比，开发更小、更高效的单位区间点删除问题核。
• 通过用常数近似模量替代花 lemma，简化核化过程。
• 提供一种基于区间模型的构造性证明以确保正确性，避免使用禁止子图的复杂破坏性证明。
• 在保持多项式时间核化的同时，将核大小从 $O(k^{53})$ 降低至 $O(k^4)$。
• 将核化运行时间提升至 $O(nm)$，使其在大规模图上更具实用性。

提出的方法

• 将 $G - M$（其中 $M$ 为模量）的顶点划分为团，并线性组织，使得每个顶点仅与相邻团中的顶点相邻。
• 使用常数近似算法构造大小为 $O(k)$ 的模量 $M$，避免花 lemma 产生的庞大模量。
• 应用规约规则，删除禁止诱导子图（爪形图、网形图、帐篷图、$C_4$、$C_5$）中的顶点，并在每次删除后保持解的 $6$-近似。
• 通过重用第一阶段的部分解并仅重新处理受影响的子图，在 $O(m)$ 时间内高效重新计算模量。
• 将划分中的非相邻团收缩，将团的数量减少至 $O(k^2)$，确保每个团中仅有 $O(k^3)$ 个顶点可能相关。
• 使用区间模型提供构造性正确性证明，相较于传统的基于禁止子图的破坏性证明，使分析更为简化。

实验结果

研究问题

• RQ1 通过用常数近似模量替代花 lemma，能否实现单位区间点删除问题更小的核？
• RQ2 如何更高效地分析模量与图其余部分的交互作用，以识别无关顶点？
• RQ3 能否用基于区间模型的构造性证明替代基于禁止诱导子图的复杂破坏性证明？
• RQ4 使用线性时间核化算法，可达到的最紧核大小是多少？
• RQ5 能否实现该问题的线性顶点核，还是 $O(k^4)$ 是最优可能？

主要发现

• 本文实现了单位区间点删除问题的 $O(k^4)$-顶点核，相较于先前的 $O(k^{53})$ 核有显著改进。
• 核化算法的运行时间为 $O(nm)$，比以往方法更高效，后者常忽略详细的运行时间分析。
• 在 $G - M$ 的线性团划分中，团的数量被限制在 $O(k^2)$，从而限制了相关顶点的数量。
• 每个团中最多有 $O(k^3)$ 个顶点可能相关，总核大小为 $O(k^5)$，经仔细分析后精炼为 $O(k^4)$。
• 使用常数近似模量使模量结构比花 lemma 更为简洁，从而实现更清晰、更直观的分析。
• 基于区间模型的构造性证明相较于传统的基于禁止子图的破坏性证明，极大地简化了正确性论证。