已知:图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算法正确。