[论文解读] A Polynomial Kernel For Multicut In Trees

Nicolás Bousquet, Jean Daligault+2 more|ArXiv.org|Feb 6, 2009

Graph theory and applications被引用 4

一句话总结

本文提出了一种大小为 $O(k^6)$ 的多项式核，用于树上的 Multicut 问题，解决了关于该问题是否具有多项式核的开放性问题。作者设计了一组安全的约化规则——基于请求的互不相交性、方向性、包含关系、公共因子以及主导翼展——通过迭代简化实例，同时保持解的不变性，确保核的大小在 $k$ 上为多项式。该结果证实了树上的 Multicut 问题具有固定参数可满足性且存在多项式核，优于此前已知的指数核。

ABSTRACT

The MULTICUT IN TREES problem consists in deciding, given a tree, a set of requests (i.e. paths in the tree) and an integer k, whether there exists a set of k edges cutting all the requests. This problem was shown to be FPT by Guo and Niedermeyer. They also provided an exponential kernel. They asked whether this problem has a polynomial kernel. This question was also raised by Fellows. We show that MULTICUT IN TREES has a polynomial kernel.

研究动机与目标

• 解决 Guo 和 Niedermeier 提出的、后由 Fellows 再次提出的问题：树上的 Multicut 问题是否具有多项式核。
• 设计一组安全的约化规则，以在将实例规模缩减为 $k$ 的多项式规模的同时保持解的不变性。
• 将核化技术从长毛虫树推广到一般树，利用翼展和内部路径主导等结构性质。
• 提供一种构造性核化算法，其运行时间为多项式时间，并确保约化后实例的大小被 $k$ 的多项式所界。

提出的方法

• 按固定顺序应用六条安全约化规则：单位请求、互不相交请求、唯一方向、包含关系、公共因子和主导翼展。
• 使用翼展（即在准 R-邻居之间的路径）的概念，识别并压缩与 $L_2$-叶节点相关的边，这些节点主导了大量端点互不相交的请求。
• 基于其内部路径定义请求之间的主导关系：若请求 $R_1$ 的内部路径包含 $R_2$ 的内部路径，则称 $R_1$ 主导 $R_2$。
• 以保持多割可行性的方式压缩边，特别是在一个节点的所有请求具有相同方向或被其他请求包含时。
• 利用长毛虫树（其中内部树是一条路径）的结构来建立直觉，再将其推广到任意树。
• 确保每条约化规则均可在多项式时间内计算，且规则应用次数在 $k$ 的多项式范围内。

实验结果

研究问题

• RQ1 已知 Multicut in Trees 问题在参数 $k$ 下是 FPT 且具有指数核，该问题是否具有多项式核？
• RQ2 能否基于请求的包含关系、互不相交性以及方向一致性设计约化规则，以安全地将实例缩减为 $k$ 的多项式规模？
• RQ3 长毛虫树的结构性质（如翼展和内部路径主导）能否推广到任意树，以实现核化？
• RQ4 是否存在一组可在多项式时间内计算的约化规则，以保持解的不变性并使核的大小被 $O(k^6)$ 所界？

主要发现

• 本文证明了 Multicut in Trees 具有大小为 $O(k^6)$ 的多项式核，解决了参数复杂性领域的一个开放性问题。
• 该核通过一系列六条安全约化规则构建，这些规则保持了解的不变性，并将实例规模缩减为 $k$ 的多项式规模。
• 约化规则按固定顺序应用，且均可在多项式时间内计算，确保核化过程的高效性。
• 关键洞见在于利用翼展和主导关系来识别可安全压缩的冗余叶节点和边。
• 该结果适用于无权情况；作者指出其技术无法推广到加权版本的问题。
• 证明首先在长毛虫树上构建，随后推广到任意树，展示了约化规则的稳健性。