[論文レビュー] Convexity of Sub-polygons of Convex Polygons

Iosif Pinelis|ArXiv.org|Sep 25, 2006

Computational Geometry and Mesh Generation参考文献 7被引用数 5

ひとこと要約

本稿では、頂点がすべて異なる凸多角形のすべての部分多角形が凸であることを確立し、逆に、$ n \geq 5 $ の $ n $-角形がすべての $ (n-1) $-頂点部分多角形が凸であるならば、その $ n $-角形自体が凸であることを示している。主な貢献は、凸多角形性の遺伝的特徴付けを提供することであり、これにより帰納的証明や部分多角形の検証に基づく効率的な凸性テストが可能になる。

ABSTRACT

A convex polygon is defined as a sequence (V_0,...,V_{n-1}) of points on a plane such that the union of the edges [V_0,V_1],..., [V_{n-2},V_{n-1}], [V_{n-1},V_0] coincides with the boundary of the convex hull of the set of vertices {V_0,...,V_{n-1}}. It is proved that all sub-polygons of any convex polygon with distinct vertices are convex. It is also proved that, if all sub-(n-1)-gons of an n-gon with n\ge5 are convex, then the n-gon is convex. Other related results are given.

研究の動機と目的

• 頂点の削除における凸多角形性の遺伝的性質を形式的に確立すること。
• 增量的凸性テストにおける曖昧さを解消し、必要十分条件を明確にすること。
• 計算幾何学における帰納的証明および計算的凸性テストの理論的基盤を提供すること。
• 先行文献における増分的凸性定理に関する誤解を是正すること。

提案手法

• 多角形を頂点の列として定義し、辺がその頂点の凸包の境界を形成するとする。
• 下向きの遺伝性を用いる：頂点がすべて異なる凸多角形から任意の頂点を削除すると、再び凸多角形が得られる。
• 上向きの遺伝性を適用する：$ n \geq 5 $ の $ n $-角形のすべての $ (n-1) $-頂点部分多角形が凸であるならば、その $ n $-角形自体が凸である。
• 巡回置換や接線の性質を含む組合せ論的および幾何的議論を用いて、部分多角形の凸性を証明する。
• 厳密凸性および直線の交差に関する補題を活用し、非凸な構成で矛盾を導く。
• 部分多角形の凸性に基づくテストを構築する：$ n \geq 5 $ かつ頂点がすべて異なる $ n $-角形は、すべての $ (n-1) $-頂点部分多角形が凸であるときかつそのときに限り凸である。

実験結果

リサーチクエスチョン

• RQ1 頂点がすべて異なる凸多角形のすべての部分多角形は、必然的に凸であるか？
• RQ2 $ n \geq 5 $ の $ n $-角形の凸性は、その $ (n-1) $-頂点部分多角形の凸性をテストすることで決定可能か？
• RQ3 部分多角形の凸性に基づいて、多角形が凸であるための条件は何か？
• RQ4 計算幾何学における帰納的推論を支援する、多角形の凸性における遺伝的構造は存在するか？
• RQ5 増分的凸性テストに関する先行文献における誤ったまたは不完全な記述は、どのように是正できるか？

主な発見

• 頂点がすべて異なる凸多角形のすべての部分多角形が凸であることを確認し、凸性の下向きの遺伝性を裏付けた。
• $ n \geq 5 $ の $ n $-角形が凸であるための必要十分条件として、すべての $ (n-1) $-頂点部分多角形が凸であること、すなわち上向きの遺伝性を確立した。
• $ n \geq 5 $ かつ頂点がすべて異なる多角形の凸性は、1つの頂点を削除して得られる $ n $ 個の $ (n-1) $-頂点部分多角形の凸性を検証することでテスト可能である。
• 証明は、特に頂点が異なりかつ多角形が厳密凸である場合に、接線の性質や凸包の幾何的性質に依存している。
• 元の多角形が厳密凸であるという仮定の下で、頂点の置換によって形成される部分4角形が非凸であると仮定すると、矛盾が導かれる。
• 先行文献における誤った記述を是正した。[5]の定理4.3の「十分条件」部分が、インデックス範囲に $ i = n $ を含む場合には成立しないことを示し、修正された正当な特徴付けを提示した。