[解题报告]hdoj1269(强连通tarjan)

大概题意，多组输入n，m（表示n个房间，m条路径）接着输入m个u，v，表示u->v，判断是否任意两个房间相互连通，是输出Yes，否则No

/*
2014-10-15 23:57
62ms/1500k

tarjan算法：基于对图深度优先搜索，每个强连通分量为搜索树中的一颗子树，把当前搜索树中未处理的结点加入堆栈，通过<回溯>判断。
此题我出现的问题。。：居然先用了邻接矩阵和栈！MLE。。然后就是一些小问题，j，v等等写错，粗心。

*/
#include<iostream>
#include<stdio.h>
#include<string.h>
using namespace std;
int n,m;
int index,scc,top;//访问序号，强连通分量个数，栈顶位置
struct Edge
{
    int to;
    int next;//
} edge[100003];
int head[10003];//起始房间所在边序号
int stack[10003];
bool in[10003];//判断是否在栈中
int DFN[10003],LOW[10003];//dfn时间戳，low存祖先序号
void tarjan(int i)
{
    DFN[i]=LOW[i]=++index;
    stack[++top]=i;
    in[i]=true;//
    int j,v;
    for(j=head[i]; j!=-1; j=edge[j].next)
    {
        v=edge[j].to;
        if(!DFN[v])//指向结点没有被访问过
        {
                tarjan(v);
                LOW[i]=min(LOW[i],LOW[v]);//两节点可能不在同一强连通分量中
        }
        else if(in[v])//访问过 而且仍在栈中
                LOW[i]=min(LOW[i],DFN[v]);
    }
    if(DFN[i]==LOW[i])//该结点是强连通分量的根
    {
        //更新个数，并将找到的强连通分量结点退栈
        scc++;
        do
        {
            j=stack[top--];
            in[j]=false;//
        }while(j!=i);
    }
}
void solve()
{
    index=0,scc=0,top=0;
    memset(DFN,0,sizeof(DFN));
    memset(in,false,sizeof(in));
    for(int i=1; i<=n; i++)
    {
        if(!DFN[i])
            tarjan(i);
    }
}
int main()
{
    while(~scanf("%d%d",&n,&m),n+m)
    {

        int a,b;
        int i;
        memset(head,-1,sizeof(head));
        for(i=0; i<m; i++)
        {
            scanf("%d%d",&a,&b);
            edge[i].to=b;
            edge[i].next=head[a];//
            head[a]=i;
        }
        solve();
        if(scc==1) printf("Yes\n");
        else printf("No\n");
    }
    return 0;
}