[論文レビュー] Stability of epsilon-Kernels

Pankaj K. Agarwal, Jeff M. Phillips+1 more|arXiv (Cornell University)|Mar 30, 2010

Computational Geometry and Mesh Generation参考文献 6被引用数 3

ひとこと要約

本稿では、挿入および削除に対して安定であることを保証する、$\varepsilon$-カーネルのサイズが$O(1/\varepsilon^{(d-1)/2})$で、更新ごとに$O(1)$の点の変更が生じる動的アルゴリズムを提示する。また、$(\varepsilon/2)$-カーネルのサイズに対する最適$\varepsilon$-カーネルサイズのタイトな境界を確立し、高次元において$\Theta(\kappa^{\lfloor d/2\rfloor})$の依存性を示唆することで、$\varepsilon$を半分にしたときのカーネルサイズの本質的不安定性を明らかにする。

ABSTRACT

Given a set P of n points in |R^d, an eps-kernel K subset P approximates the directional width of P in every direction within a relative (1-eps) factor. In this paper we study the stability of eps-kernels under dynamic insertion and deletion of points to P and by changing the approximation factor eps. In the first case, we say an algorithm for dynamically maintaining a eps-kernel is stable if at most O(1) points change in K as one point is inserted or deleted from P. We describe an algorithm to maintain an eps-kernel of size O(1/eps^{(d-1)/2}) in O(1/eps^{(d-1)/2} + log n) time per update. Not only does our algorithm maintain a stable eps-kernel, its update time is faster than any known algorithm that maintains an eps-kernel of size O(1/eps^{(d-1)/2}). Next, we show that if there is an eps-kernel of P of size k, which may be dramatically less than O(1/eps^{(d-1)/2}), then there is an (eps/2)-kernel of P of size O(min {1/eps^{(d-1)/2}, k^{floor(d/2)} log^{d-2} (1/eps)}). Moreover, there exists a point set P in |R^d and a parameter eps > 0 such that if every eps-kernel of P has size at least k, then any (eps/2)-kernel of P has size Omega(k^{floor(d/2)}).

研究の動機と目的

• 挿入および削除に対して安定であることを保証する、更新ごとに$O(1)$の点の変更が生じる$\varepsilon$-カーネルを動的かつ維持するアルゴリズムの設計。
• $\varepsilon$を半分にしたときの$\varepsilon$-カーネルサイズの変化を、元のカーネルサイズと関連づけて分析すること。
• $\mathbb{R}^d$における点集合に対して、$(\varepsilon/2)$-カーネルのサイズに対する、$\varepsilon$-カーネルサイズに関するタイトな上界および下界を確立すること。
• 特に高次元空間においてカーネルサイズが超線形的に増加する可能性があることから、動的更新およびパrameter変更における$\varepsilon$-カーネルの安定性を解明すること。

提案手法

• 点集合の階層的分解を用い、方向幅の幾何的性質を活用することで、更新ごとに$O(1)$の点の置換が生じるように、安定な$\varepsilon$-カーネルを維持する。
• 方向または位置の微小な摂動がカーネルに大きな変化をもたらさないことを保証する、重要な幾何的補題を導入する。
• 方向の列に沿った近似の再帰的構築に依存し、凸包と方向射影を用いて$\varepsilon$要因内での正確性を維持する。
• 方向を球面$\delta$-ネットに離散化し、近似点と真の極値点の距離をバウンドするための帰納的幾何的議論を用いる。
• 中間点$ p_j' $および$ p_j'' $の列を用いて凸包への近接度を追跡し、最終的な近似誤差が$\varepsilon/2$以下であることを証明する。
• 下界構築には、任意の$(\varepsilon/2)$-カーネルがサイズ$\Omega(\kappa^{\lfloor d/2\rfloor})$を必要とする、$\mathbb{R}^d$における巧みな点集合を用いる。これにより、上界のタイトさが証明される。

実験結果

リサーチクエスチョン

• RQ1 サイズ$O(1/\varepsilon^{(d-1)/2})$の$\varepsilon$-カーネルを、挿入または削除ごとに$O(1)$の点の変更で動的かつ維持可能か？
• RQ2 同じ点集合$P \subset \mathbb{R}^d$に対して、$(\varepsilon/2)$-カーネルサイズは$\varepsilon$-カーネルサイズとどのように関係するか？
• RQ3 $(\varepsilon/2)$-カーネルサイズに対する上界$O(\min\{1/\varepsilon^{(d-1)/2}, \kappa^{\lfloor d/2\rfloor}\log^{d-2}(1/\varepsilon)\})$はタイトか？
• RQ4 高次元において、$(\varepsilon/2)$-カーネルサイズは$\varepsilon$-カーネルサイズに対して最悪ケースでどの程度依存するか？

主な発見

• 本稿では、更新ごとに$O(1)$の点の変更が生じる$\varepsilon$-カーネルのサイズが$O(1/\varepsilon^{(d-1)/2})$である動的アルゴリズムを提示し、$O(1/\varepsilon^{(d-1)/2} + \log n)$の更新時間で動作し、従来の安定なアルゴリズムよりも高速である。
• $(\varepsilon/2)$-カーネルのサイズが$O(\min\{1/\varepsilon^{(d-1)/2}, \kappa^{\lfloor d/2\rfloor}\log^{d-2}(1/\varepsilon)\})$であるようなものがある。ここで$\kappa$は最小の$\varepsilon$-カーネルサイズである。
• $\mathbb{R}^d$における点集合$P$と$\varepsilon > 0$が存在し、$P$の任意の$(\varepsilon/2)$-カーネルのサイズが$\Omega(\kappa^{\lfloor d/2\rfloor})$以上である。これは、上界が最悪ケースで漸近的にタイトであることを証明する。
• $d \geq 4$の場合、$(\varepsilon/2)$-カーネルサイズは$\kappa$に関して超線形的に増加する可能性があり、$\varepsilon$を半分にしたときの安定性の著しい損失を示している。
• $\mathbb{R}^3$では、下界が$\Omega(\kappa \log(1/(\varepsilon \kappa)))$に改善され、三次元において対数因子の依存性が示された。
• 著者らは、$\mathbb{R}^d$において、$(\varepsilon/2)$-カーネルサイズが$\Theta\bigl(\kappa^{\lfloor d/2\rfloor} \log^{d-2}(1/(\varepsilon^{(d-1)/2} \kappa))\bigr)$であると予想している。これは上界と下界を統合するものである。