为了训练小希的方向感，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
Tarjan算法裸题
#include <iostream> #include <algorithm> #include <cstring> #include <cstdio> #include <vector> #include <queue> #include <stack> #include <cstdlib> #include <iomanip> #include <cmath> #include <cassert> #include <ctime> #include <map> #include <set> using namespace std; #pragma comment(linker, "/stck:1024000000,1024000000") #define lowbit(x) (x&(-x)) #define max(x,y) (x>=y?x:y) #define min(x,y) (x<=y?x:y) #define MAX 100000000000000000 #define MOD 1000000007 #define pi acos(-1.0) #define ei exp(1) #define PI 3.1415926535897932384626433832 #define ios() ios::sync_with_stdio(true) #define INF 0x3f3f3f3f #define mem(a) ((a,0,sizeof(a))) typedef long long ll; int n,m,vis[10005],dnf[10005],low[10005],pos[10006]; int k,top,x,y; vector<int>v[10005]; void tarjan(int u) { low[u]=dnf[u]=++k; pos[++top]=u; vis[u]=1; for(int i=0;i<v[u].size();i++) { if(!dnf[v[u][i]]) { tarjan(v[u][i]); low[u]=min(low[u],low[v[u][i]]); } else if(vis[v[u][i]]) low[u]=min(low[u],dnf[v[u][i]]); } } int main() { while(scanf("%d%d",&n,&m) && n+m) { memset(vis,0,sizeof(0)); memset(dnf,0,sizeof(dnf)); memset(low,0,sizeof(low)); top=k=0; for(int i=0;i<=n;i++) v[i].clear(); for(int i=0;i<m;i++) { scanf("%d%d",&x,&y); v[x].push_back(y); } tarjan(1); bool flag=true; for(int i=2;i<=n;i++) if(low[i]!=low[i-1]){flag=false;break;} puts(flag?"Yes":"No"); } return 0; }