題目連結：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;
}