[論文レビュー] Maintaining the Union of Unit Discs Under Insertions with Near-Optimal Overhead

Pankaj K. Agarwal, Ravid Cohen+2 more|arXiv (Cornell University)|Jan 1, 2019

Computational Geometry and Mesh Generation被引用数 3

ひとこと要約

本稿では、挿入操作の下で単位円板の和集合および擬似直線の下包絡線を動的に維持するデータ構造を提示し、更新時間がほぼ最適化されている。線形サイズの構造を導入し、k が構造的変更の大きさであるとき、挿入およびクエリを O((k + 1) log²n) 時間でサポートする。また、範囲検索技術を用いて、単位円板と円弧の間の交差を O(n^{1/2+ε} + k) のクエリ時間で効率的に報告可能である。

ABSTRACT

We present efficient data structures for problems on unit discs and arcs of their boundary in the plane. (i) We give an output-sensitive algorithm for the dynamic maintenance of the union of n unit discs under insertions in O(k log^2 n) update time and O(n) space, where k is the combinatorial complexity of the structural change in the union due to the insertion of the new disc. (ii) As part of the solution of (i) we devise a fully dynamic data structure for the maintenance of lower envelopes of pseudo-lines, which we believe is of independent interest. The structure has O(log^2 n) update time and O(log n) vertical ray shooting query time. To achieve this performance, we devise a new algorithm for finding the intersection between two lower envelopes of pseudo-lines in O(log n) time, using tentative binary search; the lower envelopes are special in that at x=-infty any pseudo-line contributing to the first envelope lies below every pseudo-line contributing to the second envelope. (iii) We also present a dynamic range searching structure for a set of circular arcs of unit radius (not necessarily on the boundary of the union of the corresponding discs), where the ranges are unit discs, with O(n log n) preprocessing time, O(n^{1/2+epsilon} + l) query time and O(log^2 n) amortized update time, where l is the size of the output and for any epsilon>0. The structure requires O(n) storage space.

研究の動機と目的

• 挿入操作の下で、ほぼ最適なオーバーヘッドで単位円板の和集合を動的に維持するデータ構造の開発。
• 各挿入後に和集合の面積を効率的に計算することのサポート。
• クエリ用の単位円板と交差するすべての円弧を、出力に依存する時間で高速に報告することの実現。
• 挿入および削除の下で、x-単調な擬似直線の下包絡線を効率的なクエリサポートとともに動的に維持すること。
• 構造の組合せ的変更に比例する出力に依存する性能を達成すること。

提案手法

• 左端点用、右端点用、および各弧 e に関連する領域 L(e) を管理する3つの別個のデータ構造を使用する。
• 左端点および右端点の単位円板範囲検索に、標準的なデータ構造を用い、O(n^{1/2+ε} + k) のクエリ時間で処理する。
• 集合 L = {L(e) | e ∈ C} に対して逆範囲検索を適用し、クエリ点を含む領域を報告する。
• 遅延的部分再構築技術を活用し、挿入および削除操作の平均的更新時間を O(log²n) に保証する。
• 端点および領域 L(e) に関する幾何的条件を用いて、弧と円板の交差を特徴づけ、効率的なフィルタリングを可能にする。
• 2つの単位円の交差を、接点を通る直線と半平面に関連付ける幾何学的補題に依存する。

実験結果

リサーチクエスチョン

• RQ1 単位円板の和集合は、出力に依存する更新時間で挿入操作の下で動的に維持可能か？
• RQ2 擬似直線の下包絡線は、挿入および削除の両方の操作の下で、効率的なクエリサポートとともに維持可能か？
• RQ3 半径1の円弧は、出力に依存する時間でクエリ用の単位円板と交差するかを効率的に問い合わせ可能か？
• RQ4 動的単位円板和集合の維持において、空間と更新/クエリ時間の最適なトレードオフは何か？
• RQ5 挿入の過程で、和集合の境界の構造的変更を効率的に捉え、更新可能か？

主な発見

• 線形サイズのデータ構造により、k が構造的変更の組合せ的複雑性であるとき、O((k + 1) log²n) の更新時間で単位円板の和集合を挿入操作の下で維持可能である。
• 各挿入後に、同じ時間制約内で和集合の面積を計算可能である。
• 擬似直線の挿入および削除が O(log²n) 時間で処理可能であり、与えられた x 座標における下包絡線の点を O(log n) 時間で報告するデータ構造が存在する。
• R² 内のクエリ点 q に対して、q の下にある k 個の擬似直線を O(log n + k log²n) 時間で報告可能である。
• 円弧のための構造は、クエリ用の単位円板との交差報告を O(n^{1/2+ε} + k) 時間で行い、挿入/削除の更新時間も O(log²n) である。
• これらのデータ構造は出力に依存し、ε > 0 が小さい範囲でほぼ最適な性能を達成しており、クエリ時間は出力サイズに依存し、小さな ε > 0 に依存する。