给定一个无向图,它的生成树是能够连接图中所有定点的的子图。一个图可以有很多个生成树,但是一个无向,带全图的最小生成树是生成树的所有边的权值之和小于任何一个生成树的权值之和。
一棵最小生成树的边是多少呢,设定这个图一共有V条边,那么最小生成树应该有V-1条边。
应用kruskal来解决最小生成树的问题的步骤为:
1,将图中的所有的边按照权值的大小进行非降序排序。
2,保留图中的所有顶点,对于图中的没一条边,按照排序后的顺序进行处理,如果新加入一条边,使得已经存在的边在加上这条边之后形成一个环,那么就抛弃这条边,否则保留这条边。判断是否存在环应该应用上一篇的并查集的方法来解决。
3,当已经保留或者加入了V-1条边之后,就停止进行边的操作。因为到现在为止在不形成环的条件下,已经生成了一棵最小生成树。
下面给出一个事例:
The graph contains 9 vertices and 14 edges. So, the minimum spanning tree formed will be having (9 – 1) = 8 edges.
After sorting:
Weight Src Dest
1 7 6
2 8 2
2 6 5
4 0 1
4 2 5
6 8 6
7 2 3
7 7 8
8 0 7
8 1 2
9 3 4
10 5 4
11 1 7
14 3 5
Now pick all edges one by one from sorted list of edges
1. Pick edge 7-6: No cycle is formed, include it.
2. Pick edge 8-2: No cycle is formed, include it.
3. Pick edge 6-5: No cycle is formed, include it.
4. Pick edge 0-1: No cycle is formed, include it.
5. Pick edge 2-5: No cycle is formed, include it.
6. Pick edge 8-6: Since including this edge results in cycle, discard it.
7. Pick edge 2-3: No cycle is formed, include it.
8. Pick edge 7-8: Since including this edge results in cycle, discard it.
9. Pick edge 0-7: No cycle is formed, include it.
10. Pick edge 1-2: Since including this edge results in cycle, discard it.
11. Pick edge 3-4: No cycle is formed, include it.
附上代码:
#include<iostream>
#include<string>
using namespace std;
typedef struct edge_s {
int src;
int dst;
int weight;
}edge_t;
class Graph {
private:
int vex_num;
int arc_num;
edge_t *arcs;
int *parent;
int *rank;
static int edgeCmp(const void *a, const void *b) {
edge_t *ea = (edge_t*)a;
edge_t *eb = (edge_t*)b;
return ea->weight > eb->weight;
}
public:
Graph(int _vex_num, int _arc_num) {
vex_num = _vex_num;
arc_num = _arc_num;
arcs = new edge_t[arc_num];
parent = new int[vex_num];
rank = new int[vex_num];
for (int i = 0; i < vex_num; i++) {
parent[i] = i;
rank[i] = i;
}
}
~Graph() {
delete []arcs;
delete []parent;
delete []rank;
}
int getArcNum();
int getVexNum();
int getArcSrc(int index);
int getArcDst(int index);
edge_t getEdge(int index);
int find(int x);
void _union(int x, int y);
void sort();
void setEdge(int index, int src, int dst, int weight);
};
int Graph::getArcNum() {
return arc_num;
}
int Graph::getVexNum() {
return vex_num;
}
void Graph::setEdge(int index, int src, int dst, int weight) {
arcs[index].src = src;
arcs[index].dst = dst;
arcs[index].weight = weight;
}
int Graph::getArcSrc(int index) {
return arcs[index].src;
}
int Graph::getArcDst(int index) {
return arcs[index].dst;
}
edge_t Graph::getEdge(int index) {
return arcs[index];
}
int Graph::find(int x) {
int r = x;
while (parent[r] != r)
r = parent[r];
int i = x, j;
while (i != r) {
j = parent[i];
parent[i] = r;
i = j;
}
return r;
}
void Graph::_union(int x, int y) {
int fx = find(x);
int fy = find(y);
if (fx == fy)
return;
if (rank[fx] > rank[fy]) {
parent[fy] = fx;
} else {
if (rank[fx] == rank[fy])
rank[fy]++;
parent[fx] = fy;
}
}
void Graph::sort() {
qsort(arcs, arc_num, sizeof(edge_t), edgeCmp);
}
void kruskal(Graph &g) {
int min_arcs = g.getVexNum() - 1;
edge_t *result = new edge_t[min_arcs];
g.sort();
int i = 0;
int e = 0;
while (e < min_arcs) {
edge_t next = g.getEdge(i++);
int fx = g.find(next.src);
int fy = g.find(next.dst);
if (fx != fy) {
result[e++] = next;
g._union(fx, fy);
}
}
for (i = 0; i < min_arcs; i++)
cout <<"from:" << result[i].src << " to:" << result[i].dst << " weight:" << result[i].weight << endl;
delete []result;
}
int main(int argc, char *argv[]) {
Graph g = Graph(4, 5);
g.setEdge(0, 0, 1, 10);
g.setEdge(1, 0, 2, 6);
g.setEdge(2, 0, 3, 5);
g.setEdge(3, 1, 3, 15);
g.setEdge(4, 2, 3, 4);
kruskal(g);
cin.get();
return 0;
}