题目：http://poj.org/problem?id=2186
本题是缩点模板题，将强连通分量缩成一个点，从而形成一个有向无环图，当仅有一个出度为0的点时答案即此点的大小，否则无解。
代码如下：
#include<iostream> #include<cstdio> using namespace std; int n,m,a,b,dfn[10005],low[10005],ct,cnt[10005],hp[10005],p,s[10005],ans,tim; int col[10005],cr,rd[10005],cd[10005],siz[10005]; bool vis[10005],lin[10005][10005],fl[10005]; struct N{ int hd;int to;int next; }edge[50005]; void add(int x,int y) { ct++; edge[ct].hd=x; edge[ct].to=y; edge[ct].next=cnt[x]; cnt[x]=ct; } void tarjan(int x) { vis[x]=1; hp[++p]=x; dfn[x]=++tim;low[x]=dfn[x]; for(int i=cnt[x];i;i=edge[i].next) { int v=edge[i].to; if(!dfn[v]) { tarjan(v); low[x]=min(low[x],low[v]); } else if(vis[v]) { low[x]=min(low[x],low[v]); } } if(dfn[x]==low[x]) { cr++; vis[x]=0; int k=0; while(hp[p]!=x) { vis[hp[p]]=0; col[hp[p]]=cr; p--; k++; } col[x]=cr; p--;k++; s[cr]=k; siz[cr]=k; } } void ser(int nw,int jl) { s[nw]+=jl; if(!cd[nw])return; int k=0; for(int i=1;i<=n;i++) { if(k==cd[nw])break; if(lin[nw][i]) { if(!fl[nw])ser(i,s[nw]);//不是jl+s[nw]! else ser(i,jl); k++; } } fl[nw]=1; } int main() { scanf("%d%d",&n,&m); for(int i=1;i<=m;i++) { scanf("%d%d",&a,&b); add(a,b); } for(int i=1;i<=n;i++) if(!dfn[i])tarjan(i); for(int i=1;i<=ct;i++) { int u=edge[i].hd; int v=edge[i].to; if(col[u]!=col[v]) lin[col[u]][col[v]]=1,rd[col[v]]++,cd[col[u]]++; } int kt=0;int bh; for(int i=1;i<=cr;i++) if(!cd[i])kt++,bh=i; if(kt==1)printf("%d",siz[bh]); else printf("0"); // for(int i=1;i<=cr;i++) // if(!rd[i])ser(i,0); // for(int i=1;i<=n;i++) // if(s[col[i]]>=n)ans++;//>= // printf("%d",ans); return 0; }
其中注释掉的部分以及dfs的部分是不使用上述结论的暴力枚举；
但有一出不解：即第96行判断条件若是“==n”则有些有解的情况输出0导致WA，不知何故。