HDU 1269 迷宫城堡 (强连通分量,常规)

 

题意:

  判断所给的有向图是否是一个强连通图。

 

思路:

  如果连通分量大于1则必定No,如果强连通分量大于1也是No。tarjan算法求强连通分量。

 

 

 

 1 #include <cstdio>
 2 #include <cstring>
 3 #include <algorithm>
 4 #include <vector>
 5 #include <unordered_map>
 6 #include <stack>
 7 #include <iostream>
 8 #include <bits/stdc++.h>
 9 #define LL long long
10 #define pii pair<int,int>
11 using namespace std;
12 const int N=10000+5;
13 const int INF=0x7f7f7f7f;
14 vector<int> vect[N];
15 stack<int> stac;
16 int n, m;
17 
18 int lowlink[N], dfn[N], scc_no[N];
19 int dfn_clock, scc_cnt;
20 
21 void DFS(int x)
22 {
23     stac.push(x);
24     lowlink[x]=dfn[x]=++dfn_clock;
25     for(int i=0; i<vect[x].size(); i++)
26     {
27         int t=vect[x][i];
28         if(!dfn[t])
29         {
30             DFS(t);
31             lowlink[x]=min(lowlink[x],lowlink[t]);
32         }
33         else if(!scc_no[t])
34             lowlink[x]=min(lowlink[x],dfn[t]);
35     }
36     if(lowlink[x]==dfn[x])
37     {
38         scc_cnt++;
39         while(true)
40         {
41             int t=stac.top();
42             stac.pop();
43             scc_no[t]=scc_cnt;
44             if(x==t)    break;
45         }
46     }
47 
48 }
49 
50 
51 bool cal()
52 {
53     memset(lowlink, 0, sizeof(lowlink));
54     memset(dfn, 0, sizeof(dfn));
55     memset(scc_no, 0, sizeof(scc_no));
56 
57     scc_cnt=dfn_clock=0;
58     DFS(1);
59     if(scc_cnt>1)   return false;   //多个强连通分量
60     for(int i=1; i<=n; i++)    if(!scc_no[i]) return false; //多个连通分量
61     return true;
62 }
63 
64 
65 int main()
66 {
67     freopen("input.txt", "r", stdin);
68     int a, b;
69     while(scanf("%d%d",&n,&m), n+m)
70     {
71         for(int i=1; i<=n; i++) vect[i].clear();
72         for(int i=0; i<m; i++)
73         {
74             scanf("%d%d",&a,&b);
75             vect[a].push_back(b);
76         }
77         if(cal())   puts("Yes");
78         else    puts("No");
79     }
80     return 0;
81 }
AC代码

 

posted @ 2015-07-07 16:10  xcw0754  阅读(139)  评论(0编辑  收藏  举报