From: 24OI-bot <15963390+24OI-bot@users.noreply.github.com> Date: Sun, 14 Jul 2019 10:57:17 +0000 (-0400) Subject: style: format markdown files with remark-lint X-Git-Url: http://git.osdn.net/view?a=commitdiff_plain;h=5406445d578e5bfb894554068f4f48e9cf9fb248;p=oi-wiki%2Fmain.git style: format markdown files with remark-lint --- diff --git a/docs/graph/scc.md b/docs/graph/scc.md index 66ab3b8d..59510398 100644 --- a/docs/graph/scc.md +++ b/docs/graph/scc.md @@ -40,12 +40,12 @@ 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)$ 通过一条不在搜索树上的边能到达的结点。 一个结点的子树内结点的 DFN 都大于该结点的 DFN。 -从根开始的一条路径上的 DFN 严格递增, LOW 严格非降。 +从根开始的一条路径上的 DFN 严格递增,LOW 严格非降。 按照深度优先搜索算法搜索的次序对图中所有的结点进行搜索。在搜索过程中,对于结点 $u$ 和与其相邻的结点 $v$ (v 不是 u 的父节点)考虑 3 种情况: