图论的割顶、桥和强连通分量

作为一个图论无能的蒟蒻，总算决定写一写图论的总结了

一、最小生成树（MST）另类算法和最小环问题

二、图的连通性问题基本概念

割点：删掉它之后(删掉所有跟它相连的边)，图必然会分裂成两个或两个以上的子图。
割边(桥)：删掉一条边后，图必然会分裂成两个或两个以上的子图，又称桥。
连通块
强连通子图(强连通分量(支,块))

三、联通块及其相关知识

1、DFS算法

父子边用黑色标记，返祖边用红色标记；如下图，除掉返祖边之后，我们可以把它看作一棵DFS树

	dfn[v] = ++sign; //给v按照访问顺序的先后标号为sign
	for 寻找一个v的相邻节点u
		if 边uv没有被标记过
                           标记边uv;
			给边定向v→u;
                           如果u被标记过, uv为返祖边,否则记uv为父子边
			if u未被标记  DFS(u);

2、割点(一般对于无向图而言)

G是连通图，v∈V(G)，G – v 不再连通，则称v是G的割顶。

下图所示，每个点左边是dfn值，右边是low值。(经过返祖边后则停止)