poj 2186 Popular Cows (tarjan + 缩点)

题意 ：n头奶牛，m组关系（a b代表a认为b受欢迎）。求最后有多少头奶牛所有奶牛都认为它受欢迎。

思路：首先用tarjan算出连通分支数，将所有点都标上所属连通分支color。将每个分支看做一个点，若某点a受到另一点b联系，则说明该点a代表的连通分支中每个原始点都受到b中以及所有认为b受欢迎的点的欢迎，所以此处用dfs计算出每个分支中被多少人欢迎。

代码（比较繁琐）：

#include<iostream>
#include<string.h>
#define size 10010
using namespace std;
struct E
{
     int v, next;
}e[size*5],e1[size*5];
int head[size],in[size],stack[size] ,head1[size];
int dfn[size], low[size];
int num[size] ,rd[size], lian[size]; 
int top ,top1 , s ,color , step ,sum;
int n,m;

void init()
{
    for(int i=0;i<size;i++)
    {
        head[i]=head1[i]=-1;
        in[i]=stack[i]=dfn[i]=low[i]=num[i]=lian[i]=0;
    }
    step=top=top1=color=0;  s=-1;
}
void insert(int u , int v)
{
    e[top].v=v;  e[top].next=head[u];  head[u]=top++;
}
void insert1(int u , int v)
{
    e1[top1].v=v;  e1[top1].next=head1[u];  head1[u]=top1++;
} 
void tarjan(int u)
{
    int v;
    dfn[u]=low[u]=++step;
    in[u]=1;  
    stack[++s]=u;
    for(int i=head[u];i!=-1;i=e[i].next)
    {
        v=e[i].v;
        if(!dfn[v])
        {
            tarjan(v);
            if(low[v]<low[u]) low[u]=low[v];
        }
        else if(in[v] && dfn[v]<low[u])  low[u]=dfn[v];
    }
    if(dfn[u]==low[u])
    {
        color++;   int c=0;          //  cout<<endl<<"color "<<color<<" :  "<<endl;
        do
        {
            v=stack[s--];   
            in[v]=0;
            lian[v]=color;                 //cout<<v<<"  ";
            c++;
        }while(u!=v);
        num[color]=c;
    }
} 
void dfs(int u)//连通分支u受到(xn-->...-->x1-->v-->u)所有v以及xi分支中所有原始点的欢迎。 
{
     for(int i=head1[u];i!=-1;i=e1[i].next)
     {
         int v=e1[i].v;
         if( !low[ v])
         {                         // cout<<u<<"-------"<<v<<endl;
            low[v]=1;  dfs(v);
            sum+=num[v];
         } 
     }
}

int countRd()
{
    int max=0 , t=0;    //cout<<"color= "<<color<<endl; 
     for(int i=1;i<=n;i++)
    {
        for(int j=head[i]; j!=-1; j=e[j].next)
        {
           int v=e[j].v; // cout<<i<<"************"<<v<<endl;
           if(lian[i]!=lian[v])
           {
               insert1(lian[v],lian[i]);  //用e1记录每个连通分支间的关系。 
           }
        }
    } 
    for(int i=1;i<=color;i++) 
    {          
        rd[i]=0; //cout<<"rd["<<i<<"]=****= "<<rd[i]<<endl;
        sum=rd[i];  for(int j=1;j<=color;j++)  low[j]=0;
        dfs(i);
        rd[i]=sum+num[i] ;  // cout<<"rd["<<i<<"]= "<<rd[i]<<endl;
    } 
    for(int i=1;i<=color;i++)
    {
        if(rd[i]==n)  t+=num[i]; 
    } 
    return t;
}
int main()
{
    int a, b;
    while(scanf("%d%d",&n,&m)!=EOF)
    {
         init();
   
         for(int i=0;i<m;i++)
         {
             scanf("%d%d",&a,&b);
             if(a!=b)
             insert(a, b); 
         }
         for(int i=1;i<=n;i++)
         if(!dfn[i])  tarjan(i);      // cout<<"n= "<<n<<endl; 
         printf("%d\n",countRd());
    }
    return 0;
}

测试数据：

input
3 3
1 2
2 3
3 1

3 3
1 2
2 1
2 3

5 4
1 4
2 4
3 4
5 4

5 5
1 2
2 3
3 1
1 4
4 5

5 6
1 2
2 3
3 1
1 4
4 5
5 3

2 2
1 2
2 1

3 2
1 2
2 1

6 6
1 2
2 3
3 1
1 4
4 5
5 3

5 6
1 2
2 3
3 1
1 4
4 5
5 4

5 7
4 1
1 2
2 3
3 1
1 4
4 5
5 4

5 6
1 2
2 3
3 1
1 4
4 5	
5 1

7 9
1 2
2 3
3 1
4 5
5 6
6 4
4 7
7 1
1 7

6 6
1 2
2 3
3 1
4 5
5 6
6 4

4 4
1 2
2 3
3 1
1 4

4 4
1 2
2 3
3 1
4 1

5 6
1 2
2 3
3 1
5 1
5 4
3 4

7 9
1 2
2 3
3 1
5 1
5 4
3 4
4 7
7 6
6 4

output
3
1
1
1
5
2
0
0
2
5
5
4
0
1
3
1
3