算法导论 最小生成树的形成

1.  给定一个图G和一棵最小生成树T，假定减小了不在T中的某条边的权值。请给出一个算法，来寻找经过修改的图中的最小生出树。

这是算法导论中的一道思考题，其实想一下的话并不难，减小一条边，首先比较这条边和最小生成树中的最大边，如果还是比这个大的话就说明原来那个生成树仍然是最小生成树，如果小的话，这个时候先搜索出这条边与生成树中其他边所能形成的环，然后从这个环中去掉最长边，剩下的边即可构成新的最小生成树。

2. 思考：如果我们从中任意改变一条边呢？首先如果改变的是不在T中的边，那么结果一样，如果改变的是在T中的边，并且减小了，那么依旧不变。现在就只需要讨论增大T中的某条边了，并且该边成为了T中的最长边。这样又如何计算呢？

在最小生成树中，我们要明确这么一点，该生成树中的任意一条边 e(U, V) 都是连接集合U, V 的最短边。所以当我们改变了生成树T中的一条边后，我们只需要删除这条边，然后从分裂的两个集合里找到连接这两个集合的最短边即可。

由此可以看到在生成树中，任意两点都是可达的性质让其加入非T中的边后必然生成环，从而通过去除环中的最大边求得新的MST，此外任意一条边都是MST中两个集合之间的最短边。

3. 此外，在MST中的第K长边即是所有生成树中第K长边的最短边，我们同样可以用上面的方式证明，

证明：

T1为MST，其中有n条边，a1....an 第K长边为ak，并且a1<a2<....<an，假设有另一个生成树T2，边b1<b2<......bn，所以第K长边就是bk，并且bk<ak。

因为在生成树中，任意一条边都是连接两个集合的边，所以我们必然能从T1和T2中找到一个对应关系，使得ai 和 bj 是集合 U, V之间的连接边，并且有ai < bj 。

如果 b(i+x-1) < ai < b(i+x) (x>0) 则对于任意一个aj < ai 必然有bm > aj，并且保证有i 个，然而对于比ai大的共n-i个数，无法找到 n-i个 b使得满足 ai < bj，因为最多只有n-i-x个，所以矛盾，假设不成立，即可证明。