会员
众包
新闻
博问
闪存
赞助商
HarmonyOS
Chat2DB
所有博客
当前博客
我的博客
我的园子
账号设置
会员中心
简洁模式
...
退出登录
注册
登录
大溪地渔民
博客园
首页
新随笔
联系
订阅
管理
2016年8月9日
Dijkstra算法和Floyd算法的正确性证明
摘要: 说明: 本文仅提供关于两个算法的正确性的证明,不涉及对算法的过程描述和实现细节 本人算法菜鸟一枚,提供的证明仅是自己的思路,不保证正确,仅供参考,若有错误,欢迎拍砖指正 本文仅提供关于两个算法的正确性的证明,不涉及对算法的过程描述和实现细节 本人算法菜鸟一枚,提供的证明仅是自己的思路,不保证正确,仅
阅读全文
posted @ 2016-08-09 23:19 大溪地渔民
阅读(5913)
评论(0)
推荐(2)
2016年8月8日
Prim算法和Kruskal算法的正确性证明
摘要: 今天学习了Prim算法和Kruskal算法,因为书中只给出了算法的实现,而没有给出关于算法正确性的证明,所以尝试着给出了自己的证明。刚才看了一下《算法》一书中的相关章节,使用了切分定理来证明这两个算法的正确性,更加简洁、优雅并且根本。相比之下,我的证明带着许多草莽气息,于此写成博客,只当是记录自己的
阅读全文
posted @ 2016-08-08 22:46 大溪地渔民
阅读(9403)
评论(0)
推荐(2)
公告