图论总结（2）无向图的割顶和桥

 

概念：对于无向图G，如果删除某个节点u后，连通分量的数目增加，则称u为图的关节点或割顶。

定理：在无向连通图G的dfs树中，非根节点u是G的割顶当且仅当u存在一个子节点v，使得v及其所有后代都没有反向边连回u的祖先(u不算)。

证明略；

方便起见，设low【u】为u及其后代所能连回的最早的祖先的pre（编号值）值，则定理中的条件就能够简写为low（v）>=pre(u)；

如果后代只能连回自己（即low（v）>pre（u）），只需删除（u，v）就可以让图G非连通了，满足这个条件的称为桥。

int dfs(int u,int fa){
	int lowu=pre[u]=++dfs_clock;
	int child=0;
	for(int i=0;i=pre[u]){//¸îµã 
				is_cut[u]=true;
			}
			if(lowv>pre[u]){//ÇÅ 
				is_bridge[u]=true;
			}
		}
		else if(pre[v]