tarjan入门

算法讲解：https://blog.csdn.net/qq_34374664/article/details/77488976

1.迷宫城堡

http://acm.hdu.edu.cn/showproblem.php?pid=1269

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

Input

输入包含多组数据，输入的第一行有两个数：N和M，接下来的M行每行有两个数a和b，表示了一条通道可以从A房间来到B房间。文件最后以两个0结束。

Output

对于输入的每组数据，如果任意两个房间都是相互连接的，输出"Yes"，否则输出"No"。

Sample Input

3 3
1 2
2 3
3 1
3 3
1 2
2 3
3 2
0 0

Sample Output

Yes
No

 

代码：

#include 

#include 

#include 

#include 

#include 
using namespace std;
const int maxn=10005;
const int maxm=100005;
struct node
{

    int v,next;
}edge[maxm];
int head[maxn],scc[maxn];
int stack[maxn],low[maxn],dfn[maxn];
bool ins[maxn];
int n,m,snum,num,cnt,top;
void init()
{
    memset(head,-1,sizeof(head));
    num=0;
}
void add(int u,int v)
{
    edge[num].v=v;
    edge[num].next=head[u];
    head[u]=num++;
}

void dfs(int u)//代表第几个点在处理。递归的是点。

{

    int x;
    dfn[u]=low[u]=++cnt;// 新进点的初始化
    stack[top++]=u;//进站
    ins[u]=true;//表示在栈里
    for(int i=head[u];i!=-1;i=edge[i].next)
    {
        int v=edge[i].v;
        if(!dfn[v])//如果没访问过

        {

            dfs(v);//往下进行延伸，开始递归

            low[u]=min(low[u],low[v]);//递归出来，比较谁是谁的儿子／父亲，就是树的对应关系，涉及到强连通分量子树最小根的事情。

        }

        else if(ins[v])//如果访问过，并且还在栈里
            low[u]=min(low[u],dfn[v]);//比较谁是谁的儿子／父亲。就是链接对应关系

    }

    if(low[u]==dfn[u])//发现是整个强连通分量子树里的最小根。

    {

        snum++;//站数

       do{

            x=stack[--top];//注意前面是进站时top++，所以先要top--得到的是站里最顶层的数

            ins[x]=false;//出栈

            scc[x]=snum;//记录第几个站

        }while(x!=u);

    }

}

void tarjan()

{

    memset(dfn,0,sizeof(dfn));

    memset(ins,false,sizeof(ins));

    snum=cnt=top=0;

    for(int i=1;i<=n;i++)

    if(!dfn[i]) dfs(i);

}

int main()

{

    int a,b;

    while(scanf("%d%d",&n,&m),n||m)

    {

        init();

        while(m--)

        {

            scanf("%d%d",&a,&b);

            add(a,b);

        }

        tarjan();

        if(snum==1)

        printf("Yes\n");

        else

        printf("No\n");

    }

    return 0;

}