迷宫城堡（强连通）

描述

为了训练小希的方向感，Gardon建立了一座大城堡，里面有N个房间(从1～N编号，N<=10000)和M条通道(M<=100000)，每个通道都是单向的，就是说若称某通道连通了A房间和B房间，只说明可以通过这个通道由A房间到达B房间，但并不说明通过它可以由B房间到达A房间。Gardon需要请你写个程序确认一下是否任意两个房间都是相互连通的，即：对于任意的i和j，至少存在一条路径可以从房间i到房间j，也存在一条路径可以从房间j到房间i。

输入

输入包含多组数据，输入的第一行有两个数：N和M，接下来的M行每行有两个数a和b，表示了一条通道可以从A房间来到B房间。文件最后以两个0结束。

输出

对于输入的每组数据，如果任意两个房间都是相互连接的，输出"Yes"，否则输出"No"。

样例输入

3 3
1 2
2 3
3 1
3 3
1 2
2 3
3 2
0 0

样例输出

Yes
No

题意：

图中任意两点都能互相到达，这是一道强连通模板题。

思路：

1.主要用tarjan算法进行搜索，首次进入一个点时压入栈种，遇到强连通点时（当前点对应序号与当前点能到达的最小序号相同），弹出栈顶元素，直到当前点；

2.在求low值时要注意对已经访问过且在栈中的点进行一次比对。

代码：

#include<bits/stdc++.h>
using namespace std;
#define ll long long
#define IOS ios::sync_with_stdio(false); cin.tie(0); cout.tie(0);
const int N=10009;
int num,n,m,low[N],dfn[N],id,vis[N];
vector<int>vec[N];
stack<int>s;
void tarjan(int x){
	low[x]=dfn[x]=++id;
	s.push(x);
	vis[x]=1;
	for(int i=0;i<vec[x].size();i++){
		int v=vec[x][i];
		if(!dfn[v]){
			tarjan(v);
			low[x]=min(low[x],low[v]);
		}
		else if(vis[v]){
			low[x]=min(low[x],dfn[v]);
		}
	}
	if(low[x]==dfn[x]){
		num++;
		while(1){
			int y=s.top();s.pop();
			vis[y]=0;
			if(y==x)break;
		}
	}
}
void clean(){
	memset(dfn,0,sizeof(dfn));
	memset(low,0,sizeof(low));
	memset(vis,0,sizeof(vis));
	for(int i=0;i<=n;i++)vec[i].clear();
	id=0;num=0;
}
int main()
{
	IOS
	while(cin>>n>>m){
		if(n==0&&m==0)break;
		clean();
		int x,y;
		for(int i=1;i<=m;i++){
			cin>>x>>y;
			vec[x].push_back(y);
		}
		for(int i=1;i<=n;i++){
			if(!dfn[i]){
				tarjan(i);
			}
		}
		if(num==1)cout<<"Yes"<<endl;
		else cout<<"No"<<endl;
	}
 	return 0;
}