算法导论 CLRS 22.4-4 解答

先说结论： 对于有环图，top排序不一定可以生成坏边最小的序列

 

证明：

1. 假设G至少需要去掉k条边才能变成无环图，则任意序列P的坏边数目bad[P] >= k； 

    证明： 如果存在P使得bad[P] < k, 则只要去掉P中的坏边则剩下的必然为无环图，这个和假设矛盾

    推论：存在序列P使得bad[P]=k，去掉k条边，然后top排序即可

2. 对有环图进行拓扑排序得到的序列P， bad[P]和反向边数目相等

　  证明：有反向边定义可证

3. 需要证明反向边数和k的关系，通过反例可证明反向边树可能大于k

    DFS之后的树为A-->B->C, 然后存在C->B, C->A两条反向边，但是实际上只要去掉B->C一条边就可以变成无环图

 

ps：其实直接通过反例证伪即可，上面的主要是记录我思考的过程

转载于:https://www.cnblogs.com/ellusak/archive/2012/07/27/2611534.html