迷宫城堡 （写个Tarjan模板）

为了训练小希的方向感，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

//#include"bits/stdc++.h"
//#include<unordered_map>
//#include<unordered_set>
#include<iostream>
#include<sstream>
#include<iterator>
#include<cstdio>
#include<algorithm>
#include<cstring>
#include<string>
#include<set>
#include<vector>
#include<bitset>
#include<climits>
#include<queue>
#include<iomanip>
#include<cmath>
#include<stack>
#include<map>
#include<ctime>
#include<new>
using namespace std;
#define LL long long
#define ULL unsigned long long
#define MT(a,b) memset(a,b,sizeof(a))
#define lson l, mid, node<<1
#define rson mid + 1, r, node<<1|1
#define Root 1, m, 1
#define Node l, r, node
const int INF  =  0x3f3f3f3f;
const int O    =  1e6;
const int mod  =  20071027;
const int maxn =  2e4 + 5;
const double PI  =  acos(-1.0);
const double E   =  2.718281828459;

int head[maxn], cnt;
void init() { MT(head, -1); cnt = 0; }
struct dd { int to, next; } e[maxn << 3];
void add(int u, int v) { e[cnt] = {v, head[u]}; head[u] = cnt ++; }

int n, m, t, top, num;
int ins[maxn], low[maxn], dfn[maxn], bel[maxn], sta[maxn];

void Tarjan(int u){
    low[u] = dfn[u] = ++ t; // 初始化
    sta[++ top] = u; ins[u] = 1; // 入栈并标记
    for(int i=head[u]; i!=-1; i=e[i].next) {
        int v = e[i].to;
        if(!dfn[v]) {
            Tarjan(v); low[u] = min(low[u], low[v]);
        }
        else if(ins[v]) low[u] = min(low[u], dfn[v]);
    }
    if(low[u] == dfn[u]) {
        num ++;
        do {
            int p = sta[top]; ins[p] = 0; bel[p] = num;
        }while(sta[top--] != u);
    }
}

void solve(){
    MT(bel, -1); MT(dfn, 0); MT(ins, 0);
    t = 0; top = 0; num = 0;
    for(int i=1; i<=n; i++) if(!dfn[i]) Tarjan(i);
}

int main(){
    while(scanf("%d%d", &n, &m) && n + m) {
        init();
        for(int i=0; i<m; i++) {
            int u, v; scanf("%d%d", &u, &v);
            add(u, v);
        }
        solve();
        printf(num == 1 ? "Yes\n" : "No\n");
    }
    return 0;
}