[論文レビュー] On Isolating Points Using Disks

Matt Gibson, Gaurav Kanade+1 more|arXiv (Cornell University)|Apr 26, 2011

Mobile Ad Hoc Networks参考文献 6被引用数 5

ひとこと要約

本稿では、平面に配置された点の集合を、経路遮断によってすべての点のペアを分離する最小単位円盤の数を最小化する問題に対して、O(1)-近似を達成する多項式時間の貪欲法アルゴリズムを提示する。このアルゴリズムは、点のペアに対する最小分離集合を再帰的に特定し、円盤配置の幾何的性質を活用することで、近似品質が有界であることを保証する。

ABSTRACT

In this paper, we consider the problem of choosing disks (that we can think of as corresponding to wireless sensors) so that given a set of input points in the plane, there exists no path between any pair of these points that is not intercepted by some disk. We try to achieve this separation using a minimum number of a given set of unit disks. We show that a constant factor approximation to this problem can be found in polynomial time using a greedy algorithm. To the best of our knowledge we are the first to study this optimization problem.

研究の動機と目的

• 平面に配置された点の集合を、いかなる2点間の経路が少なくとも1つの円盤と交差しないように分離するために必要な単位円盤の数を最小化する問題に対処すること。
• このNP困難な幾何最適化問題に対して、定数倍近似比を保証する多項式時間のアルゴリズムを開発すること。
• この手法を任意の半径の円盤に一般化し、単位円盤に限らない応用可能性を示すこと。
• 円盤配置の複雑さに関する幾何的・組合せ的議論を用いて理論的保証を確立すること。
• 全問題を一度に解かずに、2点分離に基づく貪欲戦略が、非自明な構造を有するにもかかわらず、グローバルに有界な近似比を達成できることを示すこと。

提案手法

• 各ステップで、現在の点の部分集合内のいかなる点のペアに対しても分離する最小の円盤集合を選択する再帰的貪欲手順を用いる。
• 2点分離アルゴリズム（定理3.1）をサブルーチンとして用い、2つの特定の点を分離する最小の円盤集合を同定する。
• 残りの点を現在の分離集合に関する連結成分（面）に分割し、それぞれの成分に対して再帰的に処理を行う。
• 重複カウントを回避するため、各分離集合を部分集合内の一意な点に割り当てることで、合計サイズが有界に保たれることを保証する。
• 円盤配置の和の複雑さを用いた結合複雑度の議論により、すべての再帰的分離集合の総コストを最適解の尺度で有界化する。
• 最適解における円盤の和の境界複雑度が円盤数に対して線形であるという事実を用い、定数倍近似が可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 最小単位円盤を用いた点の分離問題に対して、定数倍近似が達成可能か？
• RQ2 この幾何的分離問題に対して、有界な近似比を保証する多項式時間アルゴリズムは存在するか？
• RQ3 問題の再帰的構造と円盤配置の幾何的複雑度の間にはどのような関係があるか？
• RQ4 全問題を一度に解かずに、2点間分離に基づく貪欲戦略が、非局所的構造を有するにもかかわらず、グローバルに良い近似を達成できるか？
• RQ5 円盤の和の境界の組合せ的複雑度が、計算された分離集合の総サイズを有界化する役割を果たすか？

主な発見

• 提案されたアルゴリズムは、最小円盤分離問題に対してO(1)-近似を達成しており、解のサイズが最適解の定数倍の範囲内にあることを意味する。
• このアルゴリズムは多項式時間で実行可能であり、点のペアに対する最小分離集合を再帰的に選択する貪欲戦略に基づいている。
• 解析により、再帰呼び出し全体で計算されたすべての分離集合の総サイズがO(|OPT|)であることが示された。ここで|OPT|は最適解のサイズを表す。
• 鍵となる洞察は、再帰的プロセスにおける各分離集合を入力集合内の一意な点に割り当て可能であり、合計コストが最適解の円盤配置の和の複雑度によって有界に保たれることにある。
• 2点分離サブルーチン（定理3.1）は、任意の2点を分離する際に定数倍近似を保証する。
• この結果は、単位円盤に限らず、任意で異なる半径の円盤に対しても一般化可能である。