Tarjan缩点

心魔

塔扬缩点是我长时间不想学的算法了。。。并查集能解决的事绝对不用并查集！！！，然而，随着题目难度加深，我发现有些题目不得不用Tarjan解决，而且现对于并查集而言，思维量可以大大减少，所以这里写下这篇博客，算个纪念吧

Tarjan是一位非常操蛋帅的人，发明了了大量的算法，什么并查集求LCA啊，什么SPLAY啊...不过最出名的还是他发明的缩点算法了

正文

首先，什么叫缩点呢？我们需要先理解什么是强连通分量

强连通分量指的是：在一个有向图中，强联通分量的点可以互相到达，如在下图中，一块黄的就是一个强联通分量

其实我不太说的清楚原理，直接上代码注释好了：

int DFN[maxn],LOW[maxn],index;//序号及环开头的序号
int S[maxn],top;//手写栈
bool ins[maxn];//是否进栈
int col[maxn],numc;//染色
void Tarjan(int u){
    DFN[u] = LOW[u] = ++index;
    S[++top] = u;//进栈
    ins[u] = true;
    for(int i = head[u];i;i = E[i].nxt){
        int v = E[i].v;
        if(!DFN[v]){
            Tarjan(v);
            LOW[u] = min(LOW[u],LOW[v]);//找爸爸（环开头）最小的
            }
        else if(ins[v]){
            LOW[u] = min(LOW[u],DFN[v]);//判断谁是爸爸
            }
        }
    if(DFN[u] == LOW[u]){//发现更新完一轮自己是爸爸
        numc++;
        while(S[top + 1] != u){
            col[S[top]] = numc;//出栈，染色
            ins[S[top--]] = false;
            }
        }
    }

关于Tarjan缩点的技巧

我们分两种情况：

1.题目直接考Tarjan（重点）

这种情况一般是直接考缩点，通常和图论的知识连用，而又以出度和入度最为常见

首先如果原图是一个无向又环图，我们是没办法对其进行某些操作的（比如可以重复走一条路但是点权只加一次这类的），因为要重复访问，所以DFS就毫无用武之地了，这时候我们就需要又Tarjan，在跑Tarjan的时候处理环的某些性质（如点权什么的），在建新图，就可以在新图上进行dp或者遍历了。

2.题目考其他

这里不再赘述，Tarjan就是一个辅助作用，把有环图缩为无环图，就可以使用一些算法解决问题了

最近刷的Tarjan的题：

P2002 消息扩散 （与入度连用）

P2341 [HAOI2006]受欢迎的牛 （与出度连用）

P2746 [USACO5.3]校园网Network of Schools （入度和出度）

P2863 [USACO06JAN]牛的舞会The Cow Prom （图论知识及对强联通的理解）

P2835 刻录光盘 （同上）

P3387 【模板】缩点

转载于:https://www.cnblogs.com/Tony-Double-Sky/p/9285458.html