如何解决Kruskal 算法正确性的证明
我正在为我的算法和数据结构考试而学习,我有一个问题:使用 MST 的基本定理证明 Kruskal 算法的正确性我怎样才能实现这个演示? MST 的基本定理是: 给定一个图 G=(V,E,W) 加权、无向且连通的 let:
-
A
边E
的子集,使得A
包含在某些 MST 中。 -
(S,V \ S)
尊重A
-
(u,v)
一个轻微的弧线穿过切口(S,V \ S)
那么弧(u,v)
对 A 是安全的。 对于“安全弧”,我们打算使用一个始终在至少 1 MST 内的弧。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。