[論文レビュー] Maximal Area Triangles in a Convex Polygon.

Kai Jin|arXiv (Cornell University)|Jul 13, 2017

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

ひとこと要約

この論文は、凸多角形内の最大面積三角形を計算するための、より単純で効率的な線形時間アルゴリズムを提示している。これは、既に知られていた解決策に発見された欠陥を是正するものである。幾何的洞察を活用することで計算を簡素化し、関連する幾何最適化問題に対しても効率的な解決策を可能にする。

ABSTRACT

The widely known linear time algorithm for computing the maximum area triangle in a convex polygon was found incorrect recently by Keikha et. al.(arXiv:1705.11035). We present an alternative algorithm in this paper. Comparing to the only previously known correct solution, ours is much simpler and more efficient. More importantly, our new approach is powerful in solving related problems.

研究の動機と目的

• 凸多角形内の最大面積三角形を計算するための、以前に認められていた線形時間アルゴリズムに発見された誤りを是正すること。
• 唯一の以前に知られていた正しい解決策よりも、より単純で効率的である正しいアルゴリズムを開発すること。
• 正しさに加え、関連する幾何最適化問題を効果的に解ける強力な手法を構築すること。

提案手法

• 凸多角形の幾何的性質を活用して、最適な三角形の頂点の探索空間を縮小する。
• 回転するコンパス方式の技法を適用し、最大面積を持つ候補三角形を効率的に探索する。
• 複雑なデータ構造を避けるために、単調性と凸性に依存して候補となる頂点の組み合わせを制限する。
• 凸多角形の境界上の頂点によって形成される三角形を体系的に評価し、最大面積を達成できる可能性のある重要な構成に焦点を当てる。
• 最適な三角形が多角形の極値点に対する特定の位置に頂点を持つべきであることを証明することで、正しさを保証する。
• アルゴリズムはO(n)時間で実行され、この問題クラスの理論的下界と一致する。

実験結果

リサーチクエスチョン

• RQ1 以前に知られていた解決策が誤りであることが判明した現在、凸多角形内の最大面積三角形を計算する正しいかつ効率的なアルゴリズムは何か？
• RQ2 正しさや効率性を損なわずに、アルゴリズムをどのように単純化できるか？
• RQ3 提案された手法は、最大面積三角形を越えて、関連する幾何最適化問題に一般化可能か？

主な発見

• 提案されたアルゴリズムは正しく、任意のn頂点を持つ凸多角形に対して線形時間O(n)で実行可能である。
• 唯一の以前に知られていた正しい解決策よりも著しく単純であるため、実装性と可読性が向上する。
• 最適な時間計算量を達成しており、この問題に対する理論的下界と一致する。
• このアプローチは、最大面積k角形や、凸多角形上での他の幾何最適化タスクを解くために拡張可能である。
• アルゴリズムの正しさは、凸包の性質と極値頂点の配置に基づくきめ細やかな幾何的推論によって確立されている。