迷宫城堡
Time Limit: 2000/1000 MS (Java/Others) Memory Limit: 65536/32768 K (Java/Others)
Total Submission(s): 9310 Accepted Submission(s): 4158
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
思路:求有向图的SCC数目,为1输出Yes,否则输出No。
AC代码:
#include <cstdio>
#include <cstring>
#include <vector>
#include <queue>
#include <stack>
#include <algorithm>
#define MAXN 10000+10
#define MAXM 100000+10
#define INF 100000+10
using namespace std;
struct Edge
{
int from, to, next;
}edge[MAXM];
int head[MAXN], edgenum;
int dfs_clock;//时间戳
int sccno[MAXN], scc_cnt;//sccno[i]表示i属于哪个SCC scc_cnt是SCC计数器
bool Instack[MAXN];
int low[MAXN], dfn[MAXN];
int n, m;
stack<int> S;
void init()
{
edgenum = 0;
memset(head, -1, sizeof(head));
}
void addEdge(int u, int v)
{
Edge E = {u, v, head[u]};
edge[edgenum] = E;
head[u] = edgenum++;
}
void getMap()
{
int a, b;
while(m--)
{
scanf("%d%d", &a, &b);
addEdge(a, b);
}
}
void tarjan(int u, int fa)
{
int v;
low[u] = dfn[u] = ++dfs_clock;
S.push(u);
Instack[u] = true;
for(int i = head[u]; i != -1; i = edge[i].next)
{
v = edge[i].to;
if(!dfn[v])
{
tarjan(v, u);
low[u] = min(low[u], low[v]);
}
else if(Instack[v])
low[u] = min(low[u], dfn[v]);//反向边
}
if(low[u] == dfn[u])
{
scc_cnt++;//记录SCC数目
for(;;)
{
v = S.top();
S.pop();
Instack[v] = false;
if(v == u) break;
}
}
}
void find_cut(int l, int r)
{
memset(Instack, false, sizeof(Instack));
memset(low, 0, sizeof(low));
memset(dfn, 0, sizeof(dfn));
memset(sccno, 0, sizeof(sccno));
scc_cnt = dfs_clock = 0;
for(int i = l; i <= r; i++)
if(!dfn[i]) tarjan(i, -1);
if(scc_cnt == 1)
printf("Yes\n");
else
printf("No\n");
}
int main()
{
while(scanf("%d%d", &n, &m), n||m)
{
init();
getMap();
find_cut(1, n);
}
return 0;
}