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个,所以矛盾,假设不成立,即可证明。