[論文レビュー] Compatible 4-Holes in Point Sets

Ahmad Biniaz, Anil Maheshwari+1 more|arXiv (Cornell University)|Jun 25, 2017

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

ひとこと要約

本稿では、平面上の一般位置にある任意のn点集合に対して、⌊5n/11⌋−1個の互換性を持つ4穴（4-holes）の新たな下界を提示する。凸包と動的凸包データ構造に基づく再帰的分割戦略を用いて、以前の下界2⌊(n−2)/5⌋を改善し、点集合における互いに互換性を持つ空の凸四角形の最大数に対するより緊密な理論的限界を確立する。

ABSTRACT

Counting interior-disjoint empty convex polygons in a point set is a typical Erdős-Szekeres-type problem. We study this problem for 4-gons. Let $P$ be a set of $n$ points in the plane and in general position. A subset $Q$ of $P$, with four points, is called a $4$-hole in $P$ if $Q$ is in convex position and its convex hull does not contain any point of $P$ in its interior. Two 4-holes in $P$ are compatible if their interiors are disjoint. We show that $P$ contains at least $\lfloor 5n/11 floor {-} 1$ pairwise compatible 4-holes. This improves the lower bound of $2\lfloor(n-2)/5 floor$ which is implied by a result of Sakai and Urrutia (2007).

研究の動機と目的

• 一般位置にある点集合における互いに互換性を持つ4穴の数に対するより強い下界を確立すること。
• SakaiとUrrutia（2007）が示唆する2⌊(n−2)/5⌋の既存の下界を改善すること。
• 任意のn点集合に対して少なくとも⌊5n/11⌋−1個の互換性を持つ4穴が保証される構成的技法を開発すること。
• 動的凸包データ構造を用いた多項式時間アルゴリズムを提供し、そのような互換性を持つ4穴の集合を計算すること。

提案手法

• 2つの凸包点を通る直線を用いて点集合を2つの部分集合AとBに分割し、Aに少なくとも11点、Bに少なくともn−11点が含まれるようにする。
• 再帰的構成を適用：9点および11点の集合について既知の結果を用い、サイズ11の部分集合に対して3つおよび4つの互換性を持つ4穴を保証する。
• 動的凸包データ構造を活用し、O(n log²n)時間で必要な分割と候補となる4穴の特定を効率的に実行する。
• 空の円領域や回転する直線のアタック点といった幾何的基準を用いて、既存の部分集合と互換性を持つ有効な4穴を同定する。
• 帰納法を適用：小さい点集合に対してその下界が成り立つと仮定し、分割から得られる4穴とAおよびBからの互換性を持つ4穴を組み合わせることで、より大きなnに対して拡張する。
• 幾何的ケース解析により、選択された4穴の凸包の内部が互いに互いに交差しないことを確認することで、互換性を保証する。

実験結果

リサーチクエスチョン

• RQ1 一般位置にある任意のn点集合において、保証できる互いに互換性を持つ4穴の最大数は何か？
• RQ2 SakaiとUrrutia（2007）が示唆する2⌊(n−2)/5⌋の互換性を持つ4穴の下界を改善できるか？
• RQ3 O(n log²n)時間で大きな互換性を持つ4穴の集合を計算する構成的技法は存在するか？
• RQ4 幾何的分割と凸包の性質をどのように活用して4穴の互換性を保証できるか？
• RQ5 nの関数として、互換性を持つ4穴の数に対する最もタイトな下界は何か？

主な発見

• 本稿では、一般位置にある任意のn点集合に対して、互いに互換性を持つ4穴の数に対する新たな下界⌊5n/11⌋−1を確立した。
• この下界は、SakaiとUrrutia（2007）が示唆した2⌊(n−2)/5⌋の既存の下界を改善しており、理論的限界の大幅な緊縮を示している。
• n = 14の場合、本手法により少なくとも5つの互換性を持つ4穴が保証され、以前の下界4を上回る。
• 構成はアルゴリズム的であり、⌊5n/11⌋−1個以上の互換性を持つ4穴を計算するO(n log²n)時間のアルゴリズムを提供する。
• 証明は、凸包を用いた再帰的分割戦略と幾何的ケース解析に依存し、互換性を保証する。
• この結果はn ≥ 11に対して成り立ち、小規模なn（14まで）に対しては基本ケースを検証し、帰納法により拡張される。