POJ 2186 强连通+缩点

每头牛的梦想是成为最流行的牛在羊群。在一群N(1 < = N < = 10000)牛,你是放弃对M(1 < = M < = 50000)下令对表单(a,B)告诉你,牛一个认为牛B是受欢迎的。因为流行是及物动

词,如果认为B是流行和B认为C是受欢迎的,那么也会认为C

受欢迎的,即使这不是显式地指定一个有序对,在输入。你的任务是计算数量的牛,被认为是受欢迎的,每一个其他的牛。

楼上是有道翻译。。意思就是  一些牛，如果a ->b 就表示a  仰慕 b ,那么b就是受a欢迎的，如果a ->b ,b->c ,那么a 也仰慕c .

然后问你有几只牛被所有牛仰慕 （神牛YM神牛的题目）

#include <iostream>
#include <cstdio>
#include <algorithm>
#include <string>
#include <cmath>
#include <cstring>
#include <queue>
#include <set>
#include <vector>
#include <stack>
#include <map>
#include <iomanip>
#define PI acos(-1.0)
#define Max 100005
#define inf 1<<28
#define LL(x) (x<<1)
#define RR(x) (x<<1|1)
#define FOR(i,s,t) for(int i=(s);i<=(t);++i)
#define ll long long
#define mem(a,b) memset(a,b,sizeof(a))
#define mp(a,b) make_pair(a,b)
using namespace std;


int dfn[Max] ;
int low[Max] ;
int st[Max] ;
int belong[Max] ;
bool vis[Max] ;
int head[Max] ;
int dp = 0 ;
int tp = 0 ;
int num = 0 ;
int num1 = 0 ;
int in[Max] ;
int out[Max] ;
int cnt[Max] ;
struct kdq
{
    int e ,l ,next ;
} ed[Max] ;


void add(int a,int b )
{
    ed[num1].e = b ;
    ed[num1].next = head[a] ;
    head[a] = num1 ++ ;
}
void init()
{
    mem(in,0) ;
    mem(out,0) ;
    mem(dfn,-1) ;
    mem(low,0) ;
    mem(vis,0) ;
    mem(st,0) ;
    mem(belong , 0 ) ;
    mem(head,-1) ;
    mem(cnt,0) ;
    dp = 0 ;
    tp = 0 ;
    num = 0 ;
    num1 = 0 ;
}
void tarjan(int now)//tarjan
{
    dfn[now] = low[now] = dp ++ ;
    st[tp ++ ] = now ;
    vis[now] = 1 ;
    for (int i = head[now] ; i != -1 ; i = ed[i].next )
    {
        int v = ed[i].e ;
        if(dfn[v] == -1)
        {
            tarjan(v) ;
            low[now] = min(low[now],low[v]) ;
        }
        else if(vis[v])
        {
            low[now] = min(low[now] ,dfn[v]) ;
        }
    }
    if(low[now] == dfn[now])
    {
        int tt ;
        num ++ ;
        do
        {
            tt = st[-- tp] ;
            vis[tt] = 0 ;
            belong[tt] = num ;
            cnt[num] ++ ;
        }
        while(tt != now) ;
    }
}
int main()
{
    int n ,m ;
    while(cin >> n >> m)
    {
        init() ;
        while( m -- )
        {
            int a , b ;
            cin >> a >> b ;
            add(a,b) ;
        }
        for (int i = 1 ; i <= n ; i ++)
            if(dfn[i] == -1)tarjan(i) ;
        for (int i = 1 ;i <= n ;i ++)
        {
            for (int j = head[i] ;j != -1 ;j = ed[j].next )//求出每个强连通分量的入度和出度。x -> y
            {
                int x = belong[i] ;
                int y = belong[ed[j].e] ;
                if(x != y)
                {
                    out[x] = 1 ;
                    in[y] = 1 ;
                }
            }
        }
        int ans = 0 ;
        int index = -1 ;
        for (int i = 1 ; i <= num ;i ++)
        {
            if(out[i] == 0)
            {
                ans ++ ;
                index = i ;
            }
        }
        if(num == 1)//证明是一个强连通图，所以都可以互相到达
        cout <<n <<endl;
        else if(ans >= 2)//证明有2个及以上的独立强连通分量 ，所以必然不能到达
        cout <<0<<endl;
        else//输出该分量的个数
        {
            cout<<cnt[index]<<endl;
        }

    }
    return 0;
}