基础模板题，应用tarjan算法求有向图的强连通分量，tarjan在此处的实现方法为：使用栈储存已经访问过的点，当访问的点离开dfs的时候，判断这个点的low值是否等于它的出生日期dfn值，如果相等，那这个点就在一个强连通分量里面，此时从栈中向外取出元素，知道取出的元素与这个点的值相等时结束，我们所有取出的点与这个点在同一个强连通分量里。下面是代码，其实代码里本来不需要id数组记录点属于哪个强连通分量的，因为题目没有做要求，但是为了保留模板完整还是带着了，以供以后复习使用。
#include<cstdio>
#include<stack>
#include<cstring>
#include<iostream>
using namespace std;
#define maxn 10010
struct EDGE
{
int to,nxt;
}edge[maxn*];
int dfn[maxn],low[maxn],tot,num,id[maxn];
int head[maxn];
stack<int>s;
void tarjan(int u,int fa)
{
dfn[u] = low[u] = ++tot;
for(int i = head[u];i != -;i = edge[i].nxt)
{
int v = edge[i].to;
s.push(v);
if(!dfn[v])
{
tarjan(v,u);
low[u] = min(low[u],low[v]);
}
else if(id[v] == -1) low[u] = min(low[u],dfn[v]);
}
if(low[u] == dfn[u])
{
num++;
while(!s.empty())
{
int num1 = s.top();
s.pop();
id[num1] = num;
if(num1 == u)
{
break;
}
}
}
return;
}
int main()
{
int n,m;
while(~scanf("%d%d",&n,&m))
{
if(!n && !m) break;
memset(head,-,sizeof(head));
int a,b;
for(int i = ;i < m;i++)
{
scanf("%d%d",&a,&b);
edge[i].to = b;
edge[i].nxt = head[a];
head[a] = i;
}
memset(dfn,,sizeof(dfn));
memset(low,,sizeof(low));
while(!s.empty()) s.pop();
tot = ,num = ;
memset(id,-,sizeof(id));
for(int i = ;i <= n;i++)
{
if(!dfn[i]) s.push(i),tarjan(i,-);
}
if(num == ) puts("Yes");
else puts("No");
}
return ;
}