链接
为了训练小希的方向感,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 算法模板题,只需判断强连通分量个数是否为1
#include <iostream>
#include <algorithm>
#include <cmath>
#include <ctype.h>
#include <cstring>
#include <cstdio>
#include <sstream>
#include <cstdlib>
#include <iomanip>
#include <string>
#include <queue>
#include <map>
using namespace std;
int n,m,cnt,index,dfs_num,CN,maxn;
int pre[100010],vis[100010],DFN[100010],LOW[100010],Stack[100010],dye[100010],Size[100010];
struct pack{int to,next;} E[100010];
void add_edge(int x,int y){
E[++cnt].to=y;
E[cnt].next=pre[x];
pre[x]=cnt;
}
void input(){
for(int i=1;i<=m;i++){
int a,b;
scanf("%d%d",&a,&b);
add_edge(a,b);
//if(c==2) add_edge(b,a);
}
}
void tarjan(int pos){
vis[Stack[++index]=pos]=1;
LOW[pos]=DFN[pos]=++dfs_num;
for(int i=pre[pos];i;i=E[i].next){
if(!DFN[E[i].to]){
tarjan(E[i].to);
LOW[pos]=min(LOW[pos],LOW[E[i].to]);
}
else if(vis[E[i].to]) LOW[pos]=min(LOW[pos],DFN[E[i].to]);
}
if(LOW[pos]==DFN[pos]){
vis[pos]=0;
Size[dye[pos]=++CN]++;
while(pos!=Stack[index]){
vis[Stack[index]]=0;
Size[CN]++;
dye[Stack[index--]]=CN;
}
index--;
}
}
void output(){
//int lenn=0;
//int tar;
for(int i=1;i<=n;i++)
if(Size[dye[i]]>maxn) maxn=Size[dye[i]];//tar=i;
if(maxn==n)
printf("Yes\n");
else
printf("No\n");
//printf("%d\n",maxn);
//for(int i=1;i<=n;i++)
//if(dye[i]==dye[tar]) printf("%d ",i);
}
int main(){
while(scanf("%d%d",&n,&m))
{
maxn=-1;
if(n==0&&m==0)
break;
memset(pre,0,sizeof(pre));
memset(vis,0,sizeof(vis));
memset(DFN,0,sizeof(DFN));
memset(LOW,0,sizeof(LOW));
memset(Stack,0,sizeof(Stack));
memset(dye,0,sizeof(dye));
memset(Size,0,sizeof(Size));
input();
for(int i=1;i<=n;i++)
if(!dye[i]) tarjan(i);
output();
}
return 0;
}