《啊哈，算法》-22-算法-图的割边-C语言实现-情景化案例学习算法和数据结构

一、问题描述

割边也称为桥。即在一个无向连通图中，如果删除某条边后，图不再连通。
下图中左图不存在割边，右图中存在两条割边，分别是2-5和5-6。

二、思路解析

如何求割边呢，只需要将割点的算法修改一个符号就可以了，只需要将low[v]>=num[u]改为low[v]>num[u]。
low[v]>=num[u]代表的是点v是不可能在不经过父结点u而回到祖先（包括父亲）的，所以u就是割点。
如果是=，表示还可以回到父亲。
倘若顶点v不能回到祖先，也没有另外一条路回到父亲，那么u-v这条边就是割边。

三、代码复现

//图的割边 
#include<stdio.h>
int n,m,e[9][9],root;
int num[9],low[9],flag[9],index;//Index用来进行时间戳的递增
//求两个数中较小的一个数的函数
int min(int a,int b)
{
	return a < b ? a : b ;
 } 
 
//割点算法的核心
void dfs(int cur, int father ) //需要传入两个参数，当前顶点的编号和父顶点的编号
{
	int i,j;
	
	index++;//时间戳加1
	num[cur]=index;//当前顶点cur的时间戳
	low[cur]=index;//当前顶点cur能够访问到最早顶点的时间戳，刚开始当然是自己啦
	for(i=1;i<=n;i++)//枚举与当前顶点cur有相连边的顶点i 
	{
		if(e[cur][i]==1)
		{
			if(num[i]==0)//如果顶点i的时间戳不为0，说明顶点i还没有被访问过
			{
			
				dfs(i,cur);//继续向下深度优先遍历
				//更新当前顶点cur能否访问最早顶点的时间戳
				low[cur]=min(low[cur],low[i]);
				//如果当前顶点不是根结点并且满足low[i]>=num[cur],则当前顶点被称为割点
				if(low[i]>num[cur])
					printf("%d-%d\n",cur,i);
			}
			else if(i!=father)
			//否则如果顶点i曾经被访问过，那么这个顶点不是当前顶点cur的父亲，则需要更新当前结点cur能否访问到最早顶点的时间戳
			{
				low[cur]=min(low[cur],num[i]);
			}
		}
	 } 
 } 
 
 int main()
 {
 	int i,j,x,y;
 	scanf("%d %d",&n,&m);//n个顶点，m条边 
 	//初始化 
	for(i=1;i<=n;i++)
		for(j=1;j<=n;j++)
			e[i][j]=0;
	
	for(i=1;i<=m;i++)
	{
		scanf("%d %d",&x,&y);//表示两个顶点之间有边 
		e[x][y]=1;
		e[y][x]=1;
	} 

	root=1;
	dfs(1,root);//从1号顶点开始进行深度优先遍历
	

	
	getchar();
	getchar();
	return  0;  
			
	
 }

四、总结

同割点的实现一样，这里也是用领接矩阵来存储图的。
实际应用中需要改为使用领接表来存储。否咋这个算法就不是O(M+N),而至少是O(N的平方），这样的话，这个算法就没有意义了。
可见一个算法选择合适的数据结构是很重要的！