[論文レビュー] On the Planar Two-Center Problem and Circular Hulls

Haitao Wang|arXiv (Cornell University)|Jan 1, 2020

Computational Geometry and Mesh Generation参考文献 29被引用数 2

ひとこと要約

本稿では、平面二中心問題に対する決定的O(n log²n)時間アルゴリズムを提示している。これは、チャンの以前の決定的O(n log²n log²log n)の境界を改善し、エッピンストーンの確率的O(n log²n)結果と一致する。主な革新点は、右端の位置への挿入と左端の点の削除をサポートする、O(1)均し時間更新を実現する新しい動的円形ハルデータ構造にあり、これによりO(n)の意思決定アルゴリズムが可能となり、結果的に凸位置の特殊ケースに対してO(n log n log log n)時間の解法が得られる。

ABSTRACT

Given a set $S$ of $n$ points in the Euclidean plane, the two-center problem is to find two congruent disks of smallest radius whose union covers all points of $S$. Previously, Eppstein [SODA'97] gave a randomized algorithm of $O(n\log^2n)$ expected time and Chan [CGTA'99] presented a deterministic algorithm of $O(n\log^2 n\log^2\log n)$ time. In this paper, we propose an $O(n\log^2 n)$ time deterministic algorithm, which improves Chan's deterministic algorithm and matches the randomized bound of Eppstein. If $S$ is in convex position, then we solve the problem in $O(n\log n\log\log n)$ deterministic time. Our results rely on new techniques for dynamically maintaining circular hulls under point insertions and deletions, which are of independent interest.

研究の動機と目的

• 平面二中心問題に対する確率的アルゴリズムと決定的アルゴリズムの間のギャップを埋めること。
• 特定の位置制約下での点の挿入および削除を伴う円形ハルの効率的動的データ構造の開発。
• 二中心問題をO(n log²n)の決定的時間で解くこと。これは、既知の最良の確率的境界と一致する。
• 入力点が凸位置にある特殊ケースにおける時間計算量の改善。

提案手法

• 右端の位置への挿入と左端の点の削除をサポートする、O(1)均し時間更新を実現する動的円形ハルデータ構造の設計。
• O(n log n)の前処理後に、二中心問題の意思決定問題を線形時間で解くアルゴリズムの開発。これは、チャンのO(n log n)意思決定時間よりも改善されている。
• O(n)プロセッサを用いてO(log n log log n)段階で実行される意思決定問題の新しい並列アルゴリズムの構築。
• コールのパrametric検索を用い、新しいO(n)意思決定アルゴリズムを組み合わせることで、最適化問題をO(n log n log log n)時間で解く。
• 改善された意思決定および最適化フレームワークを用いて、二中心問題の近接ケースをO(n log n log log n)時間で解く。
• 動的円形ハル構造を活用し、凸位置の特殊ケースをO(n log n log log n)時間で解く。

実験結果

リサーチクエスチョン

• RQ1 平面二中心問題の決定的時間計算量を、確率的O(n log²n)境界と一致させることが可能か？
• RQ2 制限付き挿入および削除を伴う円形ハルの効率的維持を可能にする動的データ構造は何か？
• RQ3 前処理後に、二中心問題の意思決定問題を線形時間で解くことは可能か？
• RQ4 パrametric検索を改善された意思決定アルゴリズムと組み合わせることで、より良い最適化時間の達成は可能か？
• RQ5 アルゴリズムを特殊化し、凸位置ケースにおいてより優れた性能を達成することは可能か？

主な発見

• 本稿では、平面二中心問題に対する最初の決定的O(n log²n)時間アルゴリズムを提示しており、既知の最良の確率的境界と一致する。
• 近接ケースに対しては、O(n log n log log n)時間で解ける。これは、チャンのO(n log²n log²log n)決定的境界をlog n log log nの要因で改善している。
• O(n log n)の前処理後に、O(n)時間の意思決定アルゴリズムが開発され、チャンのO(n log n)意思決定時間よりも顕著に改善されている。
• 右端の位置への挿入と左端の点の削除をO(1)均し時間でサポートする新しい動的円形ハルデータ構造が開発された。
• 二中心問題の凸位置バージョンが、O(n log n log log n)の決定的時間で解かれた。これは、以前の主張よりも改善されている。
• 動的円形ハル技術自体が独立した興味を持つものであり、円形ハルを含む他の幾何学的問題への応用が可能である。