tarjan算法
求强连通/割点/桥
step1
将图深搜,形成深搜树,按遍历顺序标号->dfn[i]
step2
将low[i]初始化为dfn[i]
step3
回溯时low[i]=min(low[i],low[i的儿子])
判断
DFN[]作为这个点搜索的次序编号(时间戳)
LOW[]作为每个点在这颗树中的,子树根编号的最小值
有向图中
如果找到DFN[]==LOW[]就说明这个节点是这个强连通分量的根节点(毕竟这个LOW[]值是这个强连通分量里最小的。)
无向图中
在深搜树中,如果对于某个点u,与它相连的点v(v不是u的父亲)。
如果 low[v]>=dfn[u] , 那么也就是以v为根的深搜子树中的点所连接的点没有已经标记时间戳的。
也就是以v为根的子树是封闭的,那么一旦去掉点u,这棵子树中的点就称为了一个新的连通分量。
那么点u就是割点了。
若边 e (其对应的两个节点分别为 u 与 v)dfn[u] < low[v]
我们发现从v节点出发,在不经过(u, v)的前提下,不管走哪一条边,
我们都无法抵达u节点,或者比u节点更早出现的节点,
此时我们发现v所在的子树似乎形成了一个封闭圈,那么(u, v)自然也就是桥了。
桥的两端一定是割点
本文来自博客园,作者:ShaoJia,版权归作者所有,欢迎转载,但未经作者同意必须保留此段声明,且在文章页面明显位置给出原文连接,否则保留追究法律责任的权利。