连通图（强连通分支）

#include<stdio.h>
#include<string.h>
#include<stdlib.h>
#include<iostream>
#include<algorithm>
#include<vector>
using namespace std;
#define maxn 10010
vector<vector<int> >G;
int low[maxn],dfn[maxn],Stack[maxn],ans,sum,Time,top,n,m;//low表示搜索时间,dfn表示深度,Stack表示栈;
bool vis[maxn];//标记其元素是否入栈;
void Init()
{
    G.clear();
    G.resize(n+1);
    memset(low,0,sizeof(low));
    memset(dfn,0,sizeof(dfn));
    memset(Stack,0,sizeof(Stack));
    memset(vis,false,sizeof(vis));
    ans = sum = top = 0;
    Time = 1;
}
void Tarjan(int u)
{
    int i;
    low[u]=dfn[u]=Time++;
    vis[u]=true;
    Stack[top++]=u;
    int len=G[u].size(),v;
    for(i=0; i<len; i++)
    {
        v=G[u][i];
        if(!dfn[v])
        {
            Tarjan(v);
            low[u] = min(low[u],low[v]);//如果v点可到达,那么u点也可到达
        }
        else if(vis[v])
            low[u] = min(low[u],dfn[v]);//如果某一点可到的点在栈中，构成强连通分量
    }
    if(low[u] == dfn[u])
    {
        do
        {
            ans++;
            v=Stack[--top];
            vis[v]=false;
        }
        while(u!=v);
        sum++;
    }
}
void solve()
{
    Tarjan(1);
    if(ans==n && sum==1)
        puts("Yes");
    else
        puts("No");
}
int main()
{
    int a,b;
    while(scanf("%d%d",&n,&m),n+m)
    {
        Init();
        while(m--)
        {
            scanf("%d%d",&a,&b);
            G[a].push_back(b);
        }
        solve();
    }
    return 0;
}