[论文解读] Kernelization for Spreading Points

Fedor V. Fomin, Petr A. Golovach+3 more|arXiv (Cornell University)|Jan 1, 2023

Computational Geometry and Mesh Generation被引用 1

一句话总结

本文提出了一种用于磁盘分散问题的核化算法，该问题旨在通过最多移动 k 个单位磁盘，每个磁盘移动距离不超过 d，以实现无重叠配置。该文给出了一个大小为 O((d+1)²k³) 的多项式核，使得在参数 k 和 d 下实现固定参数可满足性，并证明了若 NP ⊆ coNP/poly，则 k 单独参数化下不存在多项式核。

ABSTRACT

We consider the following problem about dispersing points. Given a set of points in the plane, the task is to identify whether by moving a small number of points by small distance, we can obtain an arrangement of points such that no pair of points is "close" to each other. More precisely, for a family of n points, an integer k, and a real number d > 0, we ask whether at most k points could be relocated, each point at distance at most d from its original location, such that the distance between each pair of points is at least a fixed constant, say 1. A number of approximation algorithms for variants of this problem, under different names like distant representatives, disk dispersing, or point spreading, are known in the literature. However, to the best of our knowledge, the parameterized complexity of this problem remains widely unexplored. We make the first step in this direction by providing a kernelization algorithm that, in polynomial time, produces an equivalent instance with 𝒪(d²k³) points. As a byproduct of this result, we also design a non-trivial fixed-parameter tractable (FPT) algorithm for the problem, parameterized by k and d. Finally, we complement the result about polynomial kernelization by showing a lower bound that rules out the existence of a kernel whose size is polynomial in k alone, unless NP ⊆ coNP/poly.

研究动机与目标

• 启动点分散问题的参数复杂性研究，特别是磁盘分散问题。
• 设计一个以 k 和 d 为参数的磁盘分散问题的多项式核。
• 证明若 NP ⊆ coNP/poly，则 k 单独参数化下不存在多项式核。
• 通过核化和求解多项式不等式子程序，证明磁盘分散问题的固定参数可满足性。
• 表明当以 k 为参数时，矩形磁盘分散问题是 W[1]-难的，从而深化对参数复杂性的理解。

提出的方法

• 提出一种核化算法，可在多项式时间内将磁盘数量减少至 O((d+1)²k³)。
• 使用几何构件——行、列和成对单元构件——来模拟网格填充问题的约束。
• 应用“等量位移论证”以确保移动 t 个磁盘时最多仅需移动 t−1 个其他磁盘，从而保证结构一致性。
• 通过填充和周围磁盘来强制空间约束，将原始磁盘分散实例约化为大小有界的等价实例。
• 通过从网格填充问题的约化来证明核下界，表明若 k 单独参数化，则不存在多项式核。
• 将核与求解多项式不等式组的子程序结合，实现 k+d 参数化下的 FPT。

实验结果

研究问题

• RQ1 当以 k 和 d 为参数时，磁盘分散问题能否被核化？
• RQ2 当以 k 单独为参数时，是否存在磁盘分散问题的多项式核？
• RQ3 当以 k 和 d 为参数时，磁盘分散问题是否为固定参数可满足的？
• RQ4 矩形磁盘分散问题以 k 为参数时的参数复杂性如何？
• RQ5 在有理坐标假设下，该核化结果能否转化为真正的核？

主要发现

• 对于以 k 和 d 为参数的磁盘分散问题，得到了大小为 O((d+1)²k³) 的多项式核。
• 该核通过使用几何构件（行、列和成对单元构件）来模拟网格填充问题的约束而构建。
• 等量位移论证确保磁盘移动不会产生虚假的空间增益，从而保持问题等价性。
• 下界结果表明，若 NP ⊆ coNP/poly，则 k 单独参数化下不存在多项式核。
• 通过核化和求解多项式不等式子程序，磁盘分散问题在 k+d 参数化下为 FPT。
• 证明了当以 k 为参数时，矩形磁盘分散问题是 W[1]-难的，表明其在 k 单独参数化下可能难以解决。