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算法正确。

 

 

 

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
基于Prim算法的TSP问题的近似算法是一种基于最小生成树的贪心算法,其基本思想是:先构造出TSP问题的最小生成树,然后在最小生成树上进行欧拉回路的构造,最后将欧拉回路转化为哈密顿回路,从而得到TSP问题的近似解。 算法步骤如下: 1.选取任意一个结点作为起点,构造出TSP问题的最小生成树。 2.在最小生成树上进行欧拉回路的构造,即从起点开始,依次经过每个结点,最终回到起点。欧拉回路的构造可以使用深度优先搜索或广度优先搜索实现。 3.将欧拉回路转化为哈密顿回路。具体方法为:对于欧拉回路上经过的每个结点,将其标记为已访问;对于未经过的结点,选择距离最近的已访问结点作为下一个访问结点,并将该结点标记为已访问,直到所有结点都被访问为止。 4.返回哈密顿回路作为TSP问题的近似解。 下面是算法正确性证明: 首先,最小生成树的权值是TSP问题最优解的下界。因为TSP问题要求经过每个结点恰好一次,而最小生成树是连接所有结点的最小权值生成树,所以任何一条回路的权值都不会小于最小生成树的权值。 其次,欧拉回路的构造保证了每个结点只被访问一次。因为最小生成树是一棵树,所以不会存在回路。而欧拉回路的构造是在最小生成树上进行的,所以每个结点只被经过一次。 最后,将欧拉回路转化为哈密顿回路的过程中,对于每个未访问结点,都选择距离最近的已访问结点作为下一个访问结点。因为每个结点只被访问一次,所以可以保证得到的哈密顿回路是一条覆盖所有结点的回路。 因此,可以证明基于Prim算法的TSP问题的近似算法是正确的。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值