hdu 迷宫城堡 极大强连通分量的tarjan算法模板题

/*极大强连通分量的tarjan算法模板题。*/
#include<iostream>
#include <stdio.h>
#include <cstring>
using namespace std;

struct EDGE
{
int to,next;
} e[100005];   //边结点数组

int head[10010],stack[10010],DFN[10010],Low[10010],Belong[100010];
//  head[]头结点数组,stack[]为栈,DFN[]为深搜次序数组，Belong[]为每个结点所对应的强连通分量标号数组
//      Low[u]为u结点或者u的子树结点所能追溯到的最早栈中结点的次序号
int instack[10010],cnt,scnt,top,n,tot;
// instack[]为是否在栈中的标记数组
void add(int u,int v)
{
e[tot].to=v;
e[tot].next=head[u];
head[u]=tot++;
}
void tarjan(int u)
{
int j,t;
DFN[u]=Low[u]=++cnt;//边的搜索次序，要和边的标号对应，从1-->n
stack[top++]=u;//入栈
instack[u]=1;
for(int i=head[u]; i!=-1; i=e[i].next)
{
j=e[i].to;
if(!DFN[j])
{
tarjan(j);
Low[u]=min(Low[j],Low[u]);//注意这个地方，要用他的儿子节点去更新本身.
}
else if(instack[j]) Low[u]=min(Low[j],Low[u]);
}
if(Low[u]==DFN[u])
{
scnt++;
do
{
t=stack[--top];
Belong[t]=scnt;
instack[t]=0;
}
while(u!=t);
}
}
void solve()
{
top=scnt=cnt=0;
memset(DFN,0,sizeof(DFN));
for(int i=1; i<=n; i++)
{
if(!DFN[i]) tarjan(i);
}
}
int main()
{
int m,x,y;
while(scanf("%d%d",&n,&m)==2&&(n+m))
{
tot=1;
memset(head,-1,sizeof(head));
while(m--)
{
scanf("%d%d",&x,&y);
add(x,y);
}
solve();
if(scnt==1) printf("Yes\n");//极大强连通分量只有一个,说明该图是一个强连通图
else printf("No\n");
}
return 0;
}