浅谈Tarjan算法——（1）

最新推荐文章于 2025-10-28 10:33:30 发布

stevensonson

最新推荐文章于 2025-10-28 10:33:30 发布

阅读量337

点赞数 1

CC 4.0 BY-SA版权

文章标签：算法 c++

本文链接：https://blog.csdn.net/stevensonson/article/details/78363133

本文介绍了由计算机学家Robert Tarjan发明的Tarjan算法，该算法利用深度优先搜索(DFS)求解强连通分量问题。文章详细解释了DFN数组和LOW数组的作用，并通过实例演示了如何使用栈实现Tarjan算法。

Tarjan算法，是由计算机学家Robert Tarjan发明的算法，用于求强连通分量。

Tarjan算法运用dfs的方法，简便地求出强连通分量。我们用DFN数组
记录搜索第X个数的次序，而LOW数组记录X这个数能走到的最小DFN
值。
这里写图片描述（摘自百度）
例如此图，从1这个节点开始搜索。
先搜3,5,6节点。到节点6时，无法继续搜索，而DFN[6]显然是等于
LOW[6]的，所以6自己是一个强连通分量。同理，5也是一个强连通分量。
现在回溯到3，搜索节点4，可知LOW[4]=1,所以1,3,4在同一个强
连通分量。在搜索2，2支节点4，所以LOW[2]=1。
所以1,2,3,4在同一个强连通分量里。

我们可以用栈来实现Tarjan算法，由于栈的原理，我们可以推出：
如果LOW[X]==DFN[X],那么在此栈中，位于X上方的数全在X的
强连通分量中。

Tarjan模板:

void tarjan(int x){
    ta_num++;
    dfn[x]=ta_num,low[x]=ta_num;
    vis[x]=1;sta[++top]=x;
    for(int i=0;i<f[x].size();i++){
        int temp=f[x][i];
        if(!dfn[temp]) {
            tarjan(temp);low[x]=min(low[x],low[temp]);
        }
        else if(vis[temp]) low[x]=min(low[x],dfn[temp]);
    }
    if(dfn[x]==low[x]){
        co_num++;
        int now=0;
        while(now!=x){
            now=sta[top];
            top--;
            col[now]=co_num;
            vis[now]=0;
        }
    }
}