算法复习——图算法篇之强连通分量

最新推荐文章于 2023-02-23 14:51:26 发布

NickHan_cs

最新推荐文章于 2023-02-23 14:51:26 发布

阅读量1k

点赞数

分类专栏： Algorithm 文章标签：算法 dfs 图论

本文链接：https://blog.csdn.net/NickHan_cs/article/details/113136443

版权

Algorithm 专栏收录该内容

28 篇文章 12 订阅

订阅专栏

算法复习——图算法篇之强连通分量

以下内容主要参考中国大学MOOC《算法设计与分析》，墙裂推荐希望入门算法的童鞋学习！

1. 问题背景

社交圈划分
- 如何把人群按通话记录划分成不同的社交圈？
- 如果闭环通话，说明关系相对密切；如果单向通话，说明关系相对疏远。

在这里插入图片描述

强连通分量（有向图）
- 一个强连通分量是顶点的子集
- 强连通分量中任意两点相互可达
- 满足最大型：加入新顶点，不保证相互可达
- 特性：任意两强连通分量不相交
  - 反证易得，若相交，破坏了最大性

在这里插入图片描述

2. 问题定义

强连通分量（Strongly Connected Components）

输入：

有向图 $G = < V, E >$

输出：

图的所有强连通分量 $C_1, C_2, \dots, C_n$

在这里插入图片描述

3. 算法框架

在这里插入图片描述

步骤1：把边反向，得到反向图 $G^R$

在这里插入图片描述

步骤2：在 $G^R$ 上执行DFS，得到顶点完成时刻顺序 $L$

例如，得到的 $L$ 如下所示：

在这里插入图片描述

步骤3：在 $G$ 上按 $L$ 逆序执行DFS，得到强连通分量

4. 伪代码

Strongly-Connected-Component(G)

输入：图G

输出：强连通分量

R ← {}
G_R ← G.reverse()
L ← DFS(G_R)
color[1..V] ← WHITE
for i ← L.length() downto 1 do
	u ← L[i]
	if color[u] = WHITE then
		L_scc ← DFS-Visit(G, u)
		R ← R ∪ set(L_scc)
	end
end
return R

DFS(G)

输入：图G

现金数组color[1..V],L[1..V]
for v ∈ V do
	color[v] ← WHITE
end
for v ∈ V do
	if color[v] = WHITE then
		L' ← DFS-Visit(G, v)
		向L结尾追加L'
	end
end

DFS-Visit(G, v)

输入：图G，顶点v

输出：按完成时刻从早到晚排列的顶点L

color[v] ← GRAY
for w ∈ G.Adj[v] do
	if color[w] = WHITE then
		L ← DFS-Visit(G, w)
	end
end
color[v] ← BLACK
向L结尾追加结点v
return L

该算法的时间复杂度是 $O (∣ V ∣ + ∣ E ∣)$ 。

5. 算法正确性证明

在这里插入图片描述

强连通分量图 $G^{SCC}$ ：把强连通分量看作一个点，得到有向图

在这里插入图片描述

性质： $G^{SCC}$ 一定是有向无环图
反证：若存在环，两强连通分量中顶点相互可达，与最大性矛盾
$SCC_{Sink}$ ： $G^{SCC}$ 中出度为0的点
- 性质1： $G^{SCC}$ 中至少存在一个 $SCC_{Sink}$
- 性质2：删除 $SCC_{Sink}$ ，会产生新的 $SCC_{Sink}$
- 反证：若不存在，所有点均有出度，必存在环；而无环图子图必无环，矛盾