有向图的强连通分量

有向图的强连通分量就是指在一张有向图中，存在一个子图，子图之间的任意两个点可以直接或者间接的到达另一个点，那么就说明这个子图是原图的一个联通分量，最大的那个就是强连通分量；
求出一个图的强连通分量，能对这个图进行缩点，从而让这个图变成一个有向无环图，因为如果缩点之后还有环，那么那个环就是一个连通分量，说明缩的不够彻底；
有向无环图就能进行topo排序；

求强连通分量的一个常见的方法就是太君TARJAN算法；就是说，你在DFS遍历整张图的时候，每次都把这个点的DFS序，然后把这个点能继续遍历到的最早的DFS序的点给记录下来；
然后dfn[u]==low[u]的点就是最早被遍历到的那个连通分量中的一个点；
用一道题目来讲下这个题；

受欢迎的牛

这个题目很显然了；
先要求一下这个图中的强连通分量，然后进行缩点；
然后求一下出度为0的点的个数；
这道题不能直接求出度为0的点，因为有可能存在几个点是孤立的，如果有两个和以上的连通分量出度为0那么说明是不可能存在有这样一个点的；
所以最后的图一定是一张DAG并且非答案每个联通分量都会指向另一个连通分量；

代码

#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;
const int N = 10010, M = 50010;
int n, m;
int h[N], e[M], ne[M], idx;
int dfn[N], low[N], timestamp;
int stk[N], top;
bool in_stk[N];
int id[N], scc_cnt, Size[N];
int dout[N];
void add(int a, int b){
   
    e[idx] = b, ne[idx] = h[a], h[a] = idx ++ ;
}void tarjan(int u){
   
    dfn[u] = low[u] = ++ timestamp;
    stk[ ++ top] = u, in_stk[u] = true;
    for (int i = h[u]; i != -1; i = ne[i]){
   
        int j = e[i];
        if (!dfn[j]){
   
            tarjan(j);
            low[u] = min(low[u], low[j]);
        }
        else if (in_stk[j]) low[u] = min(low[u], dfn[j]);
    }//上面一行的意思就是说可能j是u的一个横向枝，因为到不了那个横向枝的上面所以只能用dfn[j];
    if (dfn[u] == low[u]){
   
        ++ scc_cnt;
        int y;
        do {
   //用stack的数据结构符合深搜的逻辑；
            y = stk[top -- ];
            in_stk[y] = false;
            id[y] = scc_cnt;
            Size[scc_cnt] ++ ;
        } while (y != u);
    }
}
int main()
{
   
    scanf("%d%d", &n, &m);
    memset(h, -1, sizeof h);
    while (m -- ){
   
        int a, b;
        scanf("%d%d", &a, &b);
        add(a, b);
    }
    for (int i = 1; i <= n; i ++ )
        if (!dfn[i])
            tarjan(i);
    for (int i = 1; i <= n; i ++ )
        for (int j = h[i]; ~j; j = ne[j]){
   
            int k = e[j];
            int a = id[i], b = id[k];
            if (a != b) dout[a] ++ ;
        }
    int zeros = 0, sum = 0;
    for (int i = 1; i <= scc_cnt; i ++ )
        if (!dout[i]){
   
            zeros