[论文解读] Kernel Bounds for Path and Cycle Problems

Hans L. Bodlaender, Bart M. P. Jansen+1 more|arXiv (Cornell University)|Jun 21, 2011

Advanced Graph Theory Research被引用 10

一句话总结

本文建立了路径与环问题（如长环、不相交路径、带禁止配对的最长路径）在顶点覆盖、最大叶子数或聚类图模量等结构图参数下的多项式核化。提出了一种基于二分匹配的核化技术与二进制编码方法，实现了 O(|X|²) 顶点核，同时通过交叉组合技术证明了核化下界，表明若 NP ⊆ coNP/poly，则哈密顿环问题在模量至外平面图参数化下不具有多项式核。

ABSTRACT

Connectivity problems like k-Path and k-Disjoint Paths relate to many important milestones in parameterized complexity, namely the Graph Minors Project, color coding, and the recent development of techniques for obtaining kernelization lower bounds. This work explores the existence of polynomial kernels for various path and cycle problems, by considering nonstandard parameterizations. We show polynomial kernels when the parameters are a given vertex cover, a modulator to a cluster graph, or a (promised) max leaf number. We obtain lower bounds via cross-composition, e.g., for Hamiltonian Cycle and related problems when parameterized by a modulator to an outerplanar graph.

研究动机与目标

• 研究路径与环问题在非标准参数化（如顶点覆盖或最大叶子数）下是否能获得多项式核，尽管在解大小 k 的自然参数化下会失败。
• 基于二分匹配与二进制编码，为结构参数开发一个通用的核化框架。
• 利用交叉组合技术，建立哈密顿环及其相关问题的核化下界。
• 启动对带禁止配对的路径问题在不同参数化下的参数复杂性研究。
• 通过比较强参数（如顶点覆盖）与弱参数（如外平面图模量）之间的差异，探索可解与不可解核化之间的边界。

提出的方法

• 利用二分匹配识别并减少路径与环问题中的冗余顶点，当以顶点覆盖 X 为参数时，可得到 O(|X|²) 的顶点核。
• 通过在聚类图中对团的大小进行二进制编码，高效处理大团，实现在无显式大小限制下的多项式核。
• 使用 Karp 归约将加权变体转换回无权问题，尤其适用于长环与最长路径问题。
• 利用交叉组合技术证明核化下界，表明某些参数化下不具有多项式核，除非 NP ⊆ coNP/poly。
• 通过构造小部件化归约，模拟路径问题中的禁止对约束，保持实例间解的等价性。
• 通过结合 FPT 算法、W[1]-难证明与 para-NP-完全性结果，分析带禁止对的路径问题的参数复杂性。

实验结果

研究问题

• RQ1 当以强结构参数（如顶点覆盖或最大叶子数）为参数时，路径与环问题是否能获得多项式核，尽管在解大小 k 的自然参数化下会失败？
• RQ2 哪些核化技术可被推广至使用聚类图或外平面图模量等结构参数的路径与环问题？
• RQ3 交叉组合技术在多大程度上揭示了哈密顿环及其相关问题核化中的内在限制？
• RQ4 禁止对的存在如何影响不同参数化下路径问题的核化复杂性？
• RQ5 复合参数（如解大小加上到某图类的删除距离）对长环与不相交路径问题的核化有何影响？

主要发现

• 本文提出一种基于二分匹配的通用核化技术，当以顶点覆盖 X 为参数时，对长环、最长路径、不相交路径与不相交环问题均能获得 O(|X|²) 的顶点核。
• 对于以最大叶子数或聚类图模量为参数的问题，作者通过二进制编码技巧压缩大团，实现了多项式核，推广了此前关于哈密顿环问题的结果。
• 作者通过交叉组合证明：当以模量至双路径图为参数时，有向哈密顿环问题不具有多项式核，除非 NP ⊆ coNP/poly。
• 类似的交叉组合构造表明，当以模量至外平面图为参数时，哈密顿环问题同样不具有多项式核，假设条件相同。
• 对于带禁止对的路径问题，本文建立了 W[1]-难性、FPT 算法与 para-NP-完全性，并证明当以顶点覆盖为参数时，带禁止对的最长路径问题不具有多项式核，除非 NP ⊆ coNP/poly。
• 结果表明存在清晰的二分：强结构参数（如顶点覆盖或最大叶子数）可实现多项式核，而弱参数（如外平面图模量）则不能，这符合标准复杂性假设。