生成树是一个去环过程
环去掉一个边不影响连通性,只要去除环的最大权值的边就可以得到最小生成树,也就是选取环中除最大边外的边
> 连通性?
少一个边不影响环原来的连通性,而算法总可以选择环中除权重最大边外的其他边,而环外的边算法总可以选中
证明:
如果连通图 G 是树,则其本身是一棵生成树;
若连通图 G 中有圈 C ,则去掉 C 中一条边后得到的图仍然是连通的,这样不断去掉 G 中圈,最后得到一个 G 的无圈连通子图 T ,它为 G 的一棵生成树。
白话证明:算法总先选择环中小的边而遗弃最大边而破圈,破圈不影响其连通性,环保留了最小的连通分量。在各环的连通分量都选择最小的分量破圈,得到的总连通分量就是最小的连通分量,也就是最小生成树