prim算法正确性证明

首先，一定有一个最优解包含了权值最小的边e_1（prim的第一步），因为如果不是这样，那么最优的解不包含e_1，把e_1加进去会形成一个环，任意去掉环里比e_1权值大的一条边，这样就构造了更优的一个解，矛盾
用归纳法，假设prim的前k步选出来的边e_1，…， e_k是最优解的一部分，用类似的方法证明prim的方法选出的e_k+1 一定也能构造出最优解。
我们要知道构造最小生成树G的Prim算法的基本思想：首先置S={1}，然后。只要S是V的真子集，就做如下的贪心选择：选取满足条件i属于S，j属于V-S，且C[i][j]最小的边，并将顶点j添加到S中，这个过程一直进行到S=V时为止，选取到的所有边恰好构成G的一颗最小生成树。
接下来，我们用反证法进行简单证明：
（1）假设最小权值的边不在该最小生成树中。
（2）之后将最小权值的边加入到该生成树中构成回路，将该生成树权值最大的边删掉，构成新的生成树。
（3）与假设矛盾，所以最小的边一定在最小生成树上。
证毕。