tarjan缩点-受欢迎的牛-笔记

tarjan模板？emmmm，洛谷P2341。一些对于模板的解释在代码注释里。

#include<cstdio>///板子借鉴自hzwer ，%%%hzwer 
#include<cstring> 
#include<cstdlib> 
#include<cmath>
#include<algorithm>
#define MAXN 10005
#define MAXM 50005
using namespace std;
struct data{
	int to,next;
}e[MAXM],d[MAXM];
int head[MAXN];
int n,m,cnt,top;
int dfn[MAXN],low[MAXN],q[MAXN];
int scc,h[MAXN],belong[MAXN],hav[MAXN];
bool vis[MAXN],inq[MAXN];
int ans;
void dfs(int a){
	int now;
	vis[a]=inq[a]=1;
	low[a]=dfn[a]=++cnt;
	q[++top]=a;
	int c=head[a];
	while(c){///找爸爸 找爸爸 
		if(!vis[e[c].to ]){
			dfs(e[c].to );
			low[a]=min(low[a],low[e[c].to ]);
		}
		else if(inq[e[c].to ]) low[a]=min(low[a],dfn[e[c].to ]);
		c=e[c].next ;
	}
    if(low[a]==dfn[a]){如果a就是SCC的根 
    	scc++;
    	while(now!=a){把这个SCC出栈 
    		now=q[top--];
    		inq[now]=0;
    		belong[now]=scc;
    		++hav[scc];
		}
	}
}
void rebuild(){///SCC找完了，重新建图
	cnt=0;     
	for(int i=1;i<=n;i++){
		int c=head[i];
		while(c){当i还有出度的时候 
			if(belong[i]!=belong[e[c].to]){
			 d[++cnt].to =belong[e[c].to ];
			 d[cnt].next =h[belong[i]];
			 h[belong[i]]=cnt;
		    }
		    c=e[c].next ;
        }
    }
} 
void tarjan(){
	for(int i=1;i<=n;i++) if(!vis[i]) dfs(i);
	rebuild();
}
void work(){
	for(int i=1;i<=scc;i++)
	  if(!h[i]){/避免出现多个叶子节点 
	  	if(ans){
		 ans=0;return; 
	    }
		else ans=hav[i];
	  }
	
}
int main(){
	scanf("%d%d",&n,&m);
	int a,b;
	for(int i=1;i<=m;i++){
		scanf("%d%d",&a,&b);
		e[++cnt].to =b;
		e[cnt].next =head[a];
		head[a]=cnt;
	}
	tarjan();
	work();
	printf("%d",ans);
	return 0;
}