第7章-3-(7.4.3最小生成树)导论.ppt

1 5 4 5 2 3 5 6 6 6 a b d c e f (d,f,2) (b,e,3) (c,f,4) (a,d,5) (b,c,5) (c,d,5) (a,b,6) (c,e,6) (e,f,6) 顶点 标号 a 1 b 2 c 1 d 4 e 5 f 4 1 5 4 5 2 3 5 6 6 6 a b d c e f (b,e,3) (c,f,4) (a,d,5) (b,c,5) (c,d,5) (a,b,6) (c,e,6) (e,f,6) 顶点 标号 a 1 b 2 c 1 d 4 e 5 f 4 取边（b,e,3）,对顶点b和顶点e的类标号进行比较，发现不等；则二者属于两个不同的连同分量，用边连起来也不会形成环。 在be间加上一条边，则连通分量2和连通分量5变成了同一个连通分量，则它们的标号应该相同。所以，我们必须把所有的5变成2。 1 5 4 5 2 3 5 6 6 6 a b d c e f (b,e,3) (c,f,4) (a,d,5) (b,c,5) (c,d,5) (a,b,6) (c,e,6) (e,f,6) 顶点 标号 a 1 b 2 c 1 d 4 e 2 f 4 1 5 4 5 2 3 5 6 6 6 a b d c e f (c,f,4) (a,d,5) (b,c,5) (c,d,5) (a,b,6) (c,e,6) (e,f,6) 顶点 标号 a 1 b 2 c 1 d 4 e 2 f 4 取边（c,f,4）,对顶点c和顶点f的类标号进行比较，发现不等；则二者属于两个不同的连同分量，用边连起来也不会形成环。 在cf间加上一条边，则连通分量1和连通分量4变成了同一个连通分量，则它们的标号应该相同。所以，我们必须把所有的4变成1。 1 5 4 5 2 3 5 6 6 6 a b d c e f (c,f,4) (a,d,5) (b,c,5) (c,d,5) (a,b,6) (c,e,6) (e,f,6) 顶点 标号 a 1 b 2 c 1 d 1 e 2 f 1 1 5 4 5 2 3 5 6 6 6 a b d c e f (a,d,5) (b,c,5) (c,d,5) (a,b,6) (c,e,6) (e,f,6) 顶点 标号 a 1 b 2 c 1 d 1 e 2 f 1 取边（a,d,5）,对顶点a和顶点d的类标号进行比较，发现相等；则二者属于同一连通分量，用边连起来会形成环，故改变应舍去。 1 5 4 5 2 3 5 6 6 6 a b d c e f (b,c,5) (c,d,5) (a,b,6) (c,e,6) (e,f,6) 顶点 标号 a 1 b 2 c 1 d 1 e 2 f 1 取边（b,c,5）,对顶点b和顶点c的类标号进行比较，发现不等；则二者属于两个不同的连同分量，用边连起来也不会形成环。 在bc间加上一条边，则连通分量2和连通分量1变成了同一个连通分量，则它们的标号应该相同。所以，我们必须把所有的2变成1。 1 5 4 5 2 3 5 6 6 6 a b d c e f (b,c,5) (c,d,5) (a,b,6) (c,e,6) (e,f,6) 顶点 标号 a 1 b 1 c 1 d 1 e 1 f 1 此时所有顶点属于同一个连通分量，最小生成树求得。 2.算法分析 Kruscal算法至多对e条边各扫描一次，假若以后面章节将介绍的堆来存放网中的边，则每次选择最小代价的边仅需O(loge)的时间。又生成树T的每个连同分量可看成是一个等价类，则构造T加入新的边的过程类似于求等价类的过程，有算法保证其时间复杂度可以达到O(eloge)。因此，Kruscal算法的时间复杂度为O(eloge)。所以该算法适合求边稀疏的图的最小生成树。 u v cost 1 a a 0 2 b c 5 3 c a 0 4 d a 5 5 e c 6 6 f c 0 b-c=5b-f= ∞,不用更新 d-a=5d-f=2,需要更新 L： 1 5 4 5 2 3 5 6 6 6 a b d c e f u v cost 1 a a 0 2 b c 5 3 c a 0 4 d f 2 5 e c 6 6 f c 0 b-c=5b-f= ∞,不用更新 d-a=5d-f=2,需要更新 e-c=6=e-f=6,不用更新 L： 1 5 4 5 2 3 5 6 6 6 a b d c e f u v cost 1 a a 0 2 b c 5 3 c a 0 4 d f 2 5 e c 6 6 f c 0 选择距离生成树最小的顶点d, 加入到生成树中，并更新 L： 1 5 4 5 2 3 5 6 6 6 a b d c e f u v cost 1 a a 0 2 b c