[論文レビュー] Computing k-Centers On a Line

Peter Braß, Christian Knauer+3 more|ArXiv.org|Feb 19, 2009

Advanced Graph Theory Research参考文献 25被引用数 7

ひとこと要約

本稿では、k-center問題の線上における効率的アルゴリズムを提示する。k個のディスクの中心を1本の直線上に制約するが、平面上のn個の点をすべてカバーするように最大ディスク半径を最小化する。固定の直線では最適なO(n log²n)時間、固定の方向ではO(n² log²n)時間、任意の直線では期待時間O(n⁴ log²n)を達成する。また、(1+ε)-近似アルゴリズムは、それぞれO(1/ε n log²n)およびO(1/ε² n log²n)時間で実行可能である。

ABSTRACT

In this paper we consider several instances of the k-center on a line problem where the goal is, given a set of points S in the plane and a parameter k >= 1, to find k disks with centers on a line l such that their union covers S and the maximum radius of the disks is minimized. This problem is a constraint version of the well-known k-center problem in which the centers are constrained to lie in a particular region such as a segment, a line, and a polygon. We first consider the simplest version of the problem where the line l is given in advance; we can solve this problem in O(n log^2 n) time. We then investigate the cases where only the orientation of the line l is fixed and where the line l can be arbitrary. We can solve these problems in O(n^2 log^2 n) time and in O(n^4 log^2 n) expected time, respectively. For the last two problems, we present (1 + e)-approximation algorithms, which run in O((1/e) n log^2 n) time and O((1/e^2) n log^2 n) time, respectively.

研究の動機と目的

• 点をすべてカバーする最大ディスク半径を最小化する条件下で、中心が直線上に制約されたk-center問題を解くこと。
• 直線が固定されている、方向が固定されている、あるいは任意の方向をとるという変種を扱うこと。
• 固定直線および固定方向直線に対する正確なアルゴリズムと、一般の場合に対する効率的な(1+ε)-近似アルゴリズムを提供すること。
• センサーネットワークや幾何最適化の応用分野における実用的導入を想定し、ほぼ線形またはほぼ二次の時間計算量を達成すること。

提案手法

• 固定直線の場合、半径に対して二分探索を実行し、各反復でスイープライン技術を用いてO(n log n)時間でカバー可能性を検証する。これにより、合計でO(n log²n)時間の計算量が得られる。
• 固定方向の場合、可能な傾きの範囲に対して二分探索を行い、幾何的分割を用いてカバー可能性をテストする。その結果、O(n² log²n)時間の計算量が得られる。
• 任意の直線の場合、ランダムサンプリングを用いて傾きの空間をO(1/ε)の方向に離散化し、(1+ε)-近似を可能にする。
• 任意の直線に対する(1+ε)-近似では、回転変換と幾何的安定性の議論を用いて、サンプリングされた方向間での誤差を制限する。
• 太陽点集合の場合（d ≤ 3r_c）、回転不変性と微小角度回転における距離保存性を活用し、近似誤差を制限する。
• 幾何的変換、半径に対する二分探索、傾きの離散的サンプリングを組み合わせることで、(1+ε)-近似を保証する時間計算量の上限を確保する。

実験結果

リサーチクエスチョン

• RQ1 平面上の固定直線上にkセンターを計算する最適な時間計算量は何か？
• RQ2 直線の方向が固定されているが未知の状況で、k-center問題を効率的に解くにはどうすればよいか？
• RQ3 直線が平面上の任意の直線を取り得る場合、k-center問題の計算量的複雑度は何か？
• RQ4 一般のk-center-on-a-line問題に対して、ほぼ線形またはほぼ二次の時間計算量を達成する(1+ε)-近似アルゴリズムを設計できるか？
• RQ5 直線の離散的方向をサンプリングする際、どのような幾何的性質が近似誤差の有界性を可能にするか？

主な発見

• 固定直線上のk-center問題は、二分探索とスイープライン検証を用いることで、O(n log²n)時間で正確に解ける。
• 固定方向直線の場合、正確な解法はO(n² log²n)時間で実行可能であり、角度の離散化と幾何的カバー検査を活用する。
• 任意の直線の場合、正確な解法にはO(n⁴ log²n)の期待時間が必要であり、ランダムサンプリングと回転における幾何的安定性を用いる。
• 任意の直線に対する(1+ε)-近似アルゴリズムは、O(1/ε² n log²n)時間で実行可能であり、定数因子はεに依存する。
• 太陽点集合の場合（d ≤ 3r_c）、回転変換と誤差の上限評価を用いることで、(1+ε)-近似はO(1/ε² n log²n)時間で達成可能である。
• (1+ε)-近似アルゴリズムは幾何的安定性の議論により正しく証明されており、サンプリングされた方向が最適半径の(1+ε)以内の解を与えることが示されている。