强连通图(tarjan)模板和详解

Posted huangzzz

tags:

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

来一道裸代码。
输入:
一个图有向图。
输出:
它每个强连通分量。

这个图就是刚才讲的那个图。一模一样。

input:

6 8

1 3

1 2

2 4

3 4

3 5

4 6

4 1

5 6

output:

6

5

3 4 2 1

 

代码:

#include<iostream>
#include<cstdio>
#include<cstring>
#include<cmath>
#include<queue>
#include<set>
#include<algorithm>
#include<map>
#define maxn 200005
using namespace std;
struct node
{
    int v,next;  //v表示指向的点  next表示
}mp[1005];
int DFN[1005],LOW[1005];   //DFN[]作为这个点搜索的次序编号(时间戳//LOW[]作为每个点在这颗树中的,最小的子树的根,每次保证最小,like它的父亲结点的时间戳这种感觉
int stack[1005],heads[1005],visit[1005],cnt,tot,index;
 // 栈          访问顺序    是否访问        
void add(int x,int y)
{
   mp[++cnt].next=heads[x];
   mp[cnt].v=y;
   heads[x]=cnt;
   return ;
}
void tarjan(int x)
{
    DFN[x]=LOW[x]=++tot;  //初始化x
    stack[++index]=x;     //进栈
    visit[x]=1;           //表示x已经入栈
    for(int i=heads[x];i!=-1;i=mp[i].next){
        if(!DFN[mp[i].v])  //如果没有被访问
    {
       tarjan(mp[i].v);  //往下延伸就是递归
       LOW[x]=min(LOW[x],LOW[mp[i].v]);  //递归出来,比较谁是谁的儿子/父亲,就是树的对应关系,涉及到强连通分量子树最小根的事情
    }
    else if(visit[mp[i].v]) //如果访问过,并还在栈里
    {
        LOW[x]=min(LOW[x],DFN[mp[i].v]);  //比较谁是谁的儿子/父亲。就是链接对应关系
    }
    }
    if(LOW[x]==DFN[x]){ //发现整个连通分量子树里的最小根
        while(1)
    {
        cout<<stack[index]<<" ";
        visit[stack[index]]=0;
        index--;
        if(x==stack[index+1]) break; //出栈,并且输出
    }
    cout<<endl;
  }
}
int main()
{
    memset(heads,-1,sizeof(heads));
    int n,m;
    cin>>n>>m;
    int x,y;
    for(int i=1;i<=m;i++)
    {
        cin>>x>>y;
        add(x,y);
    }
    for(int i=1;i<=n;i++)
    {
        if(!DFN[i])tarjan(i); //当这个点没有访问过,就从这个点开始,防止图没有走完
    }
    return 0;
}

 

 

还有各大理解网站:   (杂着看,就可以看懂)

http://blog.miskcoo.com/2016/07/tarjan-algorithm-strongly-connected-components

https://blog.csdn.net/mengxiang000000/article/details/51672725

https://www.cnblogs.com/yxysuanfa/p/7396057.html

 





以上是关于强连通图(tarjan)模板和详解的主要内容,如果未能解决你的问题,请参考以下文章

Tarjan算法详解

tarjan强连通分量缩点模板

Tarjan求有向图强连通详解

强连通分量的Tarjan算法

强连通分量tarjan模板复习

强连通分量——tarjan算法