tarjan求强连通分量

 

 

tarjan算法的实现方式

     作为一个只进行一次dfs就能找到环并且成功缩点的算法来说，tarjan的dfs还是比较强大的，那么它又具体是怎么实现的呢？       首先，我们需要明白一个时间戳的概念。命名一个记录时间点的变量idx，每dfs找到一个点，就将该点的时间戳赋值为时间节点idx，然后用idx++来模拟“时间流逝”，这样就可以记录下每一个节点被遍历到的次序了。

     既然时间记录已经完成了，那么这个时间戳又有什么用呢？使用两个数组dfn和low。dfn[u]表示dfs时达到顶点u的次序号（时间戳），low[u]表示以u为根节点的dfs树中次序号最小的顶点的次序号（也就是说low中储存的是当前这个节点所能到达的时间戳最小的点）。除了两个int数组外，还有两个布尔数组instack和vis，前者用来存储该节点是否还在栈中，而后者用来存储这个节点是否有没有访问过（在后面的学习中清务必明确二者的区别）。

       在经过一个点low值的一系列更新后，如果这个点找不到dfn比它自己还小的点的时候，也就是当dfn[u]=low[u]时，以u为根的搜索子树上所有节点是一个强连通分量。 先将顶点u入栈，dfn[u]=low[u]=++idx,扫描u能到达的顶点v，如果v没有被访问过，则dfs(v)，low[u]=min(low[u],low[v])，如果v在栈里，low[u]=min(low[u],dfn[v])，扫描完v以后，如果dfn[u]=low[u]，则将u及其以上顶点出栈。（具体的实现过程可以参考一下five20大佬的博客，那里面的几张图对帮助理解很有用处，实在搞不明白的话可以拿起笔和纸照着图画一遍）

        最后代码实现的话可以参考一下下面的代码和注释（谢谢five20 qwq）

#include <cstdio>
#include <stack>
#include <cstring>
#include <iostream>
using namespace std;
int n,m,idx=0,k=1,Bcnt=0;
int head[100];
int ins[100]={0};
int dfn[100]={0},low[100]={0};
int Belong[100];
stack <int> s;
struct edge
{
    int v,next;
}e[100];
int min(int a,int b)
{
    return a<b?a:b;
}
void adde(int u,int v)
{
     e[k].v=v;
     e[k].next=head[u];
     head[u]=k++;
}
void readdata()
{
     int a,b;
     memset(head,-1,sizeof(head));
     scanf("%d%d",&n,&m);
     for(int i=1;i<=m;i++)
     {
         scanf("%d%d",&a,&b);
         adde(a,b);
     }
}
void tarjan(int u)
{
     int v;
     dfn[u]=low[u]=++idx;//每次dfs，u的次序号增加1
     s.push(u);//将u入栈
     ins[u]=1;//标记u在栈内
     for(int i=head[u];i!=-1;i=e[i].next)//访问从u出发的边
     {
         v=e[i].v;
         if(!dfn[v])//如果v没被处理过
         {
             tarjan(v);//dfs(v)
             low[u]=min(low[u],low[v]);//u点能到达的最小次序号是它自己能到达点的最小次序号和连接点v能到达点的最小次序号中较小的
         }
         else if(ins[v])low[u]=min(low[u],dfn[v]);//如果v在栈内，u点能到达的最小次序号是它自己能到达点的最小次序号和v的次序号中较小的
     }     
     if(dfn[u]==low[u])
     {
         Bcnt++;
         do
         {
             v=s.top();
             s.pop();
             ins[v]=0;
             Belong[v]=Bcnt;
         }while(u != v);
     }
}
void work()
{
     for(int i=1;i<=n;i++)if(!dfn[i])tarjan(i);
     printf("\n");
     for(int i = 1;i <= 6;i++)printf("%d %d\n",dfn[i],low[i]);
     printf("共有%d强连通分量，它们是:\n",Bcnt); 
     for(int i=1;i<=Bcnt;i++)
     {
        printf("第%d个:",i);
        for(int j=1;j<=n;j++)
        {
           if(Belong[j]==i)printf("%d ",j);
        }
        printf("\n");
     }
}
int main()
{
    readdata();
    work();
    return 0;