就是一道tarjan縮點的板子，之前在洛谷做過。但是我發現一個事，就是函數裏面有一句話：

void tarjan(int x)
{
    dfn[x] = low[x] = ++tot;
    str[++top] = x;
    vis[x] = 1;
    for(int k = lst[x];k;k = a[k].nxt)
    {
        int y = a[k].r;
        if(!dfn[y])
        {
            tarjan(y);
            low[x] = min(low[x],low[y]);
        }
        
 
else if(vis[y])
        {
            low[x] = min(low[x],dfn[y]);
        }
    }
    if(low[x] == dfn[x])
    {
        ans++;
        int v;
        do
        {
            num[ans]++;
            vis[str[top]] = 0;
            v = str[top--];
            col[v] = ans;
        }
        
 
while(x != v);
    }
}

其中有一段：

if(!dfn[y])
        {
            tarjan(y);
            low[x] = min(low[x],low[y]);
        }
        else if(vis[y])
        {
            low[x] = min(low[x],dfn[y]);
        }

但是變成：

if(!dfn[y])
        {
            tarjan(y);
            low[x] 
 
= min(low[x],low[y]);
        }
        else if(vis[y])
        {
            low[x] = min(low[x],low[y]);
        }

也是能AC的，然後我又試了一開始的那個板子題，直接改好像也可以。。。為什麽，或者這麽寫到底對不對，有人知道嗎？歡迎大佬指點。

題幹：

Description
　　每一頭牛的願望就是變成一頭最受歡迎的牛。現在有N頭牛，給你M對整數(A,B)，表示牛A認為牛B受歡迎。 這
種關系是具有傳遞性的，如果A認為B受歡迎，B認為C受歡迎，那麽牛A也認為牛C受歡迎。你的任務是求出有多少頭
牛被所有的牛認為是受歡迎的。
Input
　　第一行兩個數N,M。 接下來M行，每行兩個數A,B，意思是A認為B是受歡迎的（給出的信息有可能重復，即有可
能出現多個A,B）
Output

　　一個數，即有多少頭牛被所有的牛認為是受歡迎的。
Sample Input
3 3

1 2

2 1

2 3
Sample Output
1
HINT

100%的數據N<=10000,M<=50000

代碼：

#include<iostream>
#include<cstdio>
#include<cmath>
#include<ctime>
#include<queue>
#include<algorithm>
#include<cstring>
using namespace std;
#define duke(i,a,n) for(int i = a;i <= n;i++)
#define lv(i,a,n) for(int i = a;i >= n;i--)
#define clean(a) memset(a,0,sizeof(a))
const int INF = 1 << 30;
typedef long long ll;
typedef double db;
template <class T>
void read(T &x)
{
    char c;
    bool op = 0;
    while(c = getchar(), c < ‘0‘ || c > ‘9‘)
        if(c == ‘-‘) op = 1;
    x = c - ‘0‘;
    while(c = getchar(), c >= ‘0‘ && c <= ‘9‘)
        x = x * 10 + c - ‘0‘;
    if(op) x = -x;
}
template <class T>
void write(T x)
{
    if(x < 0) putchar(‘-‘), x = -x;
    if(x >= 10) write(x / 10);
    putchar(‘0‘ + x % 10);
}
int lst[50010],dfn[50010],low[50010],n,m,tot = 0,str[50010],top = 0,vis[50010];
int num[50010],chu[50010],col[50010],len = 0,ans;
struct node
{
    int l,r,nxt;
}a[50010];
void add(int x,int y)
{
    a[++len].l = x;
    a[len].r = y;
    a[len].nxt = lst[x];
    lst[x] = len;
}
void tarjan(int x)
{
    dfn[x] = low[x] = ++tot;
    str[++top] = x;
    vis[x] = 1;
    for(int k = lst[x];k;k = a[k].nxt)
    {
        int y = a[k].r;
        if(!dfn[y])
        {
            tarjan(y);
            low[x] = min(low[x],low[y]);
        }
        else if(vis[y])
        {
            low[x] = min(low[x],dfn[y]);
        }
    }
    if(low[x] == dfn[x])
    {
        ans++;
        int v;
        do
        {
            num[ans]++;
            vis[str[top]] = 0;
            v = str[top--];
            col[v] = ans;
        }
        while(x != v);
    }
}
int main()
{
    read(n);read(m);
    int x,y;
    duke(i,1,m)
    {
        read(x);read(y);
        add(x,y);
    }
    duke(i,1,n)
    {
        if(!dfn[i])
        tarjan(i);
    }
    duke(i,1,n)
    {
        for(int k = lst[i];k;k = a[k].nxt)
        {
            if(col[a[k].l] != col[a[k].r])
            {
                chu[col[a[k].l]]++;
            }
        }
    }
    int tot = 0,f = 0;
    duke(i,1,ans)
    {
        if(chu[i] == 0)
        {
            tot ++;
            f = i;
        }
        if(tot >= 2)
        {
            puts("0");
            return 0;
        }
    }
    printf("%d\n",num[f]);
    return 0;
}

B1051 受歡迎的牛 tarjan縮點