[論文レビュー] Computing Instance-Optimal Kernels in Two Dimensions

Pankaj K. Agarwal, Sariel Har-Peled|arXiv (Cornell University)|Jul 14, 2022

Point processes and geometric inequalities被引用数 1

ひとこと要約

本稿では、平面上におけるインスタンス最適な ε-kernel および弱 ε-kernel を計算するための最初の効率的アルゴリズムを提示する。それぞれ、最適なサイズを O(nkε log n) および O(n² log n) 時間で達成する。本稿では、幾何的双対性と分岐双曲的包絡線上でのレイシューティングを用いることで、小サイズの ε-kernel を近線形時間で計算可能な、新しい概念「εコア」を導入する。

ABSTRACT

Let $P$ be a set of $n$ points in $\Re^2$. For a parameter $\varepsilon\in (0,1)$, a subset $C\subseteq P$ is an \emph{$\varepsilon$-kernel} of $P$ if the projection of the convex hull of $C$ approximates that of $P$ within $(1-\varepsilon)$-factor in every direction. The set $C$ is a \emph{weak $\varepsilon$-kernel} of $P$ if its directional width approximates that of $P$ in every direction. Let $\mathsf{k}_{\varepsilon}(P)$ (resp.\ $\mathsf{k}^{\mathsf{w}}_{\varepsilon}(P)$) denote the minimum-size of an $\varepsilon$-kernel (resp. weak $\varepsilon$-kernel) of $P$. We present an $O(n\mathsf{k}_{\varepsilon}(P)\log n)$-time algorithm for computing an $\varepsilon$-kernel of $P$ of size $\mathsf{k}_{\varepsilon}(P)$, and an $O(n^2\log n)$-time algorithm for computing a weak $\varepsilon$-kernel of $P$ of size ${\mathsf{k}}^{\mathsf{w}}_{\varepsilon}(P)$. We also present a fast algorithm for the Hausdorff variant of this problem. In addition, we introduce the notion of \emph{$\varepsilon$-core}, a convex polygon lying inside $\mathsf{ch}(P)$, prove that it is a good approximation of the optimal $\varepsilon$-kernel, present an efficient algorithm for computing it, and use it to compute an $\varepsilon$-kernel of small size.

研究の動機と目的

• R² におけるインスタンス最適な ε-kernel および弱 ε-kernel を計算するための最初の多項式時間アルゴリズムを開発すること。
• d ≥ 3 の次元では NP 困難であるにもかかわらず、平面上でのインスタンス最適な kernel が効率的に計算可能かどうかという長年の未解決問題に取り組むこと。
• 最適 kernel の幾何的代理物としての εコア を導入し、より高速な計算を可能とすること。
• Hausdorff 距離の変種に対する近最適なアルゴリズムを提供すること。

提案手法

• 最適な ε-kernel を近似する凸多角形である εコア を、ch(P) 内に定義する。
• 幾何的双対性と極性を用いて、ヒッティングセット問題を双対曲線上のブロッキングセット問題に変換する。
• CG86 からのセグメント交差検索データ構造を用い、分岐双曲的包絡線上で O(log n) 時間のレイシューティングクエリをサポートする。
• ε-kernel 問題を、半平面を表す双対曲線上の最小弧被覆問題に還元する。
• このデータ構造を円弧の双対に対応させるように変更し、双曲的包絡線曲線を得る。
• Hausdorff 近似の変種に対しては、問題を円弧によって定義される半平面のヒッティングセットとしてモデル化する。

実験結果

リサーチクエスチョン

• RQ1 d = 2 の場合、d ≥ 3 での NP 困難性にもかかわらず、インスタンス最適な ε-kernel は多項式時間で計算可能か？
• RQ2 εコアと最適 ε-kernel 間の構造的関係は何か？
• RQ3 Hausdorff 近似問題は、近最適な kernel サイズで効率的に解けるか？
• RQ4 幾何的双対性とレイシューティングを用いることで、方向幅近似のヒッティングセット問題はどのように解けるか？

主な発見

• O(nkε log n) 時間のアルゴリズムにより、P に対して最小のサイズ kε の ε-kernel が計算可能であり、d=2 の未解決問題を解決する。
• O(n² log n) 時間のアルゴリズムにより、最小のサイズ kwε の弱 ε-kernel が計算可能である。
• εコアが最適 ε-kernel の (1/4)-近似であることが証明され、O(n log n) 時間でサイズが kε/4 以下の kernel が得られる。
• 新しい O(nkhε log n) 時間のアルゴリズムにより、ch(Q) と ch(P) の Hausdorff 距離が ε 以下となる Q ⊆ P が計算可能であり、khε はそのような集合の最小サイズである。
• 本稿では、εコアが最適 kernel の優れた代理物であることが示され、幾何的双対性を用いた高速計算が可能になる。
• 双対双曲的包絡線とレイシューティングの使用により、ブロッキングセットの効率的計算が可能となり、アルゴリズムフレームワークの核を形成する。