Tarjan原理&模板
来了来了,鸽了好久的图论基础。
众所周知一个对于一个DAG我们可以做很多骚操作(比如拓扑,无需标记访问的DFS等),那么一个图如果有环怎么办呢。Tarjan他来了(j不发音,所以中文应该是塔扬)。
Tarjan算法作用:
将一个有环图中的连通块缩成一个点(同一个连通块染上相同颜色),使其变成一个DAG(有向无环图)后做各种操作。
Tarjan算法原理
其实还是DFS。
需要一个dfn数组和一个low数组以及一个栈用于存放已遍历过但尚未染色的结点。
dfn数组定义:dfn[u]代表u结点在DFS过程中被搜索的次序,这个次序开一个全局变量记录即可,每次搜索一个结点就++。
low数组定义:low[u]代表u结点及其子树中dfn的最小值,在DFS过程中更新,那么一个连通块中第一个DFS遍历到的点就是这个连通块的父亲结点,回溯回来后发现自己是父亲结点,则将栈中在自己之后存入的结点一个个染色即可。
代码中注释将算法的过程写的较为详尽了,建议配合代码理解。
Tarjan实现(模板)
const int N = 1e5 + 10;
vector<int> G[N];
int dfn[N], low[N];//dfn[u] -> u被搜索的次序 low[u] -> u子树中dfn最小值(包括自身)
int index;