求强连通分量的著名算法:Kosaraju算法,Gabow算法和Tarjan算法。其中Kosaraju算法要对原图和逆图都进行一次DFS,而另外两种算法只要进行一次DFS即可。[i]文是介绍Gabow算法的论文。
17.1 Kosaraju算法
Kosaraju算法虽然要进行两次DFS,但是复杂度仍然是O(V+E),而且比较容易理解。
17.1.1 实例
PKU JudgeOnline, 2186, Popular Cows.
17.1.2 问题描述
有一群牛,总数为N。给出牛之间的M个仰慕关系,该关系可以传递,比如:1仰慕2,2仰慕3,那么1也仰慕3,如果一头牛被所有的牛都仰慕,那么它将是最受欢迎的牛,求出有多少牛是最受欢迎的。
先输入N、M,再输入M个仰慕关系。
17.1.3 输入
33
12
21
2 3
17.1.4 输出
1
17.1.5 分析
先对图求强连通分支,将所有强连通子图合并为一个结点,形成一个新图。
不难证明:在图中,如果将强连通分支看做一个结点,那么如果该结点出度不为0,则该SCC中的牛不是被所有牛仰慕的牛。反证法即可证明。
更进一步,不难证明:如果图中有牛被所有牛仰慕,那么有且只有一个出度为0的,且从图中的任何一个结点都能到达(连通性)的SCC,该SCC包含被所有牛仰慕的牛。反证法可以证明。
也可以知道:如果超过一个SCC的出度为0,那么连通性得不到保障。
可以证明:存在所有牛仰慕的牛,当且仅当出度为0的SCC有且只有一个。“仅当”很容易证明,下面证明“当”。假设只有一个SCC出度不为0时,但是却不存在所有牛仰慕的牛。那么必然意味着,有结点不能到达该SCC。因为如果所有结点都能到达该SCC,那么很自然的该SCC就是包含所有被其它所有牛仰慕的牛。在不能到达该SCC的结点中至少存在一个结点,其出度为0。因为如果所有结点的出度都不为0,那么所有结点必然形成一个环。形成环的结点在构造强连通分支的时候是要合并在一起的,矛盾。所以必然至少存在一个结点,其出度为0。假设和结果矛盾,故此,命题得证。
所以要求被所有牛仰慕的牛的个数,只需要求强连通分支,然后统计出度为0的个数。如果个数不为1则输出0。然后找到出度为0的那个SCC,。如果能就输出该SCC的牛的个数。
1.1.6 程序
#include <stdio.h>
#include <string.h>
#define G_size 100000 //边的最大个数
#define V_size 11000 //点的最大个数
typedef struct Graph
{
int id;//记录了结点的序号
int next;
}Graph;
typedef struct Edge
{
int s, e;
}Edge;
EdgeE[G_size];
GraphGA[G_size];
GraphGT[G_size];
int N, M;
int G_end;
int order[V_size];
int id[V_size];//在逆序的时候记录了SCC的序号
int vis[V_size];//遍历图的时候使用
int in[V_size];//计算反向SCC图的入度,也就是逆向之前的SCC图出度
int cnt, scnt, pos;
void Insert(int s, int e) //建立原图和逆图
{
int p;