强连通份量（超详细！！！）

1、定义

在有向图G中，若是两个顶点u，ｖ间有一条从ｕ到ｖ的有向路径，同时还有一条从ｖ到ｕ的有向路径，则称两个顶点强连通。若是有向图G的每两个顶点都强连通，称G是一个强连通图。有向非强连通图的极大强连通子图，称为强连通份量。

图中，子图{1,2,3,4}为一个强连通份量，由于顶点1,2,3,4两两可达。{5},{6}也分别是两个强连通份量。

2、tarjan算法 时间复杂度是O(N+M)

四条边：

树枝边：DFS时通过的边，即DFS搜索树上的边。

前向边：与DFS方向一致，从某个结点指向其某个子孙的边。

后向边：与DFS方向相反，从某个结点指向其某个祖先的边。（返祖边）

横叉边：从某个结点指向搜索树中的另外一子树中的某结点的边。

 

Tarjan算法是基于对图深度优先搜索的算法，每一个强连通份量为搜索树中的一棵子树。搜索时，把当前搜索树中未处理的节点加入一个堆栈，回溯时能够判断栈顶到栈中的节点是否为一个强连通份量。 定义DFN(u)为节点u搜索的次序编号(时间戳)，Low(u)为u或u的子树可以追溯到的最先的栈中节点的次序号。 由定义能够得出，Low(u)=Min {Low(u), Low(v) } (u,v)为树枝边，u为v的父节点 . Low(u)=Min {Low(u), DFN(v) } DFN(v),(u,v)为指向栈中节点的后向边(指向栈中结点的横叉边) } 当结点u搜索结束后，若DFN(u)=Low(u)时，则以u为根的搜索子树上全部还在栈中的节点是一个强连通份量。

算法过程：

从节点1开始DFS，把遍历到的节点加入栈中。搜索到节点u=6时，DFN[6]=LOW[6]，找到了一个强连通份量。退栈到u=v为止，{6}为一个强连通份量。

初始化时Low[u]=DFN[u]=++index

返回节点5，发现DFN[5]=LOW[5]，退栈后{5}为一个强连通份量。

 

返回节点3，继续搜索到节点4，把4加入堆栈。发现节点4向节点1有后向边，节点1还在栈中，因此LOW[4]=1。节点6已经出栈，(4,6)是横叉边，返回3，(3,4)为树枝边，因此LOW[3]=LOW[4]=1。

Low(u)=Min {Low(u), DFN(v) } DFN(v),(u,v)为指向栈中节点的后向边

 

继续回到节点1，最后访问节点2。访问边(2,4)，4还在栈中，因此LOW[2]=DFN[4]=5。返回1后，发现DFN[1]=LOW[1]，把栈中节点所有取出，组成一个连通份量{1,3,4,2}。

至此，算法结束。求出了图中所有的三个强连通份量{1,3,4,2},{5},{6}。

3、tarjan算法用途

一、有向图的缩点

将同一个强连通份量中的点缩成同一个新结点，对于两个新结点a,b之间有边相连，当且仅当存在两个点u属于a，v属于b。

 

 

二、求割点和桥

3、例题

「例 1」受欢迎的牛（信息学奥赛一本通 1513）

【题目描述】

原题来自：USACO 2003 Fall

每一头牛的愿望就是变成一头最受欢迎的牛。如今有 N 头牛，给你 M 对整数 (A,B)，表示牛 A 认为牛 B 受欢迎。这种关系是具备传递性的，若是 A 认为 B 受欢迎，B 认为 C 受欢迎，那么牛 A 也认为牛 C 受欢迎。你的任务是求出有多少头牛被除本身以外的全部牛认为是受欢迎的。

【输入】

第一行两个数 N,M；

接下来 M 行，每行两个数 A,B，意思是 A 认为 B 是受欢迎的（给出的信息有可能重复，即有可能出现多个 A,B）。

【输出】

输出被除本身以外的全部牛认为是受欢迎的牛的数量。

【输入样例】

3 3
1 2
2 1
2 3

【输出样例】

1

【提示】

样例说明

只有第三头牛被除本身以外的全部牛认为是受欢迎的。

数据范围：

对于所有数据，1≤N≤104,1≤M≤5×1041≤N≤104,1≤M≤5×104。

---