HDU1269 迷宫城堡（强连通图+Tarjan）

 1 #include <cstdio>
 2 #include <vector>
 3 #include <cstring>
 4 #include <algorithm>
 5 using namespace std;
 6 
 7 int top;///栈顶
 8 const int MAXN=1e5+5;
 9 int Stack[MAXN];///模拟栈
10 bool inStack[MAXN];///判断是不是在栈中
11 ///dfn为dfs遍历顺序,low为u能追溯到的最早的栈中节点的次序号
12 int dfn[MAXN],low[MAXN];
13 int cnt,index;///cnt统计强连通分量的个数，index为dfs遍历顺序
14 vector<int> vec[MAXN];
15 
16 void init(){
17     top=cnt=index=0;
18     memset(dfn,-1,sizeof dfn);
19     memset(inStack,false,sizeof inStack);
20     for(int i=1;i<MAXN;i++){
21         vec[i].clear();
22     }
23 }
24 
25 void tarjan(int u){
26     int v=0;
27     dfn[u]=low[u]=++index;
28     inStack[u]=true;
29     Stack[++top]=u;
30     int t=vec[u].size();
31     for(int i=0;i<t;i++){
32         v=vec[u][i];
33         if(dfn[v]==-1){
34             tarjan(v);
35             low[u]=min(low[u],low[v]);
36         }
37         else if(inStack[v]){
38             low[u]=min(low[u],dfn[v]);
39         }
40     }
41     if(dfn[u]==low[u]){
42         cnt++;
43         do{
44             v=Stack[top--];
45             inStack[v]=false;
46         }while(u!=v);
47     }
48 }
49 
50 int main(){
51     int n,m;
52     while(scanf("%d%d",&n,&m),n||m){
53         init();
54         while(m--){
55             int a,b;
56             scanf("%d%d",&a,&b);
57             vec[a].push_back(b);
58         }
59         for(int i=1;i<=n;i++){
60             if(dfn[i]==-1)
61                 tarjan(i);
62         }
63         if(cnt==1) printf("Yes\n");
64         else printf("No\n");
65     }
66 }