山东大学算法分析和设计重点.pptxVIP

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)已经被删除了，根据算法是按照权值由大到小的顺序删边的，所以w(x, y) w(u, v)。则T’’=T’ - (x, y)+(u, v)必然是一棵最小生成树。 Continued 设对边集Ai时结论成立，现在证明边集Ai+1也是某棵最小生成树的子集。 设Ai ={ e1, e2,…, ei}是最小生成树T’的子集，如果(u, v)=ei+1T’, 结论自然成立。如果ei+1T’，则在T’中存在u到v的路径p。因为删除ei+1会使图不连通，即删除e1会使顶点集合V划分为两个子集V1和V2，其中uV1，vV2。则路径p中存在1条边(x, y)满足xV1，yV2，并且(x, y)已经被删除了，否则如果p中所有边都没被删除，删除e1不会使图不连通。既然(x, y)已经被删除了，根据算法是按照权值由大到小的顺序删边的，所以w(x, y) w(u, v)。则T’’=T’ - (x, y)+(u, v)必然是一棵最小生成树。现在只需要证明T’’包含Ai ={ e1, e2,…, ei+1}中的所有边，因为T’’与T’只有1条边不同，所以只需要证明(x,y)Ai，这显然是成立的，因为(x, y)已经被删除了，而{ e1, e2,…, ei}是没被删除的。 证明完毕！ 23-4(c) 证明：算法实际上是在图G中删除一些圈上权值最重的边，最后得到一棵MST。 设删除的边依次为e1, e2…,em-n+1，剩余的图依次是G0, G1,…,Gm-n+1，其中G=G0，Gm-n+1=T，m=|E|，n=|V|。 我们证明Gi+1的MST同时也是Gi的MST即可。 前面23.1-5已经证明了存在Gi+1的MST T’同时也是Gi的MST，而Gi+1的所有MST的大小与T’一样的，所有它们都与Gi的MST的大小一样，所以他们都是Gi的MST。 从而Gm-n+1必然是Gm-n,…, Go的MST。 Exercises 22.3-2 22.3-6(DFS栈实现) DFS(G) 1 for each vertex uV[G] 2 do color[u]  WHITE 3 [u]  NIL time  0 Stack S   6 for each vertex uV[G] 7 do if color[u] = WHITE 8 Then S.push(u) 9 While S  10 do color[S.top]  GRAY 11 d[S.top]  time  time +1 12 if exists v  Adj[S.top] color[v] = WHITE 13 then [v]  S.top S.push(v) 15 else 16 u  S.pop() 17 color[u]  BLACK 18 f[u]  time  time + 1 22.3.12 Singly Connected: for all vertices u,vV, if uv, then there is at most one simpl