次小生成树结论.docVIP

by kinfkong [zz from zsu] 我根据导论上的一些习题，得到下面一些结论， 从而得出算法。我表达力有限，各位将就着看 结论1 次小生成树可由最小生成树换一条边得到. 证明: 可以证明下面一个强一些的结论： T是某一棵最小生成树，T0是任一棵异于T的树，通过变换 T0 -- T1 -- T2 -- ... -- Tn (T) 变成最小生成树. 所谓的变换是，每次把T_i中的某条边换成T中的一条边, 而 且树T_(i+1)的权小于等于T_i的权. 具体操作是： step 1. 在T_i中任取一条不在T中的边u_v. step 2. 把边u_v去掉，就剩下两个连通分量A和B， 在T中，必有唯一的边u_v 连结A和B. step 3. 显然u_v的权比u_v小 (否则,u_v就应该在T中). 把u_v替换u_v即得树T_(i+1). 特别地：取T0为任一棵次小生成树，T_(n-1) 也就是次小生成树且 跟T差一条边. 结论1得证. 算法： 只要充分利用结论1, 即得V^2的算法. 具体如下： step 1. 先用prim求出最小生成树T. 在prim的同时，用一个矩阵max[u][v] 记录 在T中连结任意两点u,v的唯一的 路中权值最大的那条边的权值. (注意这里). 这是很容易做到的，因为prim是每次增加一个结点s, 而设已经标号了的结点 集合为W, 则W中所有的结点到s的路中的最大权值的边可由当前的这条边求出来. step 1 用时 O(V^2). step 2. 枚举所有不在T中的边u_v, 加入边u_v则必然替换权为max[u][v]的边. 故总时间为O(V^2). -- 算法是程序设计的灵魂..... Welcome to Algorithm ○ hunt for a challenge 。o battle of the brains elegancy under pressure ※ 来源:·飘渺水云间 ·[FROM: qherlyt] [ HYPERLINK 8/cgi-bin/bbscon?board=Algorithmfile=M.1097599600num=6044 本篇全文] [ HYPERLINK 8/cgi-bin/bbspst?board=Algorithmfile=M.1097599600num=6044title=Re:%20次小生成树的某些结论及算法userid=collin 回复本文] [本篇作者: HYPERLINK 8/cgi-bin/bbsqry?userid=collin collin ] [本篇人气: 0] 发信人: collin (collin@fc), 信区: Algorithm 标 题: Re: 次小生成树的某些结论及算法 发信站: 飘渺水云间 (Wed Oct 13 00:47:01 2004), 站内信件 我记得有本书上有第k条最短路径的算法的