最小生成树的两种算法及证明

• 一些基本概念
  连通图：在一个图中，如果任意两点都连通，那么这个图就是一个连通图
  生成树：连通图的一个连通子图
  最小生成树：在连通图的所有生成树中，边权和最小的生成树称为最小生成树。

• 最小生成树的Kruskal算法
  Kruskal算法是一种基于并查集的最小生成树算法，也称为“加边法”。
  Kruskal算法的基本步骤如下：

  1. 将所有的边排序。
  2. 从小到大取出边权最小的边，如果两点不在同一集合就将边的两点连通。
  3. 直到遍历完所有边就停止循环。

  Kruskal算法的时间复杂度是O(mlogm)
  算法的证明：
  两种算法的证明思路都是：
  假设不选当前边，最终得到了一棵树，然后将这条边加上，那么必然会出现一个环，在这个环上，一点过可以找出一条长度不小于当前边的边，那么把当前边替换上去，结果不一定变差。
  

• Prim算法最小生成树
  prime算法称为“加点法”，这种算法与未优化的dijistra算法相类似

  1. 任选一个点作为起点
  2. 使用一个dist数组维护其他点到连通图的最小值
  3. 每找到一个新的点加入树中，就更新最小值dist数组

  prim算法的时间复杂度是O(nn)