1. 问题
假设G=(V,{E})是连通网,U是顶点集V的一个非空子集。若(u,v)是一条具有最小权值(代价)的边,且u∈U,v∈V-U,则T为一颗包含边(u,v)的最小生成树。
2.解析
令最小生成树T的初始状态为只有n个顶点且没有边的非连通图T=(V,{ }),其中 每个顶点都自成连通分量。在E中选择代价最小的边,如果这条边依附的顶点在T中不同的连通分量上,则将该边加入T中,否则则舍弃该边。重复上述过程,直到T中所有的顶点都在同一连通分量上。
3.设计
void kruskal(MGraph G)
{
int set[MAX_VERTEX_NUM],i,j;
int k=0,a=0,b=0,min=G.arcs[a][b].adj;
for(i=0;i<G.vexnum;i++)
set[i]=i; // 初态,各顶点分别属于各个集合
printf("最小代价生成树的各条边为\n");
while(k<G.vexnum-1) // 最小生成树的边数小于顶点数-1
{ // 寻找最小权值的边
for(i=0;i<G.vexnum;++i)
for(j=i+1;j<G.vexnum;++j) // 无向网,只在上三角查找
if(G.arcs[i][j].adj<min)
{
min=G.arcs[i][j].adj; // 最小权值
a=i; // 边的一个顶点
b=j; // 边的另一个顶点
}
min=G.arcs[a][b].adj=INFINITY; // 删除上三角中该边,下次不再查找
if(set[a]!=set[b]) // 边的两顶点不属于同一集合
{
printf("%s-%s\n",G.vexs[a],G.vexs[b]); // 输出该边
k++; // 边数+1
for(i=0;i<G.vexnum;i++)
if(set[i]==set[b]) // 将顶点b所在集合并入顶点a集合中
set[i]=set[a];
}
}
}
4.分析
其中 Kruskal算法的时间复杂度为O(eloge),e为网中边的数目。
5.源码
https://github.com/yaoshuangice/yaoshuang