证明将所有点包在最小凸多边形算法的正确性.pdfVIP

11S103001 郝亚峰 2 班 第五次算法作业 1、证明“find convex hull ”的GRHAM-SCAN 算法的正确性。 证明：在GRAHAM_SCAN 算法中，第一步是先找y 坐标最小的点p ，如果有多个点的y 0 坐标并列最小，则取最左边的点记为 p 。在第二步中，计算点 p 与其他点的极坐标， 0 0 按照极角的从小到大来排序其他点，排序后可写作p , p ,…, p 。这些点中可能没有完 1 2 m 全包含原来给出的除了p0 之外的点，那些没有包含进来的点与p0 形成的极角同p0 与这 m 个点中的某一个点p 形成的极角相同，并且到点p 的距离小于p 到点p 之间的距离， x 0 x 0 所以那些没有包含进来的点不会出现在最终的凸多边形的顶点集合中。 下面我们给出一些形式化的定义，以便于证明。令原始的所有的点集用 Q 表示，CH(Q) 表示GRHAM-SCAN(Q) 的结果，即由点集Q 形成的最终的凸多边形的顶点集。令Q = p , i 0 p ,…, p ，所以Q =p , p ,…, p ，那么根据上述说明就有：CH(Q )=CH(Q)。于是，我 1 i m 0 1 m m 们只需要证明当该算法结束时，栈S 中包含了CH(Qm)，并且顶点按照逆时针顺序从栈底 到栈顶进行排列。 我们采用循环不变量的方式来证明，我们给出循环不变式：在执行程序的for 循环 之前，栈S 恰好包含了CH(Qi-1)，并且按逆时针顺序从栈底到栈顶存放。 初始：该算法在for 循环之前，将p ，p ，p 依次压栈，这三个顶点形成了它们自 0 1 2 己的凸多边形，栈S 中恰好存放了CH(Q ) 中的顶点，并且按逆时针顺序从栈底到栈顶存 2 放，所以初始时刻，循环不变式是保持的。 保持：在新的循环开始时，栈顶存放的顶点是pi-1 。在for 循环中的while 循环进行 之后，p 压栈之前，栈顶为p ，p 为紧靠栈顶的下一点，则此时栈S 与第j 次循环结束 i j k