【连通性，度数，拓扑】【tarjan缩点求出度为零的点的个数】POJ2186 Popular Cows

【题目】http://poj.org/problem?id=2186

【题意】一个牛认为另一个牛很强，并且a认为b强，b认为c强，a也会认为c强。问有多少个牛被所有人认为很强

【思路】tarjan模板。另外要注意缩点之后，如果不只有1个出度为0的点的话，就会没有最强的牛。

【参考】https://blog.csdn.net/u010885899/article/details/47254707

【tarjan】https://blog.csdn.net/qq_34374664/article/details/77488976

【代码】

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
const int M=50005;
int n,m;
int head[M];
class node
{
public:
    int v,next;
};
node edge[M];
int ei;
int Stack[M],si;
int DFN[M],LOW[M],tot;
int inthestack[M];
int scc;
int belong[M];

void tarjan(int x)
{
    Stack[++si]=x;
    inthestack[x]=1;
    DFN[x]=LOW[x]=++tot;
    for(int i=head[x]; i!=-1; i=edge[i].next)
    {
        int& t=edge[i].v;
        if(!DFN[t])
        {
            tarjan(t);
            LOW[x]=min(LOW[x],LOW[t]);
        }
        else if(DFN[t]&&inthestack[t])
        {
            LOW[x]=min(LOW[x],DFN[t]);
        }
    }
    if(DFN[x]==LOW[x])
    {
        scc++;
        do
        {
            belong[Stack[si]]=scc;
            inthestack[Stack[si]]=0;
            si--;
        }
        while(x!=Stack[si+1]);
    }
    return;
}

void addedge(int u,int v)
{
    edge[++ei].v=v;
    edge[ei].next=head[u];
    head[u]=ei;
    return;
}

void init()
{
    memset(head,-1,sizeof(head));
    memset(inthestack,0,sizeof(inthestack));
    memset(LOW,0,sizeof(LOW));
    memset(DFN,0,sizeof(DFN));
    scc=tot=ei=si=0;
    return;
}


int main()
{
    while(~scanf("%d",&n))
    {
        scanf("%d",&m);
        init();
        for(int i=0; i<m; i++)
        {
            int a,b;
            scanf("%d%d",&a,&b);
            addedge(a,b);
        }
        for(int i=1; i<=n; i++)
        {
            if(!DFN[i])
                tarjan(i);
        }

        ///比刚才的要骚的写法，（大佬太强了），枚举所有的边，如果跨越了两个强连通，那么出来的那头一定不合题意。
        ///标记这个强连通。最后从1到b扫一遍点如果他的强连通没有被标记就要输出。79MS
        bool book[M]= {0};
        for(int i=1; i<=n; i++)
        {
            for(int j=head[i]; j!=-1; j=edge[j].next)
            {
                int &t=edge[j].v;
                if(belong[i]!=belong[t])
                {
                    book[belong[i]]=1;
                }
            }
        }
        int t=-1,ans=0;
        for(int i=1; i<=n; i++)
        {
            if(book[belong[i]]==0)
            {
                t=belong[i];
                break;
            }
        }
        if(t==-1){printf("0\n");continue;}
        for(int i=1; i<=n; i++)
        {
            if(book[belong[i]]==0&&belong[i]!=t)
            {
                ans=-1;
                break;
            }
        }
        for(int i=1; i<=n; i++)
        {
            if(ans==-1)break;
            if(book[belong[i]]==1)
                continue;
            ans++;
        }
        if(ans==-1)printf("0\n");
        else printf("%d\n",ans);
    }

}