迷宫城堡 【tarjan求强连通分量的个数】

题目链接：HDOJ-1269

## **题目描述**：

为了训练小希的方向感，Gardon建立了一座大城堡，里面有N个房间(N<=10000)和M条通道(M<=100000)，每个通道都是单向的，就是说若称某通道连通了A房间和B房间，只说明可以通过这个通道由A房间到达B房间，但并不说明通过它可以由B房间到达A房间。Gardon需要请你写个程序确认一下是否任意两个房间都是相互连通的，即：对于任意的i和j，至少存在一条路径可以从房间i到房间j，也存在一条路径可以从房间j到房间i。

思路

这道题的题意很明显，是一道tarjan的裸题；
首先题目给出的是有向图，然后要求判断该图是否联通，即任意两点可以相互到达；我们可以用tarjan算法对这张图进行改造为一张DAG，然后判断存在几个强连通分量即可；
若强连通分量的个数 == 1 则输出Yes
其他情况下输出 No 即可 AC

AC代码

#include <bits/stdc++.h>
using namespace std;

#define MAX_N 10010
#define MAX_M 100010

int head[MAX_N], dfn[MAX_N], low[MAX_N], cnt = 0, idx = 1, in_stack[MAX_N], scc = 0;

stack<int> S;

struct Node{
    int to, next;
}edge[MAX_M];

void init()
{
    scc = cnt = 0;
    idx = 1;
    memset(head, -1, sizeof(head));
    memset(dfn, 0, sizeof(dfn));
    memset(in_stack, 0, sizeof(in_stack));
}

void add(int x, int y)
{
    edge[cnt].to = y;
    edge[cnt].next = head[x];
    head[x] = cnt++;
}

void tarjan(int u)
{
    low[u] = dfn[u] = idx++;
    S.push(u);
    in_stack[u] = true;
    for(int i = head[u]; i != -1; i = edge[i].next)
    {
        int v = edge[i].to;
        if(!dfn[v])
        {
            dfn[v] = dfn[u] + 1;
            tarjan(v);
            low[u] = min(low[u], low[v]);
        }
        else if(in_stack[v])
        {
            low[u] = min(low[u], dfn[v]);
        }
    }
    if(low[u] == dfn[u])
    {
        scc++;
        do
        {
            int k = S.top();
            S.pop();
            in_stack[k] = false;
            if(k == u)
                break;
        }
        while(!S.empty());
    }
}

int main()
{
    ios::sync_with_stdio(false);
    cin.tie(0);
    cout.tie(0);
    int n, m;
    while(cin >> n >> m, n + m)
    {
        init();
        for(int i = 0; i < m; i++)
        {
            int x, y;
            cin >> x >> y;
            add(x, y);
        }
        for(int i = 1; i <= n; i++)
        {
            if(!dfn[i])
            {
                tarjan(i);
            }
        }
        if(scc == 1)
            cout << "Yes" << endl;
        else
            cout << "No" << endl;
    }
    return 0;
}