图论基础：桥、割点与强连通分量算法总结.pdfVIP

7月23日总结桥和强连通分量

桥：在无向图中不在环上的边就是桥，如果隔断桥，无向图将被分为

两个不连通的子图。

找桥：用dfs遍历图，记录结点次序；当某个结点有一条边通往

已被过的结点时，代表找到了环；不在环上的边就是桥。

具体做法：

定义dfn[u]为u在dfs搜索树中被遍历的次序号

定义low[u]为u或u的子树中能通过非父子边追溯到最早的结点的dfn

其中low[u]=min{

dfn[u],

dfn[v],当v为祖先

low[v],当v为子孙

}

桥无向边(u,v)，当且仅当u为v在搜索树中的父亲，且满足

dfn[u]low[v]。

割点：在无向连通图中去掉某个点会使图分成若干个不连通的子图，

则称该点为割点。

找割点：与找桥十分相似，在桥的一端的结点若连接了至少两条边则

认为该结点就是桥；“在桥的一端的结点连接了至少两条边”这一情况

在搜索树中出现有两种可能：1、这个结点是根且有多于一个字树；

2、这个结点有父亲和儿子。

具体做法：

割点u，当且仅当满足(1)或(2)

(1)u为树根，且u有多于一个子树。

(2)u不为树根，且满足存在(u,v)为父子边，使得dfn[u]=low[v]。

强连通分量：在有向图中两个顶点Vi，Vj之间有一条从Vi到Vj的

有向路径，同时还有一条从vj到vi的有向路径，则称两个顶点强连

通。如果有向图G的每两个顶点都强连通，称G是一个强连通图。

有向图的极大强连通子图，称为强连通分量（百科）

Kosaraju算法:

1、深搜遍历原图G图，记录每个结点离开时间（后序遍历）；

2、选择具有最晚离开时间的顶点，对反图GT进行遍历，删除能够

遍历到的顶点，这些顶点构成一个强连通分量。

3、如果还有点没有被删除，重复2，否则算法结束

Kosaraju算法性质：如果将求出来的强连通分量收缩成一个点，并

且用求出每个强连通分量的顺序来标记收缩后的结点，那么这个顺序

其实就是强连通分量收缩成点后形成的有向无环图的拓扑序列。