HDU1269迷宫城堡（Tarjan模板题）

题目大意：

问一个图是不是强连通的。

Tarjan模板+详细解释：

#include<iostream>
#include<algorithm>
#include<cstring>
#include<cstdio>
using namespace std;
const int maxn = 10010;
const int maxm = 100010;
int n, m;
int cnt, tol, scnt, top;
int head[maxn], st[maxn], dfn[maxn], low[maxn], Belong[maxn];
//DFN[]为深搜次序数组
//Low[u]为u结点或者u的子树结点所能追溯到的最早栈中结点的次序号
//Belong[]为每个结点所对应的强连通分量标号数组
bool instack[maxn];
struct Edge
{
    int v, nxt;
}edge[maxm];
void init()
{
    tol = 0;//边的标号
    scnt = cnt = top = 0;//scnt为强连通分量标号，cnt为时间戳，top为栈顶指针
    memset(head, -1, sizeof(head));
    memset(dfn, 0, sizeof(dfn));
}
void build_graph(int u, int v)//构建邻接表
{
    edge[tol].v = v;
    edge[tol].nxt = head[u];
    head[u] = tol++;
}
void Tarjan(int u)//Tarjan算法求有向图的强连通分量
{
    dfn[u] = low[u] = ++cnt;
    instack[u] = 1;//标记在栈中
    st[top++] = u;
    for(int i = head[u]; i != -1; i = edge[i].nxt)
    {   //枚举u的每一条边
        int v = edge[i].v;//u所邻接的边
        if(!dfn[v])//未被访问过
        {
            Tarjan(v);//继续向下找
            if(low[u] > low[v])
                low[u] = low[v];//更新结点u所能到达的最小次数层
        }
        else if(instack[v]&&dfn[v] < low[u])//如果v结点在栈内
            low[u] = dfn[v];
    }
    if(dfn[u] == low[u])
    {   //如果节点v是强连通分量的根
        scnt++;//连通分量标号加1
        int t;
        do
        {
            t = st[--top];  //退栈
            instack[t] = 0; //标记不在栈中
            Belong[t] = scnt;//出栈结点t属于scnt标号的强连通分量
        }while(t != u);//直到将v从栈中退出
    }
}
void solve()
{
    for(int i = 1; i <= n; i++) //枚举每个结点，搜索连通分量
        if(!dfn[i])//未被访问
            Tarjan(i);//则找i结点的连通分量
}
int main()
{
    while(scanf("%d%d", &n, &m) && (n || m))
    {
        init();
        while(m--)
        {
            int u, v;
            scanf("%d%d", &u, &v);
            build_graph(u, v);
        }
        solve();
        if(scnt == 1)
            puts("Yes");
        else
            puts("No");
    }
    return 0;
}