Merge branch 'SCC' of github.com:sshwy/OI-wiki into SCC

### Tarjan 算法求强连通分量

在 Tarjan 算法中为每个结点 $u$ 维护了以下几个变量：

1\. $DFN[u]$ ：深度优先搜索遍历时结点 $u$ 被搜索的次序。

2\. $LOW[u]$ ：设以 $u$ 为根的子树为 $Subtree(u)$ 。 $LOW[u]$ 定义为以下结点的 $DFN$ 的最小值： $Subtree(u)$ 中的结点；从 $Subtree(u)$ 通过一条不在搜索树上的边能到达的结点。

1. $DFN[u]$ ：深度优先搜索遍历时结点 $u$ 被搜索的次序。

2. $LOW[u]$ ：设以 $u$ 为根的子树为 $Subtree(u)$ 。 $LOW[u]$ 定义为以下结点的 $DFN$ 的最小值： $Subtree(u)$ 中的结点；从 $Subtree(u)$ 通过一条不在搜索树上的边能到达的结点。

显然，按照 DFS 搜索树的递归顺序， $LOW[u]$ 是单调递增的。