prim算法的简单证明

反证法：

        假设权值最小的边不在最小生成树中。

        此时将权值最小的边加入生成树中，那么必然会构成一个回路，去掉回路中权值最大的边，构成一个新的树，这时与假设构成矛盾。所以权值最小的边一定在最小生成树中。