设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)。