[論文レビュー] Minimum-Cost Coverage of Point Sets by Disks

Esther M. Arkin, Herve Broennimann+6 more|ArXiv.org|Apr 4, 2006

Computational Geometry and Mesh Generation参考文献 15被引用数 27

ひとこと要約

本稿では、点集合を円で被覆するための巡回路長と送信コストの線形結合を最小化することを目的とする最小コスト被覆巡回問題（MCCT）に対する多項式時間近似スキーム（PTAS）を提示する。アプローチは、グリッド丸めと動的計画法を用いたm-ギルロチン分割フレームワークを採用し、O(n^{O(1/ε)})時間で(1+ε)-近似を達成する。

ABSTRACT

We consider a class of geometric facility location problems in which the goal is to determine a set X of disks given by their centers (t_j) and radii (r_j) that cover a given set of demand points Y in the plane at the smallest possible cost. We consider cost functions of the form sum_j f(r_j), where f(r)=r^alpha is the cost of transmission to radius r. Special cases arise for alpha=1 (sum of radii) and alpha=2 (total area); power consumption models in wireless network design often use an exponent alpha>2. Different scenarios arise according to possible restrictions on the transmission centers t_j, which may be constrained to belong to a given discrete set or to lie on a line, etc. We obtain several new results, including (a) exact and approximation algorithms for selecting transmission points t_j on a given line in order to cover demand points Y in the plane; (b) approximation algorithms (and an algebraic intractability result) for selecting an optimal line on which to place transmission points to cover Y; (c) a proof of NP-hardness for a discrete set of transmission points in the plane and any fixed alpha>1; and (d) a polynomial-time approximation scheme for the problem of computing a minimum cost covering tour (MCCT), in which the total cost is a linear combination of the transmission cost for the set of disks and the length of a tour/path that connects the centers of the disks.

研究の動機と目的

• 最小コスト被覆巡回（MCCT）問題に対する効率的な近似アルゴリズムの開発。この問題は、ディスク配置と移動コストを組み合わせたものである。
• 特にα > 1の場合の非線形コスト関数f(r) = r^αを扱う幾何学的施設配置問題への応用。これは、実世界の無線ネットワークやロボットスキャン応用をモデル化する。
• 一般のコスト関数、特に線形（α=1）および2次（α=2）の場合を含むMCCT問題に対するPTASの提供。さらに、任意のα > 1への拡張も行う。
• 離散的なサーバー配置や直線制約付き配置などのさまざまな制約下でのディスク被覆の複雑さの分析。
• 近似可能性と不計算可能性の理論的境界の確立。特に、離散的点集合とα > 1の場合のNP困難性を示す。

提案手法

• 被覆制約とコスト関数f(r) = r^αに対応するように適合された修正版m-ギルロチン分割法を用いる。
• 最適解のコストを(1+ε)以内に保ちながら、δ = O(ε·diam(S)/n)の間隔をもつ正則グリッド上に候補サーバー位置を離散化するためのグリッド丸め補題を適用する。
• 軸に平行な長方形とカットによって定義されるウィンドウ付き部分問題に対して、m-ギルロチン性を満たすように動的計画法を実装し、効率的な再帰を実現する。
• 頂点に中心を持つディスクがすべての需要点を被覆する被覆ネットワーク(G, D)を構築し、辺集合がオイラー部分グラフを含むように保証する。
• m-ギルロチン性を満たすように辺を追加する際の総コスト増加を制御するための課金スキームを実装し、(1+ε)-近似を保証する。
• m-ギルロチン構造とPTASフレームワークを組み合わせることで、MCCT問題のO(n^{O(1/ε)})実行時間の達成を実現する。

実験結果

リサーチクエスチョン

• RQ1 一般のコスト関数f(r) = r^αに対して、最小コスト被覆巡回（MCCT）問題のPTASを開発することは可能か？
• RQ2 サーバー配置が離散的集合または直線に制限される場合、ディスク被覆問題の複雑さはいかほどか？
• RQ3 幾何学的被覆問題において、巡回路長と送信コストのトレードオフを最適に近似することは可能か？
• RQ4 幾何的分割に基づく動的計画法を用いて、MCCT問題に対して(1+ε)-近似を達成することは可能か？
• RQ5 m-ギルロチンなどの構造的性質は、非線形コスト関数を伴う幾何学的被覆問題において、効率的な近似を可能にする要因となるか？

主な発見

• MCCT問題は、O(n^{O(1/ε)})時間で(1+ε)-近似を達成できる多項式時間近似スキーム（PTAS）を有する。
• m-ギルロチン法とグリッド丸め、動的計画法を組み合わせることで、コストを(1+ε)要因以内に保ちながら効率的な近似が可能になる。
• 最適なサーバー配置直線の選択問題に対して代数的不計算可能性結果を確立し、正確な計算における制限を示す。
• 2次元における離散的サーバー配置と任意の固定α > 1に対して、問題はNP困難である。kが入力に含まれる場合でさえ同様である。
• k ≥ nの特別な場合、問題は需要点におけるTSPに帰着する。これは、ディスクの半径を0に設定可能であるためである。
• 本フレームワークは、α = 1（半径の和）、α = 2（総面積）、およびα > 2（無線電力モデルで一般的）を含む一般のコスト関数f(r) = r^αをサポートする。