Tarjan缩点算法 作用、原理、模板

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;