[论文解读] Minimum Enclosing Area Triangle with a Fixed Angle

Prosenjit Bose, J.-L. Jean-Lou Carufel|arXiv (Cornell University)|Sep 15, 2010

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

一句话总结

本文提出了一种O(n log n)时间复杂度的算法，用于计算包含给定n个平面点集的最小面积三角形，且该三角形的固定内角为ω。证明了最优解通常需要使用三次根式，从而确立了其代数表示的理论极限。

ABSTRACT

Given a set S of n points in the plane and a fixed angle 0 < ω < pi, we show how to find all triangles of minimum area with angle ω that enclose S in O(n log n) time. We also demonstrate that in general, the solution cannot be written without cubic root. 1

研究动机与目标

• 计算包含给定n个平面点集的、具有指定内角ω的最小面积三角形。
• 确定寻找此类最小包围三角形的计算复杂度。
• 确定最优解是否可以在不使用三次根式的情况下表达。
• 提供一种高效算法，实现该问题的最优时间复杂度。

提出的方法

• 该算法利用几何变换，将问题转化为相对于点集寻找特定支撑线的问题。
• 利用旋转扫描技术，高效探索具有固定角ω的候选三角形构型。
• 该方法涉及构造点集的凸包，并分析三角形各边的关键方向。
• 通过在角度参数上进行参数搜索和二分查找，定位最小面积构型。
• 通过分析与角度ω相关的直线排列及其相对于点集的支撑性质，推导出解。
• 理论分析证明，在一般情况下，最小面积无法在不使用三次根式的情况下表达，表明存在代数复杂度的下限。

实验结果

研究问题

• RQ1 是否可以在亚二次时间复杂度内计算具有固定角ω的最小面积包围三角形？
• RQ2 该问题最优解的代数复杂度是多少？
• RQ3 是否存在某些几何构型，使得解在精确形式下必须使用三次根式？
• RQ4 固定角约束如何影响最小包围三角形的结构？

主要发现

• 具有固定角ω的最小面积包围三角形可以在O(n log n)时间内计算得出。
• 该算法在时间复杂度上对于此几何优化问题是最优的。
• 最优解通常需要使用三次根式进行精确表示，证明了更简单的代数形式是不足的。
• 该问题无法仅通过二次无理数求解，确立了代数复杂度的下限。
• 解的几何结构在很大程度上依赖于角度约束和点集的凸包。
• 该结果对所有ω ∈ (0, π)均成立，对ω的取值无任何限制。