摘要：
来严格证明一下做法 我们利用数学归纳法证明，过程很像“推论+数归证明Kruscal” 假设我们按照书上这么添加后，执行Kruscal 当前执行到\(i\)这条边，已经选上的边都是最开始的树边，已经循环过但没选上的边都是添加的非树边 假设\(i\)是添加的边，那么\(i\)一定不会被选上，因为此时已经 阅读全文
摘要：
其实这个证明与前面那个证明很像 假设最终生成的生成树不包含这\(m-k\)条边中连接生成森林的两个不连通节点的最小的边，那么我们从这些最小的边中任选一条边加入到树中会形成一个环，而且这个环（除了加入的这条最小边）一定存在一条边不是最开始的\(k\)条边中的某一条（因为如果这个环除了加入的最小边，剩余 阅读全文
摘要：
其实这个对偶图的定义有点问题，正确的： 所以PPT画的对偶图也有点问题，还要在\(4\)号点上画一个闭环（之后的图没有做修改） 这个证明唯一想不明白的就是为啥紫色的边一定会构成一棵树，主要是无法判断是否连通 阅读全文