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