[論文レビュー] On Disjoint Holes in Point Sets

Manfred Scheucher|arXiv (Cornell University)|Jan 1, 2018

Computational Geometry and Mesh Generation被引用数 2

ひとこと要約

本稿では、計算的手法を用いて、平面上の一般位置にある任意の17点の集合が、凸包内に他の点を含まない2つの不交差5穴（凸五角形）を含むことを証明している。また、15点の集合が2つの内部不交差5穴を保証することを示し、従来の手法と比較して著しく計算時間を短縮した6角形の存在の検証も行った。

ABSTRACT

Given a set of points $S \subseteq \mathbb{R}^2$, a subset $X \subseteq S$, $|X|=k$, is called $k$-gon if all points of $X$ lie on the boundary of the convex hull $\mathrm{conv} (X)$, and $k$-hole if, in addition, no point of $S \setminus X$ lies in $\mathrm{conv} (X)$. We use computer assistance to show that every set of 17 points in general position admits two disjoint 5-holes, that is, holes with disjoint respective convex hulls. This answers a question of Hosono and Urabe (2001). We also provide new bounds for three and more pairwise disjoint holes. In a recent article, Hosono and Urabe (2018) present new results on interior-disjoint holes -- a variant, which also has been investigated in the last two decades. Using our program, we show that every set of 15 points contains two interior-disjoint 5-holes. Moreover, our program can be used to verify that every set of 17 points contains a 6-gon within significantly smaller computation time than the original program by Szekeres and Peters (2006).

研究の動機と目的

• ホソノとウラベ（2001）が提起した、17点の集合に2つの不交差5穴が存在するかという長年の未解決問題を解消すること。
• 特に k ≥ 5 に対して、不交差および内部不交差穴の理解を拡張すること。
• 効率的な組合せ的幾何的構成の検証に適した計算フレームワークを開発・適用すること。
• 従来の手法と比較して、点集合における大きな凸多角形の存在を検証する計算時間の改善を図ること。

提案手法

• 著者らは、一般位置にある点の配置を体系的に列挙・検証するコンピュータ支援アプローチを採用している。
• アルゴリズム的探索を用いて、k = 5 および k = 6 の不交差および内部不交差 k-穴の存在を検証している。
• 幾何的制約に依拠している：k-穴では、すべてのk点が凸包上にあり、集合内の他の点がその凸包内に存在してはならない。
• プログラムは計算オーバーヘッドを低減するように最適化されており、Szekeres-Peters（2006）アルゴリズムと比較して、17点集合における6角形の検証が高速化されている。
• フレームワークは、ホソノとウラベ（2018）が研究した内部不交差穴の変種に対しても適応可能である。
• 対称性の削減と枝刈り技術を活用することで、完全性を損なわずに探索空間を制限している。

実験結果

リサーチクエスチョン

• RQ1 一般位置にある17点の集合は、常に2つの不交差5穴を含むか？
• RQ2 一般位置にある15点の集合は、常に2つの内部不交差5穴を含むと保証できるか？
• RQ3 提案手法を用いた17点集合における6角形の存在検証の計算効率はどの程度か？
• RQ4 新しいプログラムは、Szekeres-Peters（2006）アルゴリズムと比較して、6角形の検出においてどの程度の性能向上を達成しているか？
• RQ5 点集合における3つ以上のペアワイズ不交差穴が存在するための、既知で最もタイトな境界は何か？

主な発見

• 一般位置にある17点の集合は、少なくとも2つの不交差5穴を含む。これはホソノとウラベ（2001）の予想を裏付けた。
• 一般位置にある15点の集合は、少なくとも2つの内部不交差5穴を含む。これは穴問題の変種に関する結果を拡張したものである。
• 提案されたプログラムは、Szekeres-Peters（2006）の元の実装と比較して、17点集合における6角形の存在検証に著しく短い計算時間を要した。
• 幾何的制約とアルゴリズム最適化を活用することで、凸多角形の存在検証が効率的に行えるようになった。
• 本プログラムは、標準的および内部不交差穴の両変種に適用可能なスケーラブルなフレームワークを提供する。
• 複数の不交差穴に関する境界をより厳密に特定することで、計算幾何学における極値問題の理解が進展した。