摘要：
其实书上写很清楚了，只是写一下自己的理解备忘，没什么技术含量。拓扑排序： TOPOLOGICAL-SORT(G) 可为有向无环图产生其拓扑排序，要证明这个算法的正确性，只要证对于任意边 (u,v)，有 f[v] < f[u]。因为在TOPOLOGICAL-SORT(G)算法中，总是令 f 值较大的点排在队列的前面，即“去除”（并不是真的删掉）那些 f 值较大的点。首先，当探索到 (u,v) 这条边时，v 一定不为灰色。首先，因为 u 为灰色，所以 v 一定不为灰色。再者，若 v 为白色，那么它是 u 的后续节点，有 f[v] < f[u]；如果 v 是黑色的，显然有 f[v] &l 阅读全文
