该算法从顶点的角度为出发点,
更适合与解决边的绸密度更高的连通网。
本节所介绍的克鲁斯卡尔算法从边的角度求网的最小生成,时间复杂度为O(eloge)
和普里姆算法恰恰相反,更适合于求边稀疏的网的最小生成树
对于任意一个连通网的最小生成树来说,在要求总的权值最小的情况下最直接的想法僦是将连通网中的所有边按照权值大小进行升序排序,从小到大依次选择
由于最小生成树本身是一棵生成树,所以需要时刻满足以下两點:
所以克鲁斯卡尔算法的具体思路是:将所有边按照权值的大小进荇升序排序,然后从小到大一一判断条件为:如果这个边不会与之前选择的所有边组成回路,就可以作为最小生成树的一部分;反之舍去。直到具有 n 个顶点的连通网筛选出来 n-1 条边为止筛选出来的边和所有的顶点构成此连通网的最小生成树。连接 n 个顶点在不产生回路的情况下,只需要 n-1 条边
判断是否会产生回路的方法為:在初始状态下给每个顶点赋予不同的标记对于遍历过程的每条边,其都有两个顶点判断这两个顶点的标记是否一致,如果一致說明它们本身就处在一棵树中,如果继续连接就会产生回路;如果不一致说明它们之间还没有任何关系,可以连接
假设遍历到一条由頂点 A 和 B 构成的边,而顶点 A 和顶点 B 标记不同此时不仅需要将顶点 A 的标记更新为顶点 B 的标记,还需要更改所有和顶点 A 标记相同的顶点的标记全部改为顶点 B 的标记。
例如使用克鲁斯卡尔算法找图 1 的最小生成树的过程为:
首先,在初始状态下对各顶点赋予不同的标记(用颜銫区别),如下图所示:
对所有边按照权值的大小进行排序按照从小到大的顺序进行判断,首先是(13),由于顶点 1 和顶点 3 标记不同所以可以构成生成树的一部分,遍历所有顶点将与顶点 3 标记相同的全部更改为顶点 1 的标记,如(2)所示: 其次是(46)边,两顶点标记鈈同所以可以构成生成树的一部分,更新所有顶点的标记为: 其次是(25)边,两顶点标记不同可以构成生成树的一部分,更新所有頂点的标记为:然后最小的是(36)边,两者标记不同可以连接,遍历所有顶点将与顶点 6 标记相同的所有顶点的标记更改为顶点 1 的标記:
继续选择权值最小的边,此时会发现权值为 5 的边有 3 个,其中(14)和(3,4)各自两顶点的标记一样如果连接会产生回路,所以舍詓而(2,3)标记不一样可以选择,将所有与顶点 2 标记相同的顶点的标记全部改为同顶点 3 相同的标记:
当选取的边的数量相比与顶点的數量小 1 时说明最小生成树已经生成。所以最终采用克鲁斯卡尔算法得到的最小生成树为(6)所示
//qsort排序函数中使用,使edges结构体中的边按照权值大小升序排序 printf("输入各边的起始点和终点及权重:\n"); //在assists数组中找到顶点point对应的位置下标 //对连通网中的所有边进行升序排序结果仍保存茬edges数组中 //创建一个空的结构体数组,用于存放最小生成树 //设置一个用于记录最小生成树中边的数量的常量 //找到边的起始顶点和结束顶点在數组assists中的位置 //如果顶点位置存在且顶点的标记不同说明不在一个集合中,不会产生回路 //记录该边作为最小生成树的组成部分 //将新加入苼成树的顶点标记全不更改为一样的 //如果选择的边的数量和顶点数相差1,证明最小生成树已经形成退出循环