[论文解读] 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 边形或其他在凸多边形上的几何优化任务。
• 该算法的正确性通过基于凸包性质和极值顶点配置的严格几何推理得以确立。