HDU 1269 迷宫城堡 （强连通分量，常规）

题意：

　　判断所给的有向图是否是一个强连通图。

思路：

　　如果连通分量大于1则必定No，如果强连通分量大于1也是No。tarjan算法求强连通分量。

#include <cstdio>
#include <cstring>
#include <algorithm>
#include <vector>
#include <unordered_map>
#include <stack>
#include <iostream>
#include <bits/stdc++.h>
#define LL long long
#define pii pair<int,int>
using namespace std;
const int N=10000+5;
const int INF=0x7f7f7f7f;
vector<int> vect[N];
stack<int> stac;
int n, m;

int lowlink[N], dfn[N], scc_no[N];
int dfn_clock, scc_cnt;

void DFS(int x)
{
    stac.push(x);
    lowlink[x]=dfn[x]=++dfn_clock;
    for(int i=0; i<vect[x].size(); i++)
    {
        int t=vect[x][i];
        if(!dfn[t])
        {
            DFS(t);
            lowlink[x]=min(lowlink[x],lowlink[t]);
        }
        else if(!scc_no[t])
            lowlink[x]=min(lowlink[x],dfn[t]);
    }
    if(lowlink[x]==dfn[x])
    {
        scc_cnt++;
        while(true)
        {
            int t=stac.top();
            stac.pop();
            scc_no[t]=scc_cnt;
            if(x==t)    break;
        }
    }

}


bool cal()
{
    memset(lowlink, 0, sizeof(lowlink));
    memset(dfn, 0, sizeof(dfn));
    memset(scc_no, 0, sizeof(scc_no));

    scc_cnt=dfn_clock=0;
    DFS(1);
    if(scc_cnt>1)   return false;   //多个强连通分量
    for(int i=1; i<=n; i++)    if(!scc_no[i]) return false; //多个连通分量
    return true;
}


int main()
{
    freopen("input.txt", "r", stdin);
    int a, b;
    while(scanf("%d%d",&n,&m), n+m)
    {
        for(int i=1; i<=n; i++) vect[i].clear();
        for(int i=0; i<m; i++)
        {
            scanf("%d%d",&a,&b);
            vect[a].push_back(b);
        }
        if(cal())   puts("Yes");
        else    puts("No");
    }
    return 0;
}