hdu 1296 迷宫城堡【有向图scc+Tarjan入门】

来源:互联网 发布:python入门教程第三版 编辑:程序博客网 时间:2024/05/01 00:07

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解强连通分量裸题,照着kuangbin的板子写的,就这样了。

#include <cstdio>#include <cstring>#include <algorithm>#include <cmath>const int maxn = 10010;using namespace std;int head[maxn]; int stack[maxn]; //维护一个栈 bool instack[maxn]; //表示i点在栈中 int belong[maxn]; //belong[i] = a, 表示i点属于第a个连通分量 int dfn[maxn]; //为节点u搜索的次序编号(时间戳)int low[maxn]; //为u或u的子树能够追溯到的最早的栈中节点的次序号int num[maxn]; //各个强连通分量包含点的个数,数组编号1~scc int index; //表示到达某个点的时间 int top; //用作栈顶的指针 int scc; //记录连通分量个数 int tot;bool flag = true;struct Edge {    int to;    int next;}edge[maxn << 3];void add_edge(int u, int v) {    edge[tot].to = v;    edge[tot].next = head[u];    head[u] = tot++;}void tarjan(int u) {    if(!flag) return;    int v;    low[u] = dfn[u] = ++index;    stack[top++] = u;    instack[u] = true;    for(int i = head[u]; i != -1; i = edge[i].next) {        v = edge[i].to;        if(!dfn[v]) { //这个if 就是用来更新low[u]            tarjan(v);            low[u] = min(low[u], low[v]);        }        else if(instack[v] && low[u] > dfn[v]) {            low[u] = dfn[v];        }    }    if(low[u] == dfn[u]) { //这里表示找完一个强连通分量         scc++;  //强连通个数加1        if(scc > 1) {            flag = false;            return;        }        do {            v = stack[--top];            instack[v] = false;            belong[v] =  scc;            num[scc]++;        }        while(v != u); //一直到v=u都是属于第scc个强连通分量      }}void solve(int n) {    memset(dfn, 0, sizeof(dfn));    memset(instack, false, sizeof(instack));    memset(num, 0, sizeof(num));    index = scc = top = 0;    for(int i = 1; i <= n; i++) { //对所有点tarjan才能求出所有的点的强连通分量         if(!dfn[i] && flag)            tarjan(i);    }    if(flag) printf("Yes\n");    else printf("No\n");}int main() {    int n, m, A, B;    while(scanf("%d %d", &n, &m), (n + m)) {          memset(head, -1, sizeof(head));        tot = 0, flag = true;        while(m--) { //邻接表存图             scanf("%d %d", &A, &B);            add_edge(A, B);        }        solve(n);    }    return 0;}
阅读全文
1 0