迷宫城堡
Time Limit: 2000/1000 MS (Java/Others) Memory Limit: 65536/32768 K (Java/Others)
Total Submission(s): 21334 Accepted Submission(s): 9302
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
题意
给你一个有向图,判断是不是强连通的。
思路
tarjan裸题,直接套模板。
代码
#define push_back pb
#define make_pair mk
#include<iostream>
#include<stdlib.h>
#include<stdio.h>
#include<cmath>
#include<map>
#include<algorithm>
#include<string>
#include<string.h>
#include<set>
#include<queue>
#include<bitset>
#include<stack>
#include<functional>
using std::pair;
typedef long long ll;
typedef unsigned long long ull;
typedef pair<int,int> PII;
typedef pair<double,int>PDI;
const double PI=acos(-1);
const int maxn=100000+10;
const int maxm=100000+10;
const int INF = 0x3f3f3f3f;
using namespace std;
vector<int>g[maxn];
int n,m;
int scc_cnt,scc_num[maxn],in[maxn],scc_be[maxn],dfn[maxn],low[maxn],cnt,S[maxn],top,isin[maxn];
void tarjan(int u)
{
dfn[u]=low[u]=++cnt;
S[++top]=u;
isin[u]=1;
for(int i=0;i<g[u].size();i++)
{
int v=g[u][i];
if(!dfn[v])
{
tarjan(v);
low[u]=min(low[u],low[v]);
}
else if(isin[v]) low[u]=min(low[u],dfn[v]);
}
if(low[u]==dfn[u])
{
scc_cnt++;
while(1)
{
int x=S[top--];
scc_be[x]=scc_cnt;
isin[x]=0;
if(x==u) break;
}
}
}
void find_scc()
{
memset(dfn,0,sizeof(dfn));
memset(in,0,sizeof(in));
memset(low,0,sizeof(low));
top=-1;
scc_cnt=0;
for(int i=1;i<=n;i++)
if(!dfn[i]) tarjan(i);
}
int main()
{
while(~scanf("%d%d",&n,&m)&&(n||m))
{
int u,v;
for(int i=1;i<=n;i++)g[i].clear();
for(int i=0;i<m;i++)
{
scanf("%d%d",&u,&v);
g[u].pb(v);
}
find_scc();
int f=0;
if(scc_cnt==1) printf("Yes\n");
else printf("No\n");
}
}