首页 > 代码库 > 最小生成树学习
最小生成树学习
概述:
在一给定的无向图G = (V, E) 中,(u, v) 代表连接顶点 u 与顶点 v 的边(即),而 w(u, v) 代表此边的权重,若存在 T 为 E 的子集(即)且为无循环图,使得 w(T) 最小,则此 T 为 G 的最小生成树。
最小生成树其实是最小权重生成树的简称。
最小生成树:
一个无向连通图G=(V,E),最小生成树就是联结所有顶点的边的权值和最小时的子图T,此时T无回路且连接所有的顶点,所以它必须是棵树。
应用:
网络G表示n个城市之间的通信线路网线路(其中顶点表示城市,边表示两个城市之间的通信线路,边上的权值表示线路的长度或造价)。可通过求该网络的最小生成树达到求解通信线路或总代价最小的最佳方案。
如何求最小生成树呢?
一是Kruskal算法,另一种是Prim算法,这两种算法都使用了贪心策略。
涉及到的几个概念:
安全边:A是G的某最小生成树的子集,如果AU{(u,v)}仍是G的某最小生成树的子集,则(u,v)是安全边;
割:无向图G=(V, E)对V的一个划分(S, V-S);
边(u,v)通过割(S,V-S):(u,v)一个顶点位于S中,另一个顶点位于V-S中;
不妨害A的割:A中没有任意一条边通过该割;
轻边(light edge):通过割的所有边中权值最小的边(可能有多条)。
最小生成树生成的伪代码:
GENERIC-MST(G, w) A=空集 while A does not form a spanning tree(如果A不能构成一个生成树) do find an edge(u,v) that is safe for A(找A的安全边) A=AU{(u,v)} return A
算法导论定理:
G=(V,E) 是个无向连通加权图。A 是 E 的一个子集,它包含于 G 的某个最小生成树中。设割 (S, V-S) 是G的任意一个不妨害A的割(就是说A中任何一条边的两个端点要么全在S中,要么全在V-S中),边(u,v)是通过割(S,V-s)的一条轻边(就是说
(u,v)是所有端点分布于S和V-S的边中权值最小的),则(u,v)对集合A是安全的。
推论:
A是G=(V,E)的某个最小生成树的子集。G(A)=(V,A)是图G的一个森林(只有A集合中的边),C=(Vc, Ec)为G(A)的一个连通分支(森林中的树)。如果边(u,v)是连接C和G(A)中其他某连通分支的一条轻边,则(u,v)对集合A来说是安全的。
伪代码实现:
Kruskal 算法
MST-KRUSKAL(G, w) A=空集 for each vertex v∈V[G] do MAKE_SET(v) sort the edges of E into nondescreasing order by weight w for each edge(u,v)∈E, take in nondescreasing order by weight do if FIND-SET(u) != FIND-SET(v)// 如果u和v不在同一个连通分支中,就把(u,v)加入,由推论可知此边是安全的 then A = AU{(u,v)} UNION(u,v) return A
(FIND-SET(u)是找出u所在的连通分支。Kruskal在全局中找权值最小的边,然后判断此边是否“合法”,进行取舍,直到遍历完所有的边。Kruskal算法的运行时间为O(ElgV)。)
Prim算法(Prim适用于稠密图,对于给定坐标求最小生成树的题目再合适不过。)
MST-PRIM(G, w, r) for each u∈V[G] do key[u]=∞ π(u) = NIL // π(u)是u的前趋 key[r] = 0 Q=V[G] while Q != 空集 do u=EXTRACT-MIN(Q) for each v∈Adj[u] do if v∈Q and w(u,v)<key[v] then π(v)=u key[v] = w(u,v) // 更新key[v]</span></span>
(Q是一个优先队列,key[v]是所有将v与树中某一顶点相连的边中的最小权值,若不存在这样的边,则k[v]=∞。Prim算法在局部寻找权值小的的边(此边必合法),直到遍历完所有的节点。Prim算法的运行时间为O(ElgV),与Kruskal算法渐近相等。Prim算法实际上使用了与Dijkstra算法同样的策略,维护了一个权值数组key,在迭代过程中不断的更新。)
-------------------------------------------------------
代码:
以后加。。。。。。。。。。。。。。。。
----------------------------------------------------------------------------------------------
来源:点击打开链接