最小生成树(prim--让一棵小树长大///kruskal--让许多小树合并）

1.Prim
证明：
假设连通图中由prim求得的MST（记为p）并不是这个图中实际的MST(记为t)，那么t中必存在一条边不属于p，将这条边并入p中，则p会出现环，去掉环上的非p的一条边可以得到t。然而，根据prim算法，这个p一定不是环上的最短边，那得到的t必不会是这个图中的最短路，这与假设矛盾。因此p即为这个图上的最短边。

专题六剩下的题记得练练kruskal…
O(n^2)复杂度的朴素prim，带路径记录

public static double prim(int n) {
		for(int i=1;i<=n;i++) {
			vis[i]=false;
			mincost[i]=INF;
		}
		double ans=0;
		mincost[1]=0;
		while(true) {
			int u=-1;
			for(int i=1;i<=n;i++) {
				if(!vis[i]&&(u==-1||mincost[i]<mincost[u])) {
					u=i;
				}
			}
			if(u==-1) {
				return ans;
			}
			vis[u]=true;
			ans+=mincost[u];
			for(int i=1;i<=n;i++) {
				if(!vis[i]&&mincost[i]>cost[u][i]) {
					mincost[i]=cost[u][i];
					root[i]=u;//记录路径
				}
				
			}
		}
	}

2.Kruskal

我们先从一个点出发吧。
1.对于在连通图中的一个点，所有连接这个点的边中的权值最小边，必定是此图最小生成树中的一条边。
证明：比如，这个点是x，x到y的边最小，假设这条边不在最小生成树中，那就有类似x–>a–>y在最小生成树中（因为在生成树中任意两点之间都有通路，且唯一），然而x–>y比x–>a要小，包含x–>a–>y的树不是最小生成树，与题设矛盾。由此得证。

这个推论中的点替换成连通块依然成立。即2.如果某个连通图属于最小生成树，那么所有从外部连接到该图的边中的一条最短的边必然属于最小生成树。
也可以借此证明，3.对于任意一个图，他最小生成树中每种权值的边的数量是一定的。

这样prim和kruskal算法就好理解了。

当最小生成树被拆分成彼此独立的若干个连通分量的时候，所有能够连接任意两个连通分量的边中的一条最短边必然属于最小生成树。 这个也是把每个连通分量看做一个点就好了。也就是Kruskal的核心思想了！