【tarjan模板】HDU 1269 迷宫城堡

题目地址：http://acm.hdu.edu.cn/showproblem.php?pid=1269

 

判断整个图是否强连通，裸的模板题

 

#include<cstdio>
#include<iostream>
#include<algorithm>
#include<cstring>
using namespace std;
#define N 10100
#define M 100100

struct node{
    int to,next;
}edge[M];

int n,m;

int head[N];//邻接表头指针
int k;//地址

int top;//栈顶
int Stack[N];//栈
int bcnt;//强连通分量数量
int belong[N];//点在哪个强连通分量中
int instack[N];//是否在栈中
int DFN[N];//搜索次序编号
int Low[N];//能够追溯到的最早的栈中节点的次序号
int Index;

void add(int u,int v){
    edge[k].to=v;
    edge[k].next=head[u];
    head[u]=k++;
}

void init(){
    k=1;
    memset(head,0,sizeof(head));
    memset(instack,0,sizeof(instack));
    memset(DFN,0,sizeof(DFN));
    top=bcnt=Index=0;
}

void tarjan(int u){
    int i,v;
    DFN[u]=Low[u]=++Index;
    Stack[++top]=u;
    instack[u]=1;
    for(i=head[u];i;i=edge[i].next){
        v=edge[i].to;
        if(!DFN[v]){//如果v没搜索过
            tarjan(v);
            Low[u]=min(Low[u],Low[v]);//更新能够追溯到的最早的栈中节点的次序号
        }else if(instack[v])//如果v在栈中且v的搜索次序编号更小
                Low[u]=min(Low[u],DFN[v]);
    }
    if(DFN[u]==Low[u]){        //u是强连通分量的根
        bcnt++;
        do{
            v=Stack[top--];//出栈
            instack[v]=0;
            belong[v]=bcnt;
        }while(u!=v);//直到强连通分量的根出栈
    }
}

int main(){
    int i;
    while(~scanf("%d%d",&n,&m)&&n+m){
        init();
        for(i=0;i<m;++i){
            int a,b;
            scanf("%d%d",&a,&b);
            add(a,b);
        }
        for(i=1;i<=n;++i){
            if(!DFN[i]){//如果v没搜索过
                tarjan(i);
                if(bcnt>1)
                    break;
            }
        }
        if(bcnt==1){
            printf("Yes\n");
        }else{
            printf("No\n");
        }
    }
    return 0;
}