[論文レビュー] Optimal parameterized algorithms for planar facility location problems using Voronoi diagrams

Marx, Dániel, Pilipczuk, Michał|arXiv (Cornell University)|Apr 21, 2015

Genome Rearrangement Algorithms被引用数 7

ひとこと要約

本稿では、平面施設配置問題の広範なクラスを時間 $n^{/mathcal{O}(\sqrt{k})}$ で解く、新たなパrameterizedアルゴリズムフレームワークを提示する。これは標準的な $n^{/mathcal{O}(k)}$ のブルートフォース法と比べて顕著な改善である。本手法は、Exponential Time Hypothesis (ETH) の下で最適な実行時間を達成するために、ボロノイ図と、ボロノイ構造におけるバランスドセパレータサイクルを用いた再帰的分解を利用する。

ABSTRACT

We study a general family of facility location problems defined on planar graphs and on the 2-dimensional plane. In these problems, a subset of $k$ objects has to be selected, satisfying certain packing (disjointness) and covering constraints. Our main result is showing that, for each of these problems, the $n^{O(k)}$ time brute force algorithm of selecting $k$ objects can be improved to $n^{O(\\sqrt{k})}$ time. The algorithm is based on an idea that was introduced recently in the design of geometric QPTASs, but was not yet used for exact algorithms and for planar graphs. We focus on the Voronoi diagram of a hypothetical solution of $k$ objects, guess a balanced separator cycle of this Voronoi diagram to obtain a set that separates the solution in a balanced way, and then recurse on the resulting subproblems. We complement our study by giving evidence that packing problems have $n^{O(\\sqrt{k})}$ time algorithms for a much more general class of objects than covering problems have.

研究の動機と目的

• 現在、部分二次時間または部分指数時間解法を欠いている広範な平面施設配置問題の最適パrameterizedアルゴリズムを開発すること。
• 平面グラフおよび幾何的設定におけるパッキングおよびカバー問題を解く際の $n^{\mathcal{O}(k)}$ の障壁を乗り越えること。
• Exponential Time Hypothesis (ETH) の下で、新しい実行時間が多くの問題に対して漸近的に最適であることを示すタイトな下界を確立すること。
• ボロノイ図とバランスドセパレータに基づく新技術を導入することで、既存の部分指数時間アルゴリズムを統一的かつ一般化すること。

提案手法

• 中心的手法は、サイズ $k$ の解に対して仮想のボロノイ図を構築し、この図の構造を再帰的分解を誘導するためのガイドとして用いること。
• 解をほぼ等しく二分割する、ボロノイ図内のバランスドセパレータサイクルを予想することで、分割統治の再帰を可能にする。
• ボロノイ図の幾何的性質を用いて、セパレータサイクルが解をバランスよく分割することを保証し、部分問題のサイズを最小限に抑える。
• セパレータによって誘導される部分問題に対して動的計画法または全探索を適用し、平面セパレータ定理により再帰の深さが $\mathcal{O}(\sqrt{k})$ で抑えられることを活用する。
• 本手法は一般性が高く、グラフベースおよび幾何的施設配置問題の両方（非交差集合、カバー、支配集合の変種など）に適用可能である。
• ETHの下で、本手法が最適であることが証明されており、これらの問題に対して $f(k)n^{o(\sqrt{k})}$ 時間のアルゴリズムは存在しない。

実験結果

リサーチクエスチョン

• RQ1 平面施設配置問題に対する $n^{\mathcal{O}(k)}$ のブルートフォース時間は、$n^{\mathcal{O}(\sqrt{k})}$ に改善可能か？
• RQ2 平面的および幾何的設定における多様なパッキングおよびカバー問題に適用可能な統一的アルゴリズムフレームワークは開発可能か？
• RQ3 Exponential Time Hypothesis の下で、$n^{\mathcal{O}(\sqrt{k})}$ の実行時間は最適か？
• RQ4 なぜパッキング問題はカバー問題よりも広く $n^{\mathcal{O}(\sqrt{k})}$ アルゴリズムを許容するのか？
• RQ5 ボロノイ図は、平面問題におけるパrameterized分岐統治を誘導する構造的道具として用いることができるか？

主な発見

• 本稿では、$d$-Scattered Set、$d$-Dominating Set およびその他の平面施設配置問題が $n^{\mathcal{O}(\sqrt{k})}$ 時間で解けることが確立された。
• アルゴリズムフレームワークは一般性が高く、平面グラフ、円、多角形、および平面上の軸に平行な長方形に対しても適用可能である。
• $k$-Internal Out-Branching および $k$-Leaf Out-Branching 問題に対しても、$n^{\mathcal{O}(\sqrt{k})}$ 時間のアルゴリズムが得られ、以前の $n^{\mathcal{O}(k)}$ 界より改善された。
• ETHを仮定すると、本稿で取り上げた問題に対して $f(k)n^{o(\sqrt{k})}$ 時間のアルゴリズムは存在しないことが証明され、$n^{\mathcal{O}(\sqrt{k})}$ 界の最適性が示された。
• フレームワークは構造的非対称性を明らかにした：パッキング問題（例：非交差円）は、カバー問題（例：長方形による点のカバー）よりも広いクラスのオブジェクトに対して $n^{\mathcal{O}(\sqrt{k})}$ アルゴリズムを許容する。
• 平面上の点集合 $\mathcal{P}$ を $k$ 個の軸に平行な長方形でカバーする問題に関して、ETHの下で $f(k)n^{o(k)}$ 時間のアルゴリズムは存在しないことが示され、パッキングとカバーの間には根本的な計算複雑性のギャップがあることが示された。