tarjan算法——关于无向图连通性

tarjan算法引入

 图论算法，反正很牛逼，可以用来解决很多的图论问题，主要是与连通性问题有关的。
 在正式学习tarjan算法之前，我们需要了解一些基础概念

tarjan算法中的图论概念

 时间戳$dfn[x]$：结点$x$的搜索的次序编号。（$dfs$序）
 追溯值$low[x]$：设$subtree(x)$表示搜索树中以$x$为根的子树。$low[x]$定义为以下节点的时间戳的最小值：
 1.$subtree(x)$中的节点。
 2.通过1条不在搜索树上的边，能够到达$subtree(x)$的节点
 举个例子。$subtree(2)=2,3,4,5$。此外，节点1通过不在搜索树上的边$(1,5)$能够到达$subtree(2)$。所以$low[2]=1$。
 根据定义，为了计算$low[x]$,应该先在遍历时令$dfn[x]=low[x]$，然后考虑从$x$出发的每条边$(x,y)$:
 若在搜索树上$x$是$y$的父节点，则令$low[x]=min(low[x],low[y])$。
 若无向边$(x,y)$不是搜索树上的边，则令$low[x]=min(low[x],dfn[y])$。

tarjan算法的分类（持续更新中）

割点

割点的定义

 割点：如果去掉一个点以及与它连接的边，该点原来所在的图被分成两部分（不连通），则称该点为割点。

割点的判定法则

 若x不是搜索树的根节点（dfs遍历的起点），则x是割点当且仅当搜索树上存在x的一个子节点y，满足：
d f n [ x ] ≤ l o w [ y ] dfn[x]\l