求强连通块_Tarjan算法_C++

　　好久没有写算法了，就放一个 Tarjan 上来凑凑数哈

　　强连通块由若干个点组成，任意点与点之间可以之间或间接到达，显然可以看作一个环

　　下面是伪代码

　　　　　

　　强记：dfn为时间不变，low取最小，下一个dfn有值就跟dfn取min，没有就进去后跟low取，两个相等时弹栈

　　证明的话就贴一个

　　　　

　　会不会证无所谓了，可以自己脑补一下，况且代码很好写

#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<iostream>
#include<algorithm>
#include<stack>
#define N 100000
using namespace std;

stack<int> p;
int next[N],first[N],v[N],t,dfn[N],low[N];
bool f[N];
void dfs(int x)
{
    p.push(x);
    dfn[x]=low[x]=++t;
    int i;
    for (i=first[x];i;i=next[i])
        if (f[v[i]]) continue;
        if (dfn[v[i]]) low[x]=min(low[x],dfn[v[i]]);
        else
            {
                dfs(v[i]);
                low[x]=min(low[x],low[v[i]]);
            }
    if (low[x]==dfn[x])
        {
            while (p.top()!=x)
                {
                    f[p.top()]=1;
                    printf("%d ",p.top());
                    p.pop();
                }
            f[p.top()]=1;
            p.pop();
            printf("%d
",x);
        }
}
int main()
{
    freopen("tarjan.in","r",stdin);
    freopen("tarjan.out","w",stdout);
    int i,x,n,m;
    scanf("%d%d",&n,&m);
    for (i=1;i<=n;i++) f[i]=0;
    for (i=1;i<=m;i++)
        {
            scanf("%d%d",&x,&v[i]);
            next[i]=first[x];
            first[x]=i;
        }
    for (i=1;i<=n;i++)
        if (dfn[i]==0)
            {
                t=0;
                dfs(i);
            }
    return 0;
}

版权所有，转载请联系作者，违者必究

QQ：740929894