【模板】【hdu1269】迷宫城堡——tarjan

题目链接

判断一个图是否为强联通图，只要tarjan求出强联通分量的个数，若个数大于1则不是连通图，tarjan的模板题。

#include<cstdio>
#include<cmath>
#include<cstring>
#include<algorithm>
#define mem(a) memset(a,0,sizeof(a))
typedef long long LL;
const int maxn=1e5+5;
using namespace std;
int n,m,tot=0,sum=0,first[maxn],low[maxn],Dfn[maxn],tail=0,cnt=0;
bool ok[maxn];
int st[maxn];
struct node{
    int next,to;
}e[maxn];
inline int read()
{
    int ans=0,f=1;char c=getchar();
    while(c<'0'||c>'9'){if(c=='-')f=-1;c=getchar();}
    while(c>='0'&&c<='9'){ans=ans*10+c-48;c=getchar();}
    return ans*f;
}
/*----------------------------------------------------------*/
inline void add(int u,int v)
{
    tot++;e[tot].next=first[u];first[u]=tot;e[tot].to=v;
}
void tarjan(int x)
{
    ok[x]=1;
    low[x]=Dfn[x]=++sum;
    st[++tail]=x;
    for(int i=first[x];i;i=e[i].next){
        int to=e[i].to;
        if(!Dfn[to]){
            tarjan(to);
            if(low[to]<low[x])low[x]=low[to];
        }
        else if(ok[to]&&Dfn[to]<low[x])low[x]=Dfn[to];
    }
    if(Dfn[x]==low[x]){
        int p;
        cnt++;
        do{
            p=st[tail];
            ok[p]=0;
            tail--;
        }while(p!=x);
    }
}
int main()
{
    n=read();m=read();
    int a,b;
    while(n||m){
        mem(first);
        mem(Dfn);
        mem(low);
        mem(ok);
        tail=0;sum=0;tot=0;cnt=0;
        for(int i=1;i<=m;i++){
            a=read();b=read();
            add(a,b);
        }
        for(int i=1;i<=n;i++)
            if(!Dfn[i])tarjan(i);
        if(cnt==1)printf("Yes
");
        else printf("No
");
        n=read();m=read();
    }
    return 0;
}