洛谷 P2746 [USACO5.3]校园网Network of Schools 强连通分量 缩点 tarjan

题目链接：

https://www.luogu.org/problem/P2746

参考博客：

https://www.luogu.org/blog/top-oier/solution-p2746

1：强烈推荐再次认真细读该博客，思路分析十分到位，这里我就不再细讲

注意：

1：color数组存的是每一个节点的颜色，在同一个连通分量中的点颜色相同

2：缩点以后，可以保证图里没有环，只有链，因此此时id[maxn]入度数组存的是每一个连通分量的入度，而不是一个单一节点的入度

3：核心步骤解释：牢记此时考虑的对象是连通分量，不是单独一个节点

if(color[i]!=color[e[i][j]]&&ee[color[i]].find(color[e[i][j]])==ee[color[i]].end())
            {
                ee[color[i]].insert(color[e[i][j]]);
                id[color[e[i][j]]]++;
            }

      如果父节点与子节点所处在不同的连通分量中，即颜色不同，并且父连通分量存子连通分量的集合set中还没有放入该子连通分量的颜色，则把该颜色放入父连通分量的set中，并且子连通分量的入度加1

#include <bits/stdc++.h>

using namespace std;
const int maxn=101;
vector<int>e[maxn];
set<int>ee[maxn];
int dfn[maxn],low[maxn],ins[maxn],color[maxn],timing,cnt,n,id[maxn];
stack<int>s;

void tarjan(int x)
{
    low[x]=dfn[x]=++timing;
    s.push(x);
    ins[x]=1;
    for(int i=0;i<e[x].size();i++)
    {
        int v=e[x][i];
        if(!dfn[v])
        {
            tarjan(v);
            low[x]=min(low[x],low[v]);
        }
        else if(ins[v])
        {
            low[x]=min(low[x],dfn[v]);
        }
    }
    if(dfn[x]==low[x])
    {
        cnt++;
        while(s.top()!=x)
        {
            color[s.top()]=cnt;
            ins[s.top()]=0;
            s.pop();
        }
        color[s.top()]=cnt;
        ins[s.top()]=0;
        s.pop();
    }
}

int main()
{
    ios::sync_with_stdio(0);
    cin>>n;
    for(int i=1;i<=n;i++)
    {
        int x;
        while(cin>>x&&x)
        {
            e[i].push_back(x);
        }
    }
    for(int i=1;i<=n;i++)
    {
        if(!dfn[i])
            tarjan(i);
    }
    for(int i=1;i<=n;i++)
    {
        for(int j=0;j<e[i].size();j++)
        {
            if(color[i]!=color[e[i][j]]&&ee[color[i]].find(color[e[i][j]])==ee[color[i]].end())
            {
                ee[color[i]].insert(color[e[i][j]]);
                id[color[e[i][j]]]++;
            }
        }
    }
    int idans=0,odans=0;
    for(int i=1;i<=cnt;i++)
    {
        if(id[i]==0)idans++;
        if(ee[i].size()==0)odans++;
    }
    if(cnt==1)
        cout<<1<<endl<<0<<endl;
    else
        cout<<idans<<endl<<max(idans,odans)<<endl;
    return 0;
}