HDOJ1269 迷宫城堡（裸的强连通分量）

迷宫城堡

Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 65536/32768 K (Java/Others)
Total Submission(s): 7095    Accepted Submission(s): 3158

Problem 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
  

 

Author

Gardon

 

Source

HDU 2006-4 Programming Contest

 看看强连通分量的数目是否等于总的节点个数就行

#include <iostream>
#include <cstdio>
#include <cstring>
#include <cmath>
#include <algorithm>
#include <climits>
#include <vector>
#include <queue>
#include <string>
#include <set>
#include<stack>
using namespace std;
const int N=10010;
typedef pair<int,int> p;
vector<p> g[N];
int instack[N];
int dfn[N*10],lowlink[N*10];
stack<int> s;
int ma=-1,cnt,sign;
int b[N];
void init()
{
    memset(dfn,0,sizeof(dfn));
    memset(lowlink,0,sizeof(lowlink));
    memset(instack,0,sizeof(instack));
    memset(b,0,sizeof(b));
    for(int i=0;i<N;i++)
        g[i].clear();
    sign=1;cnt=0;ma=-1;
    while(s.size())
        s.pop();
}
void tarjan(int u)
{
    dfn[u]=lowlink[u]=sign;
    sign++;
    s.push(u);
    instack[u]=1;
    for(int i=0;i<g[u].size();i++)
    {
        p p1=g[u][i];
        int x=p1.first;
        int y=p1.second;
        if(!b[y])
        {
           // cout<<"y="<<y<<endl;
            b[y]=1;
            if(!dfn[x])
            {
                tarjan(x);
                lowlink[u]=min(lowlink[u],lowlink[x]);
            }
            else if(instack[x])
                lowlink[u]=min(lowlink[u],dfn[x]);
        }
    }
            if(dfn[u]==lowlink[u])
            {
                int t=-1;
                cnt=0;
                while(t!=u)
                {
                    t=s.top();
                    cnt++;
                    s.pop();
                    instack[t]=0;
                  //  cout<<"t="<<t<<endl;
                }
                ma=max(ma,cnt);
               // cout<<"u="<<u<<endl;
                //cout<<"cnt="<<cnt<<endl;
            }


}
int main()
{
    int vertix,edge;
    while(scanf("%d%d",&vertix,&edge)&&(vertix||edge))
    {
        init();
        for(int i=0;i<edge;i++)
        {
            int aa,bb;
            scanf("%d%d",&aa,&bb);
            g[aa].push_back(make_pair(bb,i));
        }
        tarjan(1);
        ma==vertix?puts("Yes"):puts("No");
    }
    return 0;
}