强连通分量
定义:有向图强连通分量:在有向图G中,如果两个顶点vi,vj间(vi>vj)有一条从vi到vj的有向路径,同时还有一条从vj到vi的有向路径,则称两个顶点强连通(strongly connected)。如果有向图G的每两个顶点都强连通,称G是一个强连通图。有向图的极大强连通子图,称为强连通分量(strongly connected components)。
- Tarjan 是 一种基于 dfs 的算法 ,图中每个强连通分量为搜索树的一棵子树
- 搜索时,把当前搜索树中未处理的节点加入一个堆栈,回溯时可以判断栈顶到栈中的节点是否为一个强连通分量。
- 用 dfn[x] 表示 x 在 dfs 时 的时间戳 (第几个遍历到的),low[x] 表示 x 及其 子树 能 追溯 到的 最早的栈中 节点 的时间戳。
- 考虑到 如果 u 是某个 强连通分量的根,那么:
- u不存在路径可以返回到它的祖先
- u的子树也不存在路径可以返回到u的祖先
所以 当 low[x] == dfn[x] 时 x 恰好 是一个 强连通分量的根。
模拟:
来源:https://www.cnblogs.com/-Wind-/p/10432368.html