poj2762(强连通分量缩点tarjan+拓扑排序思想）

思路：先用tarjan算法，把各个互联的强连通分量当成一个点（缩点），然后再对这些缩点使用拓扑排序思想，即每去掉一个入度为0的点后，剩下点入度为0的点必须只能是一个。

#include<cstdio>
#include<cstring>
#include<stack>
using namespace std;
struct node
{
	int u,v,next;
}s[6009];
int head[1009],cnt,dfn[1009],low[1009],id,ins[1009],c,color[1009];
int deg[1009];
int n,m;
stack<int> p;
void add_edge(int u,int v)
{
	s[cnt].u=u;
	s[cnt].v=v;
	s[cnt].next=head[u];
	head[u]=cnt++;
}
void tarjan(int u)
{
	int tp;
	dfn[u]=low[u]=id++;
	ins[u]=1;
	p.push(u);
	for(int i=head[u];i!=-1;i=s[i].next)
	{
		int v=s[i].v;
		if(!dfn[v])
		{
			tarjan(v);
			low[u]=min(low[u],low[v]);
		}else
		if(ins[v]&&dfn[v]<low[u])
		{
			low[u]=dfn[v];
		}
	}
	if(dfn[u]==low[u])
	{
		c++;
		do{
			tp=p.top();
			p.pop();
			ins[tp]=0;
			color[tp]=c;
		}while(u!=tp);
	}
}
bool topo(int st)
{
	int count;
	int num=c-1;
	while(num--)
	{
		count=0;
		for(int i=head[st];i!=-1;i=s[i].next)
		{
			deg[s[i].v]--;
			if(deg[s[i].v]==0)
			{
				count++;
				st=s[i].v;
			}
		}
		if(count!=1) 
		{
			return false;
		}
	}
	return true;
}
void solve()
{
	memset(dfn,0,sizeof(dfn));
	memset(ins,0,sizeof(ins));
	memset(color,0,sizeof(color));
	id=1;
	c=0;
	while(!p.empty()) p.pop(); 
	for(int i=1;i<=n;i++)
	{
		if(!dfn[i])
		{
			tarjan(i);
		}
	}
	memset(head,-1,sizeof(head));
	memset(deg,0,sizeof(deg));
	for(int i=0;i<m;i++)
	{
		if(color[s[i].u]==color[s[i].v]) continue;
		add_edge(color[s[i].u],color[s[i].v]);
		deg[color[s[i].v]]++;
	}
	int count=0,st;
	for(int i=1;i<=c;i++)
	{
		if(deg[i]==0)
		{
			count++;
			st=i;
		}
	}
	if(count>1) 
	{
		printf("No\n");
		return;
	}
	if(topo(st)) printf("Yes\n");
	else printf("No\n");
}
int main()
{
	int T,u,v;
	//freopen("t.txt","r",stdin);
	scanf("%d",&T);
	while(T--)
	{
		scanf("%d%d",&n,&m);
		memset(head,-1,sizeof(head));
		cnt=0;
		for(int i=0;i<m;i++)
		{
			scanf("%d%d",&u,&v);
			add_edge(u,v);
		}
		solve();
	}
	return 0;
 }