hdu1269 迷宫城堡 强连通分量 tarjan算法(前向星实现)

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

题解：求图的强连通分量，如果图的强连通分量大于1，那么说明图中的ij不是互达的，输出NO。
根据题目房间数据我们用前向星建图，前向星是一种边集数组，并对边集数组按u点（前一个端点）升序排序，使得由同一个点出发的边都集中在一起了。再加上辅助数组 f[MAXN]（模拟表头），存 结点i 出发的第一个边在边集数组里的位置。
然后计算强连通分量：对于没有计算过的点进行dfs搜索，搜索时将未处理的节点加入堆栈中，回溯时判断栈顶节点到栈中的节点是否构成一个强连通分量。

#include<iostream>
#include<cstring>
using namespace std;
#define MAXN 100005
struct node {
    int u;
    int next;
};
node a[MAXN];
int vit[MAXN],Stack[MAXN],instack[MAXN];
int DFN[MAXN],low[MAXN],head[MAXN],n,m,ret,ans,ti,top;
//ret:建立前向星的坐标序号,ti:时间戳序号(1->2->4,第三个节点时间戳是3),top:栈中元素的序号.
void add(int u,int v)
{
    a[ret].u=v;//第ret条边的终点
    a[ret].next=head[u];//边集的下一条边
    head[u]=ret;
    ret++;
}
void tarjan(int s)
{
    DFN[s]=low[s]=++ti;
    Stack[++top]=s;
    instack[s]=1;
    int k;
    for(int i=head[s];i;i=a[i].next)
    {
        int k=a[i].u;
        if(!DFN[k])
        {
            tarjan(k);
            if(low[s]>low[k])
                low[s]=low[k];
        }
        else if(instack[k]&&low[s]>DFN[k])
            low[s]=DFN[k];
    }
    if(DFN[s]==low[s])
    {
        ans++;
        do
        {
            k=Stack[top--];
            instack[k]=0;
        }while(k!=s);
    }

}
void judge()
{
    ti=ans=0;// 时间戳序号，强连通分量序号
    top=-1;//记录栈的位置
    for(int i=1;i<=n;i++)
    {
        if(!DFN[i])
            tarjan(i);
    }
}
int main()
{
    while(cin>>n>>m)
    {
        ret=1;
        if(n==0&&m==0)
            break;
        memset(head,0,sizeof(head));
        memset(DFN,0,sizeof(DFN));
        memset(instack,0,sizeof(instack));
        for(int i=1;i<=m;i++)
        {
            int x,y;
            cin>>x>>y;
            add(x,y);
        }
        judge();
        if(ans>1)
        std::cout<<"No"<<endl;
        else
        std::cout<<"Yes"<<endl;
    }
    return 0;
}