描述
为了训练小希的方向感,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
题解:
强连通分量Tarjan算法模板题
#include<iostream>
#include<algorithm>
#include<queue>
#include<stack>
#include<cmath>
#include<vector>
#include<iomanip>
#include<string.h>
#include<set>
#include<string>
#include<map>
#include<bitset>
#pragma warning(disable : 4996)
using namespace std;
#define MAX 100010
vector<int>road[MAX];
int dfn[MAX], low[MAX], tot;
int stk[MAX], instk[MAX],top;
int scc[MAX], siz[MAX],cnt;
void tarjan(int x)
{
//刚进去标记时间
dfn[x] = low[x] = ++tot;
//模拟stack
stk[++top] = x;
//打标记,说明该点还在使用
instk[x] = 1;
//搜索儿子节点
for (auto i : road[x])
{
//如果该点没被访问过
if (!dfn[i])
{
tarjan(i);
//看是否能从儿子这里更新自己的最小时间
low[x] = min(low[x], low[i]);
}
//被访问且该点还在使用
else if(instk[i])
{
low[x] = min(low[x], dfn[i]);
}
}
//如果两个时间相等,说明该点是个根,是图中其中一个连通部分的入口
if (low[x] == dfn[x])
{
//记录点的归属,并将儿子和自己踢出,取消使用,可以不记录归属,如果没有要求
int y; cnt++;
do {
y = stk[top--];
instk[y] = 0;
scc[y] = cnt;
++siz[cnt];
} while (y != x);
}
}
int main()
{
ios::sync_with_stdio(false);
cin.tie(0);
cout.tie(0);
int n, m;
while (cin >> n >> m && n && m)
{
//输入数据
for (int i = 0; i < m; i++)
{
int a, b;
cin >> a >> b;
road[a].push_back(b);
}
//找寻图是否断开
for (int i = 1; i <= n; i++)
{
if (!dfn[i])
tarjan(i);
}
//cnt是图中强连通的个数
if (cnt == 1)
cout << "Yes" << endl;
else
cout << "No" << endl;
for (int i = 1; i <= n; i++)
{
road[i].clear();
}
memset(dfn, 0, sizeof(dfn));
memset(low, 0, sizeof(low));
memset(stk, 0, sizeof(stk));
memset(instk, 0, sizeof(instk));
memset(scc, 0, sizeof(scc));
memset(siz, 0, sizeof(siz));
tot = 0;
top = 0;
cnt = 0;
}
return 0;
}