图的连通性----Tarjan算法之无向图的桥

时间戳：在图中时间戳是指从某个点到其它点的时间，

例如：

在图：中

从v1开始，设时间戳数组为dfn，v1的时间戳为1，即dfn[v2]=2，v2的时间戳为2，即dfn[v2]=2，

v5的时间戳为3，即dfn[v5]=3，v3的时间戳为4，即dfn[v3]=4，v4的时间戳为5，即dfn[v4]=5，

v6的时间戳为6，即dfn[v1]=6，

如图所示：

接下来便是求追述点，

追朔点(low[])：即子节点到根节点且不经过父节点的最小dfn的时间是多少

我们先从最后的v6开始回溯遍历，v6可追朔到v1即low【v6】=dfn[v1]=1

v4可追朔到v1即low【v4】=dfn[v1]=1

v5可追朔到v1即low【v5】=dfn[v1]=1

v2可以通过子节点v5追朔到v1所以low[v2]=dfn[v1]=1;

因为v1是最早的节点所以dfn[v1]=low[v1]=1,

若此时添加一个节点v7

则因为v7的父节点为v6且没有子节点所以dfn[v7]=low[v7]=7;

桥的定义：桥（bridge）是指一个边，如果去掉这条边后，原本连通的图会被分成两个或更多个不连通的子图，则这条边就被称为桥。即如果有一条边为x-->y并且low[x]>dfn[y]则称x-->y为桥

代码示例：

#include<iostream>
#include<cstring>
#define maxn 1005
using namespace std;
int head[maxn],cnt,dfn[maxn],low[maxn],num;
struct node{
	int next,to;
}e[maxn<<1];//无向图----双向边 
void add(int u,int v){
	e[cnt].next=head[u];
	e[cnt].to=v;
	head[u]=cnt++;
}
void tarjan(int u,int fa){
	dfn[u]=low[u]=++num;
	for(int i=head[u];i!=-1;i=e[i].next){
		int v=e[i].to;
		if(v==fa)continue;
		if(!dfn[v]){
			tarjan(v,u);
			low[u]=min(low[u],low[v]);
			if(low[v]>dfn[u]){
				cout<<u<<"-->"<<v<<"桥\n";
			}
		}
		else{
			low[u]=min(low[u],dfn[v]);
		} 
	}
}
int main(){
	int n,m;
	cin>>n>>m;
	int u,v;
	memset(head,-1,sizeof(head));
	memset(dfn,0,sizeof(dfn));
	memset(low,0,sizeof(low));
	cnt=0,num=0;
	for(int i=0;i<m;i++){
		cin>>u>>v;
		add(u,v);
		add(v,u);
	}
	for(int i=1;i<=n;i++)
	{
		if(!dfn[i]){
			tarjan(i,0);
		}
	}

	return 0;
}
/*
测试用例：
5 4
1 2
2 3
4 5
2 5 
*/