Kruskal最小生成树算法的证明

记录下自己对kruskal算法正确性的理解
一步一步证明：

首先，对于每个点vi，连接到这个点的所有边中最短的一条边一定属于最小生成树。
证明：假设（vi,vj）为连接到vi所有边中的最短边。假设最小生成树已经建好，那么我们可以将vi从图中取出，并断开vi与剩余部分相连的所有边。剩余的部分被分为若干个连通子图。此时重新将vi连接到剩余部分中，若想重新生成最小生成树，那么与vi相连的最短边必定会被连接，结论得证。

其次，对于最小生成树的一个连通子图，连接到该连通子图的所有边中最短的一条边一定属于最小生成树。
证明：利用缩点的思想，将该连通子图看作一个点即可，得证。

由以上两点推论，可将每个点看作一个连通分量，将边按权值由小到大排序后，每次被选取的边肯定属于最小生成树，且已生成的连通分量都是最小生成树的连通子图，这样，当所有点连通时，这个连通图一定是一个最小生成树。