Tarjan算法流程和简要证明

声明：

一下许多内容摘自：
北京大学暑期课《ACM/ICPC竞赛训练》强连通分支、桥和割点 北京大学信息学院 郭炜

---

不建议初学者直接看这篇博文
可以先了解一下Tarjan算法的具体流程，再来看证明。
推荐：全网最!详!细!tarjan算法讲解

---

强连通分量

如果有向图G的每两个顶点都强连通，称G为强连通图。
非强连通图有向图的极大强连通子图，称为强连通分量。

算法流程

DFN[i]表示 遍历到 i 点时是啥时候（DFS过程中的访问序号）。
所以DFN[i]越小，就说其越“早”。
LOW[i]表示从i节点出发 DFS过程中 i下方节点v