我们可以先求出强连通分量,然后用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; }