[論文レビュー] A PTAS for the Weighted Unit Disk Cover Problem

Jian Li, Y. J. Jin|arXiv (Cornell University)|Feb 17, 2015

Computational Geometry and Mesh Generation参考文献 36被引用数 8

ひとこと要約

この論文は、点をカバーする必要がある任意の重みを持つ単位円盤を含む、基本的な幾何学的集合被覆問題である重み付き単位円盤被覆（WUDC）問題に対する最初の多項式時間近似スキーム（PTAS）を提示する。この手法は、局所的な部分問題を分離するための新規なシフト戦略と、巧みに構築されたグリッド分解に基づく動的計画法を組み合わせており、任意の固定された誤差許容度に対して最適解に限りなく近い近似解を多項式時間で得ることができる。

ABSTRACT

We are given a set of weighted unit disks and a set of points in Euclidean plane. The minimum weight unit disk cover (\UDC) problem asks for a subset of disks of minimum total weight that covers all given points. \UDC\ is one of the geometric set cover problems, which have been studied extensively for the past two decades (for many different geometric range spaces, such as (unit) disks, halfspaces, rectangles, triangles). It is known that the unweighted \UDC\ problem is NP-hard and admits a polynomial-time approximation scheme (PTAS). For the weighted \UDC\ problem, several constant approximations have been developed. However, whether the problem admits a PTAS has been an open question. In this paper, we answer this question affirmatively by presenting the first PTAS for \UDC. Our result implies the first PTAS for the minimum weight dominating set problem in unit disk graphs. Combining with existing ideas, our result can also be used to obtain the first PTAS for the maxmimum lifetime coverage problem and an improved constant approximation ratio for the connected dominating set problem in unit disk graphs.

研究の動機と目的

• 重み付き単位円盤被覆（WUDC）問題がPTASを有するかどうかという長年の未解決問題を解明すること。
• 任意のε>0に対して(1+ε)-近似を達成する多項式時間アルゴリズムを開発すること。
• 関連する問題、例えば連結支配集合や最大寿命被覆問題など、単位円盤グラフにおける改善された近似スキームを導出すること。
• 単位円盤の幾何的性質を活用して、構造的な分解により定数倍近似を達成するフレームワークを確立すること。

提案手法

• 平面を定数サイズのグリッドに分割する新規なシフト戦略が採用され、局所的な部分問題を分離する。
• 各グリッドセルに対して、重みと被覆制約の下で近似的最適な円盤選択を計算する動的計画法が適用される。
• 円盤中心の位置に基づく平面の階層的分解が行われ、単位円盤の性質を活用して相互作用の複雑さを制限する。
• 重なり領域における円盤選択の一貫性のある順序付けの構築が、重要な技術的要素であり、グローバルな妥当性を保証する。
• 局所的およびグローバルな被覆のバランスを慎重に調整することで、解の品質が(1+ε)倍以内に劣化することを保証する。
• 最小重量連結支配集合問題や無線センサネットワークにおける最大寿命被覆問題など、他の問題への還元によって、この手法が一般化可能である。

実験結果

リサーチクエスチョン

• RQ1 重み付き単位円盤被覆問題は多項式時間近似スキーム（PTAS）を有するか？
• RQ2 例えば有界な二重次元次元または定数の和複雑度といった、単位円盤の幾何的性質を用いてPTASを構築できるか？
• RQ3 密集領域における重なり合う円盤の相互作用は、近似保証を維持する上でどのように管理できるか？
• RQ4 PTASは、任意の円盤半径を許容する他の幾何的集合被覆問題へどの程度拡張可能か？
• RQ5 このフレームワークは、連結支配集合問題や最大寿命被覆問題に対して、より良い近似比を達成するために適合可能か？

主な発見

• この論文は、幾何最適化分野における長年の未解決問題を解決し、重み付き単位円盤被覆（WUDC）問題に対する最初のPTASを提示する。
• 任意のε>0に対して、入力サイズに関して多項式時間で(1+ε)-近似を達成するアルゴリズムが得られ、固定されたεに対しては実行時間が入力サイズの多項式関数として保証される。
• PTASは、単位円盤グラフにおける最小重量連結支配集合問題に対し、(4.475+ε)-近似を導出するために応用された。
• すべてのセンサが同じ範囲を持つ無線センサネットワークにおいて、最大寿命被覆問題に対しPTASが確立された。
• この結果により、単位円盤グラフにおける最小重量支配集合問題に対してもPTASが得られ、連結支配集合問題の最良既知の近似比が7.105から4.475+εに改善された。