算法作业-3.docVIP

1.证明graham-scan的正确性 ≥≤2∑≠θΩε∞≠∣ 2.优化matrix-chain-order Print-optimal-parens，并构建优化三角剖分解 如果在一个∣Q∣≥3的点集Q上运行graham -scan，则在过程终止时，栈S从底部到顶部包含了按逆时针方向排列在CH（Q）中的各个顶点。 证明：我们有点序列p1,p2,…,pm。对i=2,3…,m，定义一个点子集Qi={p0，p1,…,pi}。Q-Qm中的点是那些被删除的点，因为它们与Qm中的某个点相对于p0的极角相同；这些点不在CH（Q）中，因而CH（Qm）=CH（Q）。于是，只要证明当graham-scan终止时，栈S中包含了CH（Qm）的顶点，且这些顶点是按照逆时针从底部自顶部在栈中排列的。注意，正如p0，p1和pm是CH（Q）中的顶点一样，p0，p1和pi也是CH（Qi）中的顶点。 用循环不变式： 初始化：在首次进入循环时，这个循环不变式得到保持，因为此时栈S中恰包含了Q2=Qi-1中的顶点，这三个顶点的集合形成了它们各自的凸包。此外，它们按逆时针排列，从底至顶地出现在栈S中。 保持：进行for循环的一层迭代后，栈S顶上的点为pi-1，它是在上一次迭代最后被压入栈的。设第10~11行中while循环执行后，第12行将pi压入栈之前，栈S顶部的点为pj。设pk为栈S中紧靠pj之下的点。在pi成为栈顶且尚未将pi压入栈时，栈S中包含了与for循环的第j次迭代后一样的点。因此，根据循环不变式，在该时刻，栈S中恰包含了CH（Qi）中的顶点，它们按逆时针自底向上地出现在栈中。 我们继续关注单pi被压入栈之前的这一时刻。我们已经知道，pi相对于p0的极角大于pj的极角并且角pkpjpi是左转的。由于S恰包含了CH（Qj）中顶点，因此，一旦压入pi，栈S中恰包含了CH（Qj∪{pi}）中的顶点，并且这些点仍然按逆时针顺序自底向上地出现在栈中。 考虑任意一个在for循环的第i次迭代中被弹出的点pt，设pr和pt被弹出时栈S中紧靠在pt下面的点。角prptpi所做的是非左转向，而pt相对于p0的极角大于pr的极角，pt必定在由p0，pr和pi构成的三角形内部，或者在这个三角形的某条边上。显然，由于pt在一个由Qi的其他三个点构成的三角形内部，故不可能是CH（Qi）的一个顶点。所以：CH（Qi-{pt}）=CH（Qi） 设pi为for循环的第i次迭代中弹出点的集合。由于上式适合pi中所有点，故可以用它来反复说明CH（Qi-pi）=CH（Qi）。但是，Qi-pi=Qj∪{pi}，故CH（Qj∪{pi}）= CH（Qi-pi）=CH（Qi） 终止：当循环终止时，有i=m+1，因而，循环不变式意味着栈S中恰包含了CH（Qm）While循环时间为O（n）。对i=0,1，…，m每个点pi压入栈一次，执行push至多与pop一样。至少有三个顶点不会从栈中弹出，所以事实上总共至多执行m-2次迭代。由于第10行的测试用时O（1）每次调用pop所需时间O(1),且m≤n-1，所以while用时O（n），故graham-scan用时O（nlgn）。 2. Optimal-polygon-triangulation（p） n←length（p）-1 for i←1 to n do t[i,j] ←0 for 1←2 to n do for i←1 to n-1+1 do j←i+1-1 t[i,j] ←∞ for k←i to j-1 do q←t[i,k]+t[k+1,j]+W(i-1,k,j) if qt[i,j] then t[i,j] ← q.s[i,j] ← k return t and s print-optimal-parens(s,i,j) if ji+1 then print-optimal-parens(s.i,s[i,j]) print Vi-1Vs[i,j],Vs[i,j]Vj print-optimal-parens(s,s[i,j]+1.j) return