HDU1269——迷宫城堡（有向图求强连通分量，Tarjan算法）

Description

为了训练小希的方向感，Gardon建立了一座大城堡，里面有N个房间(N<=10000)和M条通道(M<=100000)，每个通道都是单向的，就是说若称某通道连通了A房间和B房间，只说明可以通过这个通道由A房间到达B房间，但并不说明通过它可以由B房间到达A房间。Gardon需要请你写个程序确认一下是否任意两个房间都是相互连通的，即：对于任意的i和j，至少存在一条路径可以从房间i到房间j，也存在一条路径可以从房间j到房间i。

 

Input

输入包含多组数据，输入的第一行有两个数：N和M，接下来的M行每行有两个数a和b，表示了一条通道可以从A房间来到B房间。文件最后以两个0结束。

 

Output

对于输入的每组数据，如果任意两个房间都是相互连接的，输出"Yes"，否则输出"No"。

 

Sample Input

    
    

     
     3 3
1 2
2 3
3 1
3 3
1 2
2 3
3 2
0 0 
    
    

 

Sample Output

    
    

     
     Yes
No 
    
    

 

从描述看就是模板题。。。。参照一位大神的博客 BYVoid

#include <iostream>
#include <cstring>
#include <cstdio>
#include <cstdlib>

using namespace std;
#define MAXN 10010
#define MAXM 100010
int min(int a,int b)
{
    if(a>b)
        return b;
    else
        return a;
}
struct Edge
{
    int v,next;
} edge[MAXM];
int first[MAXN],instack[MAXN],stack[MAXN],belong[MAXN],DFN[MAXN],Low[MAXN],top,cnt,tot,scnt;
void init()
{
    memset(first,-1,sizeof(first));
    memset(instack,0,sizeof(instack));
    memset(stack,0,sizeof(stack));
    memset(belong,0,sizeof(belong));
    memset(DFN,0,sizeof(DFN));
    top=0;
    cnt=0;
    tot=0;
    scnt=0;
}
void make(int a,int b)
{
    edge[tot].v=b;
    edge[tot].next=first[a];
    first[a]=tot++;
}
void tarjan(int v)
{
    int j,t;
    DFN[v]=Low[v]=++tot;
    instack[v]=1;
    stack[top++]=v;
    for(int e=first[v]; e!=-1; e=edge[e].next)
    {
        j=edge[e].v;
        if(!DFN[j])
        {
            tarjan(j);
            Low[v] = min(Low[j], Low[v]);
        }
        else if(instack[v]==1)
            Low[v]=min(Low[v],DFN[j]);
    }
    if(Low[v]==DFN[v])
    {
        scnt++;
        do
        {
            t=stack[--top];
            instack[t]=0;
            belong[t]=scnt;
        }
        while(v!=t);
    }
}
int main()
{
    int n,m,a,b;
    while(scanf("%d%d",&n,&m)&&n)
    {
        init();
        while(m--)
        {
            scanf("%d%d",&a,&b);
            make(a,b);
        }
        for(int i=1; i<=n; ++i)
            if(!DFN[i])
                tarjan(i);
        if(scnt==1)
            printf("Yes\n");
        else
            printf("No\n");
    }
    return 0;
}