正确性可以用数学归纳法
如果前K个点是当前最好的凸包的话,那么,当所有点遍历后,必然是最好的凸包。

当k = 3时,是个三角形,成立。

如果当K>3时,比如由点1-9组成兔凸包后,判断10号点是否凸包,则由点8和点9组成的直线,根据toleft,判断点10是在左侧(绿色区域)还是右侧(蓝色区域),如果在左侧,则说明10号点是新的极点。
如果10号点在右侧(蓝色区域),说明9号点在1,8,10三个点组成的三角形内,必须剔除掉,依次类推,必然过10号点有一条原凸包的切线,如下图所示

从1号点是通过先下后左找到的极点,2号点是从1号点为顶点,对角度排序的最小的点,可知,1号点和2号点必然是极点,最差也会和新的点组成个三角形。必然是凸包。
那么,需要对以1号点为顶点,对其他点的角度排序么?需要的,否则就会像下图一样,处处toleft,但不是凸包。

文章讨论了如何使用数学归纳法验证凸包的正确性,特别是针对K>3的情况,通过比较点之间的关系来确定新点是否属于凸包。算法涉及判断点的位置、剔除策略以及角度排序的重要性。
338

被折叠的 条评论
为什么被折叠?



