hdu 1269 强联通分量题解；

// hdu 1269  强联通分量模板题 
// 强连通分量的定义：1.在有向图里面，一个极大子图里面，任意两个点之间可以相互到达； 
//                   2.单个结点也是一个强连通分量； 
// 强连通分量：有向图；
// 连通分量：无向图； 
#include<iostream>
using namespace std;
#define maxn 10000
#define maxm 100000

struct edge
{
    int next;
    int to;
}edge[maxm+10];

int head[maxn+10],tot;
void add_edge(int from,int to)  // 1-tot 是有效值； 
{
    edge[++tot].next=head[from];
    edge[tot].to=to;
    head[from]=tot;
};

int dfn[maxn+10],low[maxn+10];
// dfn[u] : 在dfs序中，访问顶点u的时间戳；
// low[u] : u点及它的子树，通过回边；所能返回的最早时间戳结点；
 
int stack[maxn+10]; // 一维数组模拟栈 
bool instack[maxn+10];// 顶点是否在栈 
int top=0;

int n,m,cnt;//  tot记录边数，cnt记录强联通分量个数 
int time;  // 时间戳 

void tarjan_scc(int u)
{
    dfn[u]=low[u]=++time;
    // dfn[]： 不会改变;  low[]:有可能会变小； 
    stack[++top]=u;
    instack[u]=1;
    for(int i=head[u];i;i=edge[i].next) 
    {
        int v=edge[i].to;
        if(!dfn[v])   // 树边   v点没访问过 ：dfn[v]==0 
        {
            tarjan_scc(v);
            low[u]=min(low[u],low[v]);
        }
        else          // 回边 
        {
            if(instack[v]==1)
            {
                low[u]=min(low[u],dfn[v]);
            }
        }
    }
    if(dfn[u]==low[u])   // 全局，又找到一个强联通分量 
    {
        cnt++;
        int x=stack[top--];
        instack[x]=0;
        while(x!=u)
        {
            x=stack[top--];
            instack[x]=0;
        }
    }
    return ;
}
// hdu 1269 的一个测试样例的代码 
int main()
{
    while(cin>>n>>m,n||m)  // n==0  并且 m==0  结束 
    {
        cnt=0; 
        for(int i=1;i<=m;i++)
        {
            int x,y;
            cin>>x>>y;
            add_edge(x,y);
        }
        for(int i=1;i<=n;i++) // 防止图不连通 
        {
            if(!dfn[i])
            {
                tarjan_scc(i);
            }
        }
        if(cnt==1)
        {
            cout<<"Yes"<<endl;
        }
        else
        {
            cout<<"No"<<endl;
        }
    }
    return 0;
}