克鲁斯卡尔算法的核心思想是:在带权连通图中,不断地在边集合中找到最小的边,如果该边满足得到最小生成树的条件,就将其构造,直到最后得到一颗最小生成树。
克鲁斯卡尔算法的执行步骤:
第一步:在带权连通图中,将边的权值排序(从小到大);
第二步:判断是否需要选择这条边(此时图中的边已按权值从小到大排好序)。判断的依据是边的两个顶点是否已连通,如果连通则继续下一条;如果不连通,那么就选择使其连通。
第三步:循环第二步,直到图中所有的顶点都在同一个连通分量中,即得到最小生成树。
下面我用图示法来演示克鲁斯卡尔算法的工作流程,如下图:
首先,将图中所有的边排序(从小到大),我们将以此结果来选择。排序后各边按权值从小到大依次是:
HG < (CI=GF) < (AB=CF) < GI < (CD=HI) < (AH=BC) < DE < BH < DF
并且定义一个parent[]数组,大小为图中顶点个数,初始化{0,0,0,0,0,0,0,0,0},下标对应的值是当前顶点的终结点。
H到G:1、C到I:2、G到F:2、A到B:4、C到F:4、G到I:6、C到D:7、H到I:7、A到H:8、B到C:8、D到E:9、B到H:11、D到F:14
需要注意的是:我们把上面左边左边定位begin,右边顶点定为end,例如HG:H begin G end
判断法则:当将边CI加入到已找到边的集合中时,是否会形成回路?
1.我们首先要判断C和I这俩顶点分别的终顶点,C(parent对应的2下标),I(对应8下标),都是0,所以没有回环,可以连
2.如果C和I俩终顶点是一样的,形成回路,不符合要求,直接进行下一次操作
继续,选择GF边,对G和F分别判断终顶点是谁,因为parent数组下标5和6都是0,所以没有回环,可以连
parent={0,0,8,0,0,0,5,6,0},意思是G顶点的终顶点是5下标(F)了
继续,选择AB进行判断,因为parent数组下标0,1都是0,所以不回环,可以连接
parent={1,0,8,0,0,0,5,6,0},意思是G顶点的终顶点是5下标(F)了
继续,对CF进行判断,注意了parent数组下标是2对应的值是8(I),但是8下标对应的值是0,也就是说目前C的终顶点是I,F对应的下标5对应的值是0,所以他俩终点不一样,可以连接!
同时,把I的终顶点设为F
parent={1,0,8,0,0,0,5,6,5},意思是I顶点的终顶点是5下标(F)了
继续,这次选择GI,注意了parent数组下标6对应的值是5,8下标的值是5,所以形成了回环,不可连!
继续,选择CD,C和D对应的终顶点是F和无,所以CD可以连!同时把C的终顶点F的终顶点设为D
parent={1,0,8,0,0,3,5,6,5},意思是F顶点的终顶点是3下标(D)了
继续对边集合所有的边按照上面的规则判断,得到最终的最小生成树是:
代码如下:
public class GraphKruskal2 {
public Edge[] edges;
public int edgeSize;;
public GraphKruskal2(int edgeSize) {
this.edgeSize = edgeSize;
edges = new Edge[edgeSize];
}
public void createEdgeArray() {
Edge edge0 = new Edge(4, 7, 7);
Edge edge1 = new Edge(2, 8, 8);
Edge edge2 = new Edge(0, 1, 10);
Edge edge3 = new Edge(0, 5, 11);
Edge edge4 = new Edge(1, 8, 12);
Edge edge5 = new Edge(3, 7, 16);
Edge edge6 = new Edge(1, 6, 16);
Edge edge7 = new Edge(5, 6, 17);
Edge edge8 = new Edge(1, 2, 18);
Edge edge9 = new Edge(6, 7, 19);
Edge edge10 = new Edge(3, 4, 20);
Edge edge11 = new Edge(3, 8, 21);
Edge edge12 = new Edge(2, 3, 22);
Edge edge13 = new Edge(3, 6, 24);
Edge edge14 = new Edge(4, 5, 26);
edges[0] = edge0;
edges[1] = edge1;
edges[2] = edge2;
edges[3] = edge3;
edges[4] = edge4;
edges[5] = edge5;
edges[6] = edge6;
edges[7] = edge7;
edges[8] = edge8;
edges[9] = edge9;
edges[10] = edge10;
edges[11] = edge11;
edges[12] = edge12;
edges[13] = edge13;
edges[14] = edge14;
}
class Edge {
public int begin;
public int end;
public int weight;
public Edge(int begin, int end, int weight) {
this.begin = begin;
this.end = end;
this.weight = weight;
}
}
public void kruskal() {
int m, n, sum = 0;
int[] parent = new int[edgeSize];// 下标指顶点位置,值指的是当前下标对应的顶点邻接父节点
for (int i = 0; i < edgeSize; i++) {
parent[i] = 0;
}
for (int i = 0; i < edgeSize; i++) {
// 对边数组进行从小到大遍历
// 找到边的begin,判断当前begin的终顶点
n = find(parent, edges[i].begin);
// 找到边的end,判断当前end的终顶点
m = find(parent, edges[i].end);
// 如果当前n=m的话,就代表有回环,不能连接
if (n != m) {
parent[n] = m;
System.out.println("起始顶点:" + edges[i].begin + " ---结束顶点:"
+ edges[i].end);
sum += edges[i].weight;
} else {
System.out.println("第" + i + "条边回环了");
}
}
System.out.println("权值总和:" + sum);
printArray(parent);
}
private int find(int[] parent, int f) {
// 找到当前f节点的父节点的父节点.....(以此类推)的下标
while (parent[f] > 0) {
System.out.println("找到起点:" + f);
f = parent[f];
System.out.println("找到终点:" + f);
}
return f;// 返回的这个代表当前f暂时还没有了父节点
}
// (3)
public static void printArray(int[] array) {
System.out.print("{");
for (int i = 0; i < array.length; i++) {
System.out.print(array[i]);
if (i < array.length - 1) {
System.out.print(", ");
}
}
System.out.println("}");
}
public static void main(String[] args) {
GraphKruskal2 kruskal = new GraphKruskal2(15);
kruskal.createEdgeArray();
kruskal.kruskal();
}
}