[論文レビュー] 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以内に再配置することで重なりのない配置を達成することを目的とするディスク分散問題のカーネル化アルゴリズムを導入する。kとdをパrameterとして、サイズO((d+1)²k³)の多項式カーネルを提示し、kとdの両方において固定パrameter tractability（FPT）を実現する。また、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+dにおいて固定パラメータ tractable（FPT）であることを示すこと。
• kをパラメータとする直線型ディスク分散問題がW[1]-hardであることを示し、パラメータ化された複雑性に関する理解を深めること。

提案手法

• kとdをパラメータとして、多項式時間内でディスク数をO((d+1)²k³)に削減するカーネル化アルゴリズムを提案する。
• グリッドタイリング問題からの制約をシミュレートするために、幾何的ガジェット（行、列、ペアセルガジェット）を用いる。
• 「等距離移動補題」を適用して、t個のディスクを移動させるには、最大でt−1個の他のディスクが移動することを保証し、構造的一致性を確保する。
• パディングと周囲のディスクを用いて空間制約を強制することで、元のディスク分散インスタンスをサイズが有界な同値なインスタンスに還元する。
• カーネル下界を証明するためにグリッドタイリング問題からの還元を用い、kだけをパラメータとする多項式カーネルが存在しないことを示す。
• カーネルと多項式不等式系を解くサブルーチンを組み合わせることで、k+dにおけるFPTを達成する。

実験結果

リサーチクエスチョン

• RQ1 kとdをパラメータとするディスク分散問題はカーネル化可能か？
• RQ2 kだけをパラメータとするディスク分散問題に多項式カーネルは存在するか？
• RQ3 kとdをパラメータとするディスク分散問題は固定パラメータ tractable（FPT）か？
• RQ4 kをパラメータとする直線型ディスク分散問題のパラメータ化された複雑性はいかなるものか？
• RQ5 有理数座標の仮定のもとで、カーネル化の結果を真のカーネルに変換できるか？

主な発見

• kとdをパラメータとするディスク分散問題に対して、サイズO((d+1)²k³)の多項式カーネルが達成された。
• カーネルは、グリッドタイリングの制約をシミュレートするために、幾何的ガジェット（行、列、ペアセルガジェット）を用いて構築された。
• 等距離移動補題により、ディスクの移動が余分な空間の獲得を生じさせず、同値性が保たれる。
• kだけをパラメータとする多項式カーネルが存在しないという下界が確立され、NP ⊆ coNP/polyでない限り成立する。
• カーネル化と多項式不等式系を解くサブルーチンの組み合わせにより、k+dにおけるFPTが達成された。
• kをパラメータとする直線型ディスク分散問題がW[1]-hardであることが示され、kだけをパラメータとする場合の困難性が示唆された。