http://acm.hdu.edu.cn/showproblem.php?pid=1269&&迷宫城堡-优快云博客

本文介绍了一种求解强连通分量的经典算法实现，通过深度优先搜索（DFS）来划分图中的强连通分量，并给出完整的C++代码示例。该算法能够有效地判断一个有向图是否为强连通。

强连通模板题，不解释。。

#include<cstdio>
#include<iostream>
#include<string.h>
#include<string>
#include<algorithm>
#define N 10005
#define M 100005
#define CLR(arr,val) memset(arr,val,sizeof(arr))
using namespace std;
typedef struct 
{
	int num;
	int Next;
}Node;
Node s[M];
int head[N];
int dnf[N];
int low[N];
int stack[N];
bool istack[N];
int belong[N];
int res,top,ans,index;
void init()
{
	CLR(head,-1);
	CLR(dnf,0);
	CLR(low,0);
	CLR(stack,0);
	CLR(istack,false);
	CLR(belong,0);
	res=0,top=0,ans=0,index=1;
}
void add(int a,int b)
{
	s[res].num=b;
	s[res].Next=head[a];
	head[a]=res++;
}
void dfs(int x)
{
	low[x]=dnf[x]=index++;
	istack[x]=true;
	stack[top++]=x;
	for(int i=head[x];i!=-1;i=s[i].Next)
	{
	     int v=s[i].num;
		 if(!dnf[v])
		 {
			 dfs(v);
			 low[x]=min(low[x],low[v]);
		 }
		 else if(istack[v])
		 {
			 low[x]=min(dnf[v],low[x]);
		 }
	}
	int u;
	if(dnf[x]==low[x])
	{
		ans++;
		do
		{
			u=stack[--top];
			istack[u]=false;
			belong[u]=ans;

		 }while(u!=x);
	}
}
int main()
{
	int n,m;
	while(~scanf("%d%d",&n,&m))
	{
		if(!n&&!m) break;
	   init();
       for(int i=0;i!=m;++i)
		{
			int a,b;
			scanf("%d%d",&a,&b);
			add(a,b);
		}
	   for(int i=1;i<=n;++i)
		   if(!dnf[i]) dfs(i);
	      if(ans==1) puts("Yes");
		  else  puts("No");
	}return 0;
}