[論文レビュー] More Dynamic Data Structures for Geometric Set Cover with Sublinear Update Time

Timothy M. Chan, Qizheng He|arXiv (Cornell University)|Jan 1, 2021

Computational Geometry and Mesh Generation参考文献 23被引用数 1

ひとこと要約

本稿では、2次元における任意の軸に平行な正方形に対して、サブラインアーな更新時間で最初の動的データ構造を提示する。O(n^{2/3+δ})の均等化された更新時間でO(1)-近似を達成する。これは、解のサイズのみが必要な場合に、2次元の円と3次元の半空間に対してもサブラインアーな更新時間へと拡張可能であり、新しい確率的技術を用いて、2次元の円と3次元の半空間の静的アルゴリズムにおいて最適なO(n log n)時間の静的アルゴリズムを実現する。

ABSTRACT

We study geometric set cover problems in dynamic settings, allowing insertions and deletions of points and objects. We present the first dynamic data structure that can maintain an $O(1)$-approximation in sublinear update time for set cover for axis-aligned squares in 2D. More precisely, we obtain randomized update time $O(n^{2/3+δ})$ for an arbitrarily small constant $δ>0$. Previously, a dynamic geometric set cover data structure with sublinear update time was known only for unit squares by Agarwal, Chang, Suri, Xiao, and Xue [SoCG 2020]. If only an approximate size of the solution is needed, then we can also obtain sublinear amortized update time for disks in 2D and halfspaces in 3D. As a byproduct, our techniques for dynamic set cover also yield an optimal randomized $O(n\log n)$-time algorithm for static set cover for 2D disks and 3D halfspaces, improving our earlier $O(n\log n(\log\log n)^{O(1)})$ result [SoCG 2020].

研究の動機と目的

• 挿入および削除が行われる点とオブジェクトに対して、サブラインアーな更新時間でO(1)-近似の幾何的セットカバーを維持する動的データ構造の設計。
• ユニット正方形を超えて、より複雑な2次元設定における任意の軸に平行な正方形へとサブラインアーな更新時間への拡張。
• 解のサイズのみが必要な場合に、2次元の円と3次元の半空間に対して、均等化されたサブラインアーな更新時間の達成。
• 2次元の円と3次元の半空間の静的セットカバー問題を、高確率で期待時間O(n log n)の最適時間に改善すること。

提案手法

• 問題のサイズを再帰の各レベルで小さくするために、確率的サンプリングと平面分割のセパレータを用いた再帰的分解を実施。
• 効率的な範囲報告と3次元における半空間分解のため、シャロウパーティションツリーと衝突リストの構築を採用。
• 最適解のサイズのパrameterized推定値を用いて、近似を導くために乗法的重み更新（MWU）法を適用。
• 2段階のアプローチを採用：小規模な最適解に対しては中程度のOPTアルゴリズム、大規模な最適解に対しては大規模なOPTアルゴリズムを別々に設計し、それぞれに最適化されたデータ構造を用いる。
• 3次元における上側と下側の半空間を処理するため、垂直分解と視覚的投影を用い、直交投影の代わりに実装。
• 誤差確率を1/Nに抑えるために、MWUアルゴリズムをO(log N)回繰り返し、高確率で正しさを保証。

実験結果

リサーチクエスチョン

• RQ1 任意の軸に平行な正方形を含む2次元における動的幾何的セットカバーのデータ構造は、サブラインアーな更新時間でO(1)-近似を維持できるか？
• RQ2 解のサイズのみが必要な場合に、2次元の円と3次元の半空間に対し、サブラインアーな更新時間を達成できるか？
• RQ3 2次元の円と3次元の半空間の静的セットカバー問題を、高確率で期待時間O(n log n)の最適時間に解けるか？
• RQ4 最適解のサイズに関する異なる仮定の下で、動的幾何的セットカバーの更新時間のタイトな上限は何か？

主な発見

• 任意の軸に平行な正方形を含む2次元における幾何的セットカバーに対して、O(1)-近似がO(n^{2/3+δ})の均等化された更新時間で維持可能（任意のδ > 0）。
• 2次元の円と3次元の半空間に対しては、解のサイズのみが必要な場合に、均等化されたサブラインアーな更新時間が達成され、3次元半空間では更新時間O(n^{12/13+δ})。
• 2次元の円と3次元の半空間の静的セットカバーに対して、確率的O(n log n)時間のアルゴリズムが達成され、従来のO(n log n (log log n)^{O(1)})の境界を改善。
• アルゴリズムは高確率（w.h.p.）で正しく、全体の入力サイズnと任意の定数cに対して、誤差確率がO(1/N)に抑えられる。
• 再帰的誤差制御を介して、再帰の各レベルで加法的誤差がO(OPT)のままであることを示し、全体としてO(1)-近似が保証される。
• 解析により、再帰の各レベルで加法的誤差がO(OPT)のままであることが示され、全体としてO(1)-近似が保証される。