克鲁斯卡尔(Kruskal)算法

 

设G=(V, E)是具有n个顶点的连通网，T=(U, TE)是其最小生成树。初值：U=V，TE={} 。

对G中的边按权值大小从小到大依次选取。

⑴ 选取权值最小的边(vi，vj)，若边(vi，vj)加入到TE后形成回路，则舍弃该边(边(vi，vj) ；否则，将该边并入到TE中，即TE=TE∪{(vi，vj)} 。

⑵ 重复⑴ ，直到TE中包含有n-1条边为止。

Kruskal算法实现的关键是：当一条边加入到TE的集合后，如何判断是否构成回路?

简单的解决方法是：定义一个一维数组Vset[n] ，存放图T中每个顶点所在的连通分量的编号。

◆ 初值：Vset[i]=i，表示每个顶点各自组成一个连通分量，连通分量的编号简单地使用顶点在图中的位置(编号)。

◆ 当往T中增加一条边(vi，vj) 时，先检查Vset[i]和Vset[j]值：

☆ 若Vset[i]=Vset[j]：表明vi和vj处在同一个连通分量中，加入此边会形成回路；

☆ 若Vset[i]≠Vset[j]，则加入此边不会形成回路，将此边加入到生成树的边集中。

◆ 加入一条新边后，将两个不同的连通分量合并：将一个连通分量的编号换成另一个连通分量的编号。

 

MSTEdge *Kruskal_MST(ELGraph *G)

      /*   用Kruskal算法构造图G的最小生成树   */

{ 

         MSTEdge TE[] ;

         int  j, k, v, s1, s2, Vset[] ;

         WeightType  w ;

         Vset=(int  *)malloc(G->vexnum*sizeof(int)) ;

         for (j=0; j<G->vexnum; j++)

                   Vset[j]=j  ;     /*   初始化数组Vset[n]  */

         sort(G->edgelist) ;   /*   对表按权值从小到大排序  */

         j=0 ;

         k=0 ;

         while (k<G->vexnum-1&&j< G->edgenum)

         { 

                   s1=Vset[G->edgelist[j].vex1] ;

                   s2=Vset[G->edgelist[j].vex2] ;

                   /*  若边的两个顶点的连通分量编号不同, 边加入到TE中  */

                   if  (s1!=s2)

               { 

                            TE[k].vex1=G->edgelist[j].vex1 ;

                    TE[k].vex2=G->edgelist[j].vex2 ;

                    TE[k].weight=G->edgelist[j].weight ;        

                    k++ ;

                    for (v=0; v<G->vexnum; v++)

               if  (Vset[v]==s2) 

                                     Vset[v]=s1 ;

               }

                   j++ ;

         }

         free(Vset) ; 

         return(TE) ;

}     /*   求最小生成树的Kruskal算法   */

 

设带权连通图有n个顶点，e条边，则算法的主要执行是：

◆ Vset数组初始化：时间复杂度是O(n) ；

◆ 边表按权值排序：若采用堆排序或快速排序，时间复杂度是O(e㏒e)；

◆ while循环：最大执行频度是O(n)，其中包含修改Vset数组，共执行n-1次，时间复杂度是O(n2)；

   整个算法的时间复杂度是O(e㏒e+n2)。