【题解】P2341 受欢迎的牛（tarjan缩点）

这个题运用到了缩点技巧，tarjan里我们记录下缩后的点的序号，对于每一个强连通分量来说，当栈顶元素不等于根节点时，我们将其出栈，记录下那个点的染色数组=新序号，并将新序号所包含的节点个数++（也就是记录这个强连通分量里有多少个结点）；由于强连通分量里的每个数都可以互相到达，那他们所代表的牛都是互相爱慕的，可以缩点。对于每一个染色后的结点，我们求他不包含缩点后的强连通分量的出度，并记录这个出度为0的个数。倘若这个出度为0的个数不是1，那就不存在明星奶牛，因为这几个出度为0的点所代表的牛不能互相爱慕。如果个数是1，那就在染色后的结点中寻找唯一那个出度为0的点，输出它所饱含的节点个数（1或者是一个环状强连通分量的结点数），就代表有多少头明星奶牛。

#include<cstdio>
#include<iostream>
using namespace std;
const int maxn=10010;
const int maxm=50010;
int n,m;
int head[maxn],nnext[maxm],to[maxm];
int tot,index,top,ink,du0;
int stack[maxn];
bool b[maxn],instack[maxn];
int dfn[maxn],low[maxn],color[maxn],cnt[maxn],du[maxm];
void add(int x,int y)
{
	tot++;
	nnext[tot]=head[x];
	head[x]=tot;
	to[tot]=y;
}
void tarjan(int x)
{
	dfn[x]=low[x]=++index;
	stack[++top]=x;
	b[x]=instack[x]=true;
	for(int i=head[x];i;i=nnext[i])
	{
		int y=to[i];
		if(!b[y])
		{
			tarjan(y);
			low[x]=min(low[x],low[y]);
		}
		else if(instack[y])
		{
			low[x]=min(low[x],low[y])