[論文レビュー] On problems related to crossing families

Dumitrescu, Adrian, Pach, János|arXiv (Cornell University)|Jun 1, 2019

Computational Geometry and Mesh Generation参考文献 19被引用数 1

ひとこと要約

本稿は、点集合における交差族のサイズの上界を n/4 から 5⌈n/24⌉ に改善する。一般化された概念として、刺し通し族、スプライド集合、M-準交互パスを導入する。幾何的双対性と1-回避点集合の分離性を活用して、より鋭い境界を導出し、任意のn点集合における最大刺し通し族のサイズが正確に n/2 であることを証明する。

ABSTRACT

A complete geometric graph consists of a set P of n points in the plane, in general position, and all segments (edges) connecting them. It is a well known question of Bose, Hurtado, Rivera-Campo, and Wood, whether there exists a positive constant c < 1, such that every complete geometric graph on n points can be partitioned into at most cn plane graphs (that is, noncrossing subgraphs). We answer this question in the affirmative in the special case where the underlying point set P is dense, which means that the ratio between the maximum and the minimum distances in P is of the order of Θ(√n).

研究の動機と目的

• 点集合における交差族のサイズの上界を n/4 から 5⌈n/24⌉ に改善すること。
• 幾何的・組合せ的拡張を通じて、交差族の概念を一般化すること。具体的には、刺し通し族とスプライド集合を含む。
• 1-回避点集合の構造的性質を研究し、その分離性を活用して交差族が小さい極値点集合を構成すること。
• 直線配置とダブルウェッジを用いた双対表現を通じて、一般化された交差構造の境界を導出すること。
• 刺し通し族と M-準交互パスに対する鋭い境界を確立し、幾何的交差パターンの広範な理解に貢献すること。

提案手法

• 点集合 A, B, C が A が B を C から分離するような関係にある場合、交差族に属するすべての線分は A, B, C のいずれかに接続されていることを利用し、極値点集合を構築する。
• 幾何的双対性を用いて、原始平面の線分を双対平面におけるダブルウェッジに変換し、交差と刺し通しの関係を包含関係と非包含関係に対応付ける。
• 双対配置に90°回転を施し、非交差マッチングを刺し通し族に変換することで、刺し通し族のサイズに対する n/2 の上界を証明する。
• 側面適合部分集合と M-準交互パスの概念を導入し、1-回避構成における交差に類似した構造を一般化・上限付ける。
• ハムサンドイッチカットと双対配置における非交差2色マッチングの帰納的構成を活用し、構造的一致性を保証する。
• 1-回避集合では、完全な2色非交差マッチングが存在することを証明し、これが原始平面において刺し通し族に変換されることを示す。

実験結果

リサーチクエスチョン

• RQ1 一般位置にある n 点の集合における交差族の最大サイズは何か？
• RQ2 交差族サイズに対する上界 n/4 を改善できるか？ もし可能であれば、どの程度改善できるか？
• RQ3 刺し通し族、スプライド集合、M-準交互パスといった一般化された構造は、古典的な交差族とどのように関係しているか？
• RQ4 1-回避点集合に内在する構造的制約は、交差族のサイズをどの程度制限するか？
• RQ5 任意の n 点集合における刺し通し族の最大サイズは何か？ そして、それが鋭い境界で抑えられるか？

主な発見

• 交差族サイズの上界が n/4 から 5⌈n/24⌉ に改善され、これは既知の最悪ケース境界の大幅な鋭さ向上を示している。
• 一般位置にある任意の n 点集合における最大刺し通し族のサイズは正確に n/2 であり、この境界は鋭い。
• 1-回避点集合では、完全な2色非交差マッチングが存在し、双対性を介して原始平面で刺し通し族に変換される。
• スプライド集合のサイズは n/4 + 1 以下であることが確立され、以前の上界 9n/20 よりも改善された。
• 本稿は、Schnider が1-回避集合に対して主張した n/4 のスプライド集合の上界に欠陥があることを特定し、その証明が正当でないことを示した。
• M-準交互パスは一般化された双対構造として導入され、他の幾何的構成と関連づけられ、新たな上界が得られた。