hdu1269有向图强连通分量(tanjar模板)

题目链接迷宫城堡

题意：一个有向图，看任意两点是否liantong

tanjar算法：

   做一遍dfs,用dfn[i]表示编号为i的结点在DFS过程中的访问序号（也可以叫做开始时间）用Low[i]表示i节点dfs过程中i的下方结点所能到达的开始时间最早节点的时间。初始时dfn[i]=low[i]

  在dfs过程中会形成一搜索树，在搜索树上越先遍历到的节点，显然dfn的值就越小

  dfs过程中，碰到哪个节点，就将哪个节点入栈。栈中节点只有在其所属的强连通分量已经全部求出时，才会出栈。

  如果发现某节点u右边连到搜索树中栈里的节点v，则更新u的low值为dfn[v](更新为low[v])也可以)

  如果一个节点u已经dfs访问结束，而且此时其low值等于dfn值，则说明u可达的所有节点，都不能到达任何在u之前被dfs访问的节点——那么该节点u就是一个强连通分量在dfs搜索树中的根

  此时将栈中所有节点弹出，包括u，就找到了一个强连通分量。

#include <iostream>
#include <stdio.h>
#include <memory.h>
using namespace std;

int N,M;
const int MAXN=10005;
const int MAXM=100005;
struct Edge
{
    int to,next;
}edge[MAXM];
int head[MAXN],tot;
int Low[MAXN],DFN[MAXN],Stack[MAXN];
int Index,top;
int scc;

bool Instack[MAXN];

void addedge(int u,int v)
{
    edge[tot].to = v;edge[tot].next = head[u];head[u] = tot++;
}

void Tarjan(int u)
{
    int v;
    Low[u]=DFN[u]=++Index;
    Stack[top++]=u;
    Instack[u]=true;
    for(int i=head[u];i!=-1;i=edge[i].next){
        v=edge[i].to;
        if(!DFN[v]){
            Tarjan(v);
            if(Low[u]>Low[v])Low[u]=Low[v];//Low[u]表示u节点dfs过程中u的下方结点所能到达的开始时间最早节点的时间
        }
        else if(Instack[v]&&Low[u]>DFN[v])
            Low[u]=DFN[v];//发现某节点u右边连到搜索树中栈里的节点v，则更新u的low值为dfn[v]
    }
    if(Low[u]==DFN[u]){//如果一个节点u已经dfs访问结束，而且此时其low值等于dfn值，则说明u可达的所有节点，都不能到达任何在u之前被dfs访问的节点——那么该节点u就是一个强连通分量在dfs搜索树中的根
        scc++;
        do{
            v=Stack[--top];
            Instack[v]=false;
        }while(v!=u);
    }
}

void solve(int N)
{
    memset(DFN,0,sizeof(DFN));
    memset(Instack,false,sizeof(Instack));
    Index=scc=top=0;
    for(int i=1;i<=N;i++){
        if(!DFN[i])
            Tarjan(i);
    }
}

void init()
{
    tot=0;
    memset(head,-1,sizeof(head));
}

int main()
{
    //freopen("in.txt","r",stdin);
    int a,b;
    while(scanf("%d%d",&N,&M)!=EOF&&(N+M)){
        init();
        for(int i=0;i<M;i++){
            scanf("%d %d",&a,&b);
            addedge(a,b);
        }
        solve(N);
        if(scc == 1)
            printf("Yes\n");
        else printf("No\n");
    }
    return 0;
}