A - 迷宫城堡（强连通）

链接
为了训练小希的方向感，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
题目大意：判断是否为强连通图

题目思路:Tarjan 算法模板题，只需判断强连通分量个数是否为1

#include <iostream>
#include <algorithm>
#include <cmath>
#include <ctype.h>
#include <cstring>
#include <cstdio>
#include <sstream>
#include <cstdlib>
#include <iomanip>
#include <string>
#include <queue>
#include <map>
using namespace std;
int n,m,cnt,index,dfs_num,CN,maxn;
int pre[100010],vis[100010],DFN[100010],LOW[100010],Stack[100010],dye[100010],Size[100010];
struct pack{int to,next;} E[100010];
void add_edge(int x,int y){
    E[++cnt].to=y;
    E[cnt].next=pre[x];
    pre[x]=cnt;
}
void input(){
    for(int i=1;i<=m;i++){
        int a,b;
        scanf("%d%d",&a,&b);
        add_edge(a,b);
        //if(c==2) add_edge(b,a);
    }
}
void tarjan(int pos){
    vis[Stack[++index]=pos]=1;
    LOW[pos]=DFN[pos]=++dfs_num;
    for(int i=pre[pos];i;i=E[i].next){
        if(!DFN[E[i].to]){
            tarjan(E[i].to);
            LOW[pos]=min(LOW[pos],LOW[E[i].to]);
        }
        else if(vis[E[i].to]) LOW[pos]=min(LOW[pos],DFN[E[i].to]);
    }
    if(LOW[pos]==DFN[pos]){
        vis[pos]=0;
        Size[dye[pos]=++CN]++;
        while(pos!=Stack[index]){
            vis[Stack[index]]=0;
            Size[CN]++;
            dye[Stack[index--]]=CN;
        }
        index--;
    }
}
void output(){
    //int lenn=0;
    //int tar;
    for(int i=1;i<=n;i++)
        if(Size[dye[i]]>maxn) maxn=Size[dye[i]];//tar=i;
    if(maxn==n)
        printf("Yes\n");
    else
        printf("No\n");
    //printf("%d\n",maxn);
    //for(int i=1;i<=n;i++)
        //if(dye[i]==dye[tar]) printf("%d ",i);
}
int main(){
    while(scanf("%d%d",&n,&m))
    {
        maxn=-1;
        if(n==0&&m==0)
            break;
        memset(pre,0,sizeof(pre));
        memset(vis,0,sizeof(vis));
        memset(DFN,0,sizeof(DFN));
        memset(LOW,0,sizeof(LOW));
        memset(Stack,0,sizeof(Stack));
        memset(dye,0,sizeof(dye));
        memset(Size,0,sizeof(Size));

    input();
    for(int i=1;i<=n;i++)
        if(!dye[i]) tarjan(i);
    output();
    }
    return 0;
}