我们可以先求出强连通分量,然后用num数组记录每个强连通分量里面的顶点数,若有强连通分量里的顶点数超过1,就输出NO,否则就输出YES。
#include <stdio.h>
#include <iostream>
#include <algorithm>
#include <string.h>
#include <math.h>
#include <queue>
#include <stack>
#include <vector>
#include <ctype.h>
#define INF 999999999
#define M 105
#define LL long long
using namespace std;
vector<int> G[M];
//dfn数组表示dfs时到达i点的时间,indx表示时间
int dfn[M],low[M],sccno[M],scc_cnt;
int indx;
int num[M];
stack<int> s;
void Tarjan(int u)
{
indx++;
dfn[u]=low[u]=indx; //为结点u设定次序编号和low初值
s.push(u); //将结点u压入栈中
for(int i=0;i<G[u].size();i++) //枚举每条边
{
int v=G[u][i];
if(!dfn[v]) //若结点v未被访问过
{
Tarjan(v); //继续往下找
low[u]=min(low[u],low[v]);
}
else if(!sccno[v]) //若结点v在栈中
{
low[u]=min(low[u],dfn[v]);
}
}
//缩点:
if(low[u]==dfn[u]) //如果结点u是强连通分量的根
{
scc_cnt++;
for(;;)
{
int x=s.top(); //讲v退栈,为该强连通分量中一个顶点
s.pop();
sccno[x]=scc_cnt;
num[scc_cnt]++; //记录每个强连通分量的结点数
if(x==u)
break;
}
}
}
void find_scc(int n)
{
indx=scc_cnt=0;
memset(num,0,sizeof(num));
memset(sccno,0,sizeof(sccno));
memset(dfn,0,sizeof(dfn));
for(int i=0;i<n;i++)
if(!dfn[i])
Tarjan(i);
}
int main()
{
int n,m;
while(scanf("%d%d",&n,&m)!=EOF)
{
if(n==0 && m==0)
break;
for(int i=0;i<n;i++)
G[i].clear();
for(int i=0;i<m;i++)
{
int u,v;
scanf("%d%d",&u,&v);
G[u].push_back(v);
}
find_scc(n);
int flag=0;
for(int i=1;i<=scc_cnt;i++)
{
if(num[i]>1)
{
flag=1;
break;
}
}
if(flag==1)
printf("NO\n");
else
printf("YES\n");
}
return 0;
}