Loading docs/graph/scc.md +8 −8 Original line number Diff line number Diff line Loading @@ -44,8 +44,8 @@ Tarjan 发明了很多算法结构。光 Tarjan 算法就有很多,比如求 ### 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]$ 是单调递增的。 Loading Loading
docs/graph/scc.md +8 −8 Original line number Diff line number Diff line Loading @@ -44,8 +44,8 @@ Tarjan 发明了很多算法结构。光 Tarjan 算法就有很多,比如求 ### 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]$ 是单调递增的。 Loading