[論文レビュー] Epsilon-Nets for Halfspaces Revisited

Sariel Har-Peled, Haim Kaplan+2 more|arXiv (Cornell University)|Oct 12, 2014

Advanced Algebra and Logic参考文献 21被引用数 6

ひとこと要約

本稿では、R^3における半空間のためのε-ネットがサイズO(1/ε)であることを示す、5つの新しい簡素化された証明を提示する。これは、一般のVC次元のε-ネット境界における対数因子が幾何的設定において必要かどうかという長年の未解決問題を解決するものである。本手法は、双対的範囲空間、ε-近似、および配置におけるレベルに基づく頂点選択を組み合わせ、O(n/ε^c)時間で決定的O(1/ε)サイズのε-ネットを構築する。

ABSTRACT

Given a set $P$ of $n$ points in $\mathbb{R}^3$, we show that, for any $\varepsilon >0$, there exists an $\varepsilon$-net of $P$ for halfspace ranges, of size $O(1/\varepsilon)$. We give five proofs of this result, which are arguably simpler than previous proofs \cite{msw-hnlls-90, cv-iaags-07, pr-nepen-08}. We also consider several related variants of this result, including the case of points and pseudo-disks in the plane.

研究の動機と目的

• R^3における半空間のためのε-ネットが、VC次元の一般論における対数因子に依存せず、1/εに対して線形サイズに達成可能かどうかという長年の未解決問題を解消すること。
• 従来の複雑な構成法に比べ、O(1/ε)サイズのε-ネットのサイズ境界をより単純で直感的な証明で再構築すること。
• 固定されたεに対して、nにほぼ線形時間O(n/ε^c)でそのようなε-ネットを決定的に構築するアルゴリズムを開発すること。
• 特に3次元における幾何的範囲空間におけるε-ネットの挙動の理解を拡張すること。

提案手法

• 点と半空間の元の問題を、与えられた平面の下にある点に対応する平面と点の双対的設定に変換する。
• 線分と交差する平面によって定義される修正された範囲空間に対して、サイズO(1/ε² log(1/ε))のε′-近似Xを構築する。
• 配置A(X)を構築し、レベルが(3/2)ε|X|以下のすべての頂点を抽出して集合Sを形成する。
• A(X)における対照的距離がr = (1/4)ε|X|以上であるような、Sの部分集合Fを最大にする。これによりスパarsityとカバレッジが保証される。
• Fに属する各点に対して、その下にある平面のβ-ネット（β < 1/8）を既知の決定的アルゴリズムを用いて計算する。
• すべてのそのようなβ-ネットの和集合をとることで、最終的なε-ネットNを構成する。このNがすべての重い半空間範囲をカバーすることを示す。

実験結果

リサーチクエスチョン

• RQ1 R^3における半空間のためのε-ネットは、一般のVC次元境界に現れる対数因子を避け、1/εに対して線形サイズに構築可能か？
• RQ2 従来の確率的または組合せ的証明に比べ、この幾何的設定においてO(1/ε)サイズ境界をより単純で直接的な証明で示せるか？
• RQ3 固定されたεに対して、O(n/ε^c)時間（cは小さな定数）でそのようなε-ネットを決定的に構築可能か？
• RQ4 平面と線分交差範囲を用いた双対的定式化は、3次元におけるε-ネット構築の分析をより明確に可能にするか？

主な発見

• 本稿では、R^3における点と半空間のためのε-ネットがサイズO(1/ε)であることを確立し、この幾何的設定において対数因子が不要であることを確認した。
• 5つの新しい概念的に簡素な証明が提示され、それぞれO(1/ε)境界の異なる視点を提供し、従来の構成法を改善した。
• ε-近似とレベルに基づく頂点選択を用いて、ある小さな定数cに対してO(n/ε^c)時間でそのようなε-ネットを決定的に構築するアルゴリズムが開発された。
• 構築は、平面を点として扱い、線分が範囲を定義する双対的定式化に依存しており、効率的な近似と選択を可能にする。
• 最終的なε-ネットは、適切に選ばれた頂点集合上のβ-ネットの和集合として構成され、すべての重い半空間範囲のカバレッジが保証される。
• 解析により、任意の重い範囲（εn個以上の点を含む）は、Fに属する選択された頂点から来るネット要素と交差することが示され、正しさが保証される。