强连通分量——tarjan算法

Posted wangqiqq

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了强连通分量——tarjan算法相关的知识,希望对你有一定的参考价值。

概念:

有向图强连通分量:在有向图G中,如果两个顶点vi,vj间(vi>vj)有一条从vi到vj的有向路径,同时还有一条从vj到vi的有向路径,则称两个顶点强连通。如果有向图G的每两个顶点都强连通,称G是一个强连通图。有向图的极大强连通子图,称为强连通分量。

注:强联通分量仅仅是对有向图来说。

代码模板:

void tarjan(int x)
{
    cnt++;
    dfn[x] = low[x] =cnt;
    q.push(x);
    insta[x] =true;
    for(int i=head[x];i;i=edge[i].next )
    {
        int u =edge[i].to;
        if(!dfn[u])
        {
            tarjan(u);
            low[x] = min(low[x],low[u]);
        }else if(insta[u])
        {
            low[x] = min(low[x],dfn[u]);    
        }        
    }
    int k;
    if(low[x] == dfn[x])
    {
        num++;
        do{
            k =q.top();
            q.pop();
            insta[k] = false;
            id[k] = num; 
        }while(k!=x);
    }
}

算法理解:

tarjan算法是一种基于DFS的算法,并且运用了数据结构栈。

此算法需要两个关键的数组:low[ ] 和 dfn[ ].

 

在我的理解看来:dfn[ ]数组是用来储存时间戳的,及何时访问到此节点。因此在每次对一个点进行DFS后,自己就形成了一个独一无二的时间戳,且永远不会改变。所以常一句dfn的值来判断是否需要进一步的深搜。

 

low[ ]数组用来储存与此节点相联通的节点的最小下标。因此low[ ]值相等的点在同一个强联通分量。

 

首先这个图不一定是一个连通图,所以跑Tarjan时要枚举每个点,若dfn[ ] == 0,进行深搜。进入深搜后,判断此点邻接点,如果邻接点的dfn[ ]为0,证明还没有访问过,就对此邻接点进行深搜,若dfn[ ]不为零,则判断此邻接点是否在栈中,若已经在栈中,则此时证明已经构成了环,则更新low[ ],与邻接点的时间戳进行比较,取最小值,例如下面这种情况:

技术图片

 

当对点5进行邻边搜索的时候,仅仅发现了点1,并且点1此时在栈中,这样,就构成了一个环。

在不断的深搜的过程中如果没有路可走了(已经没有出边了),那么就进行回溯,回溯时不断比较low[ ], 取最小的low[ ]值。

如果dfn[x]==low[x],则此时x可以看作是强联通分量的根,就对栈进行弹出操作,直到x被弹出。

手动模拟一下过程:

技术图片

 

 从1进入:dfn[1] =low[1] =++cnt = 1

入栈1: 1

 从1进入2:dfn[2] = low[2] = ++cnt =2

入栈2: 12

从2进入3: dfn[3]=low[3] =++cnt =3;

 

入栈3: 123

从3进入4: dfn[4] = low[4] = ++cnt =4;

入栈4:1234;

4无出度,之后判断dfn[4] == low[4];

4及4之前的点全部弹出

并且id[4] = ++num=1;

栈:123

并回溯到3

对low[3] = min(low[4],low[3])=3;

之后判断low[3] == dfn[3] =3;3及3以后的点弹出

id[3] = ++num=2;

栈:12;

继续回溯到2,对low[2] = min(low[2],low[3])=2;

从2 进入到5,dfn[5]=low[5] = ++cnt =5;

入栈5:125

从5进入1,由于1已经在栈中,则更新low[5] =min(low[5],dfn[1]) =1;

回溯到2,更新low[2 ] =min(low[2],low[5]) =1;

回溯到1,更新low[1] =min(low[1],low[2])=low[1] =1;

从1进入6,dfn[6] =low[6] = 6;

入栈6:1256

由于临点5已经在栈中,更新low[6] = min(low[6],low[5]) = 1;

回溯到1,由于low[1] ==dfn[1],则弹出1及一以上的点:
id[1] = id[2] =id[5] = id[6] = ++num = 3;

至此,强联通分量全部找出;

以上;

 

以上是关于强连通分量——tarjan算法的主要内容,如果未能解决你的问题,请参考以下文章

图之强连通强连通图强连通分量 Tarjan算法

强连通分量——tarjan算法

有向图强连通分量的Tarjan算法

强连通分量算法·$tarjan$初探

图论-强连通分量-Tarjan算法

Tarjan算法强连通分量