Kosaraju算法简记

求SCC。

1. dfs一次。回溯序找出来。
2. 回溯序从大到小，开始dfs遍历，所有遍历到的点组成SCC。

这里浅证：

这么干是为了避免dfs重复。这样可以直接标记了。