Kruskal算法(破圈法)-生成树是最小生成树证明

生成树是一个去环过程
环去掉一个边不影响连通性,只要去除环的最大权值的边就可以得到最小生成树,也就是选取环中除最大边外的边

> 连通性?
少一个边不影响环原来的连通性,而算法总可以选择环中除权重最大边外的其他边,而环外的边算法总可以选中

证明:

如果连通图 G 是树,则其本身是一棵生成树;

若连通图 G 中有圈 C ,则去掉 C 中一条边后得到的图仍然是连通的,这样不断去掉 G 中圈,最后得到一个 G 的无圈连通子图 T ,它为 G 的一棵生成树。

白话证明:算法总先选择环中小的边而遗弃最大边而破圈,破圈不影响其连通性,环保留了最小的连通分量。在各环的连通分量都选择最小的分量破圈,得到的总连通分量就是最小的连通分量,也就是最小生成树

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值