[论文解读] Polynomial Kernels for Hitting Forbidden Minors under Structural Parameterizations

Bart M. P. Jansen, Astrid Pieterse|arXiv (Cornell University)|Apr 24, 2018

Advanced Graph Theory Research被引用 5

一句话总结

本文首次为以树深度-η模量为参数的F-删除问题提出了多项式核化，证明了对于任意有限个连通图的集合F和常数η，该问题存在多项式核。该方法通过显式分析G−X各连通分量中禁止极小图模型的结构，将片段类型的数量限制在|X|的多项式范围内，从而实现递归预处理，且不依赖于非构造性工具（如良拟序或 protrusion 分解）。

ABSTRACT

We investigate polynomial-time preprocessing for the problem of hitting forbidden minors in a graph, using the framework of kernelization. For a fixed finite set of connected graphs F, the F-Deletion problem is the following: given a graph G and integer k, is it possible to delete k vertices from G to ensure the resulting graph does not contain any graph from F as a minor? Earlier work by Fomin, Lokshtanov, Misra, and Saurabh [FOCS'12] showed that when F contains a planar graph, an instance (G,k) can be reduced in polynomial time to an equivalent one of size $k^{O(1)}$. In this work we focus on structural measures of the complexity of an instance, with the aim of giving nontrivial preprocessing guarantees for instances whose solutions are large. Motivated by several impossibility results, we parameterize the F-Deletion problem by the size of a vertex modulator whose removal results in a graph of constant treedepth $\\eta$. We prove that for each set F of connected graphs and constant $\\eta$, the F-Deletion problem parameterized by the size of a treedepth-$\\eta$ modulator has a polynomial kernel. Our kernelization is fully explicit and does not depend on protrusion reduction or well-quasi-ordering, which are sources of algorithmic non-constructivity in earlier works on F-Deletion. Our main technical contribution is to analyze how models of a forbidden minor in a graph G with modulator X, interact with the various connected components of G-X. By bounding the number of different types of behavior that can occur by a polynomial in |X|, we obtain a polynomial kernel using a recursive preprocessing strategy. Our results extend earlier work for specific instances of F-Deletion such as Vertex Cover and Feedback Vertex Set. It also generalizes earlier preprocessing results for F-Deletion parameterized by a vertex cover, which is a treedepth-one modulator.

研究动机与目标

• 通过使用解的大小以外的结构参数，为解规模较大时的F-删除问题开发可证明高效的预处理（核化）方法。
• 克服先前核化方法依赖非构造性工具（如良拟序或 protrusion 分解）的局限性。
• 在树深度-η模量的结构参数下，建立F-删除问题的多项式核化，推广先前针对顶点覆盖和反馈顶点集问题的结果。
• 提供一种构造性、显式的核化框架，避免在F-删除问题中依赖逻辑或算法上的非构造性。

提出的方法

• 分析在移除一个树深度-η模量X后，G中禁止极小图模型与G−X的连通分量之间的相互作用。
• 引入一种带标签的极小图框架，以对每个分量中可能残留的片段类型进行分类和有界控制。
• 使用递归预处理消除冗余或等价的片段类型，确保核的大小在|X|的多项式范围内。
• 证明禁止极小图片段的不同行为类型的数量被有界为|X|的多项式，从而实现核化。
• 避免使用非构造性技术（如良拟序和protrusion约化），转而依赖显式的组合分析。
• 将该框架应用于推广已知的特定F-删除问题（如顶点覆盖和反馈顶点集）的结果。

实验结果

研究问题

• RQ1 当以树深度-η模量等结构度量为参数时，F-删除问题是否能实现多项式核化，而非以解的大小为参数？
• RQ2 是否可能在不依赖非构造性工具（如良拟序或protrusion分解）的情况下实现F-删除问题的核化？
• RQ3 G−X的哪些结构特性使得潜在的禁止极小图模型能够被有界且显式地分类？
• RQ4 模量X与G−X的分量之间的相互作用如何限制禁止极小图模型中不同片段类型的数量？
• RQ5 以树深度-η模量为参数时，F-删除问题的最紧核大小是多少？其是否具有多项式有界性？

主要发现

• 对于任意有限个连通图的集合F和任意常数η，以树深度-η模量大小为参数的F-删除问题存在多项式核。
• 核的大小被有界为|X|的多项式，其中X为树深度-η模量，且核化过程完全显式且构造性。
• 该方法避免使用非构造性工具（如良拟序和protrusion分解），为核化提供了新的组合方法。
• 该框架推广并加强了先前在顶点覆盖和反馈顶点集等特定问题上基于结构参数化的结果。
• 建立了下界：当η ≥ 6时，不存在大小为O(|X|^{2^{η−4}−ε})的核，除非NP ⊆ coNP/poly，表明该核大小本质上是紧致的。
• 该结果证实，以树深度-η模量为结构参数，即使在解的规模较大时，也能实现非平凡的核化。