连通分量:在无向图中,即为连通子图
强连通分量:在有向图中,尽可能多的若干定点组成的子图中,这些顶点都是相互可达的,
这些顶点组成一个强连通分量
连通解法:对于一个无向图的连通分量,从连通分量的任意一个顶点开始,进行DFS,
一定能遍历这个连通图的所有顶点,所以,整个图的连通分量数应该等于遍历整个图的次数
Tarjan算法求强联通分量:
定义:DFN【u】:表示dfs中遍历到该节点的次序
Low【u】:表示以u为树根,u及u以下的树节点所能找到的最小次序
(Tarjan认为单节点自身就是一个强连通分量,需屏蔽)
图的割点、桥、双联通分支的基本概念:
[点连通度与边连通度]
在一个无向图中,如果有一个顶点集合,删除这个顶点集合,以及这个集合中所有点相关联的边以后,
原图变成多个连通块,就称这个点集为割点集合。
(一个图的点连通度的定义为:最小割点集中的点数)
类似的,如果有一个边集合,删除这个边集合后,原图变成多个连通块,就称这个点集为割点集合。
(一个图的边连通度的定义为:最小割边集中的边数)
[双连通图、割点、桥]
如果一个无向连通图的点连通度大于1,则称该图时点双连通的(point biconnected),简称双连通或重连通。
一个图有割点,当且仅当这个图的点连通度为1,这割点集合的唯一元素被称为割点,又叫关节点(articulation point)。
如果一个无向连通图的边连通度大于1,则称该图时边双连通的(edge biconnected),简称双连通或重连通。
一个图有桥,当且仅当这个图的边连通度为1,则割边集的唯一元素被称为桥,又叫关节边(articulation edge)。
可以看出,点双联通和边双联通的都可以简称为双联通,它们之间有着某种联系的,下文中提到的双联通,均可指点双联通或边双联通
[双联通分支]
在图G的所有子图G'中,G