prim算法的正确性证明

已知：图G是一个连通图，G'是对G使用prim算法得到的一棵生成树，G''是G的一棵最小生成树。

证明：G'中有n（n≥1）条边不存在于G''中，在构建G'的过程中，第一次遇到这样的一条边时（以e表示），则E1的一个端点V1落在V内(V是prim运算得到的一个子顶点集)，另一个端点V2落在V外。G''是连通的，故G''中存在V1到V2的一条的路径，此路径上必然存在一条边f，它的一个端点落在V内，另一个端点落在V外。把e加入G''，去掉f，G'仍然连通，根据prim算法，权值W(f)≥W(e)，否则e不会被选入V，如果W(f)>W(e),新构建的树的权值和会比G''小，而G''是最小生成树，因此W(f)>W(e)不成立，得W(f)=W(e)。对每一条类似e的边，重复上述过程，最终G'和重新构建的的G''拥有的边完全一致，新构建的G''也是最小生成树，因此G'也是最小生成树，证明prim算法正确。