山东大学算法分析与设计重点.pptVIP

23.1-5 证明:设C=v0, v1,…,vk是一个圈,其中边e=(v0, vk)是权值最重的边。 只需要构造一棵不包含e=(v0, vk)的MST即可。 设T是一棵包含e=(v0, vk)的MST，则删除e会使T变成两个连通分支V1，V2，v0V1，vkV2。依次检测顶点v1,…,vk，找到第一个在V2中的顶点vi(这样的vi一定能找到，因为vkV2)，从而e’=(vi-1, vi)是穿过割(V1,V2)的一条边，并且w (v0, vk) w(vi-1, vi)。则T’=T-e+e’是一棵新的MST。 23-4(a) 证明: 设T中的边按照权值非递减顺序依次为e1, e2,…, en-1, 即算法依次保留边e1, e2,…, en-1。设边集Ai ={ e1, e2,…, ei}，1in-1则只需要证明每个Ai 都是某棵最小生成树的子集。 用归纳法证明。 i=1时，设T’是一棵最小生成树，如果(u, v)=e1T’, 结论自然成立。如果e1T’，则在T’中存在u到v的路径p。因为删除e1会使图不连通，即删除e1会使顶点集合V划分为两个子集V1和V2，其中uV1，vV2。则路径p中存在1条边(x, y)满足xV1，yV2，并且(x, y)已经被删除了，否则如果p中所有边都没被删除，删除e1不会使图不连通。既然(x, y)已经被删除了，根据算法是按照权值由大