Kosaraju算法证明

算法内容

关于$Kosaraju$算法的内容，这里不再做过多描述。可以参看这篇文章。

关于证明，本文的启发源自这篇文章。

算法证明

定理1 算法求出的都是强连通子图。

证明如下：

假设在转置后的图中，从$xDFS$到了$y$处，说明在转置图中存在路径$x\to y$。也就是说，在原图中存在路径$y\to x$。并且，由算法内容可知，$x$的出栈顺序一定大于$y$的出栈顺序。假设原图的$DFS$树为$T$，那么就有如下两种可能：

1. 在$T$中，$x$是$y$的祖先节点。

那么，在原图中必有路径$x\to y$（通过$T$上的边），也就是说