【笔记】tarjan 缩点碎碎念

首先缩点之后显然是有向无环图，他们之间的边更新 low 不会有问题。

现在我们只需证明一个强连通分量的情况下，仅有起始结点会有 DFN[x] == low[x] 即可。

首先起始结点 DFN 最小，这个必然满足。

现在只需说明其他点不能满足这个条件即可。

所以我们其实现在只在意 DFN[x] == low[x] 的真假，我们显然找到一个环就可以断定这个环除了进入的第一个点之外都满足这个条件，于是显然。