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"
题意就是给一张图问是否该图是强连通的,也就是说强连通分量是1的图。
直接跑一遍tarjan算法看是否强连通分量是1即可。
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cmath>
#include<iostream>
#include<vector>
#include<string>
#include<stack>
using namespace std;
const int N=10005;
typedef long long ll;
vector<int> mp[N];
int index,ans;
int dfn[N];
int low[N];
bool vis[N];
stack<int> stk;
inline void init()
{
index=0;
ans=0;
for(int i=1;i<=N;i++)
mp[i].clear();
memset(dfn,0,sizeof(dfn));
memset(low,0,sizeof(low));
memset(vis,0,sizeof(vis));
while(!stk.empty()) stk.pop();
}
void tarjan(int pos)
{
int to;
dfn[pos]=low[pos]=++index;
stk.push(pos);
vis[pos]=1;
for(int i=0;i<mp[pos].size();i++)
{
to=mp[pos][i];
if(!dfn[to])
{
tarjan(to);
low[pos]=min(low[pos],low[to]);
}
else
{
if(vis[to])
low[pos]=min(dfn[to],low[pos]);
}
}
if(dfn[pos]==low[pos])
{
//printf("pos:%d\n",pos);
ans++;
do{
to=stk.top();
stk.pop();
vis[to]=0;
}while(pos!=to);
}
}
int main()
{
int n,m,x,y;
int T;
while(scanf("%d %d",&n,&m)&&(n+m))
{
init();
for(int i=0;i<m;i++)
{
scanf("%d %d",&x,&y);
mp[x].push_back(y);
//mp[y].push_back(x);
}
for(int i=1;i<=n;i++)
if(!dfn[i])
tarjan(1);
/*for(int i=1;i<=n;i++)
{
printf("is:%d %d\n",dfn[i],low[i]);
}*/
if(ans==1) printf("Yes\n");
else printf("No\n");
}
return 0;
}