Kernelization for Spreading Points

TL;DR

This paper introduces a kernelization algorithm and an FPT algorithm for the point dispersal problem, enabling efficient solutions by reducing problem size and handling parameters related to point movement and dispersion.

Contribution

It provides the first polynomial kernelization and an FPT algorithm for the dispersing points problem, advancing the parameterized complexity understanding.

Findings

Polynomial kernel with O(d^2 k^3) points.

Fixed-parameter tractability with respect to k and d.

No polynomial kernel in k alone unless NP ⊆ coNP/poly.

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 $O(d^2k^3)$ 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 $\mathsf{NP} \subseteq \mathsf{coNP}/\text{poly}$.