割边（tarjan算法)

描述

给定一个n个点m条边的无向图，求割边数量。

输入

第一行，n,m

接下来m行，每行两个整数u,v，表示一条无向边(u,v)。

对于100%的数据，1<=n，m<=2 * 10^5。

输出

共一行，输出值为割边数量。

样例输入

6 7
1 2
2 3
3 1
3 4
4 5
5 6
4 6

样例输出

1

定义

割边：在一个连通的图中，去除某条边，使得该图不再连通，而被去除的条边就是该图的割边，也称桥。

算法实现

1.数组dfn表示深搜搜到该点的时间点

2.数组low表示可以到达的最上面的点

从模拟的根节点往下搜索直到搜到前面搜过的节点或者搜索完该分支返回并且依次更新low数组。

u为父节点，v为子节点，当dfn[u] < low[v]即v的子树中没有返祖边能跨越< u-v >这条边回到更早的祖先，记录割边数的变量加一。

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int N = 2e5+10;
struct edge{
	int to, nxt;
}e[N];
int head[N],tot;
void add(int a, int b){
	e[++tot].nxt = head[a];
	e[tot].to = b;
	head[a] = tot;
}
int dfn[N], low[N];
int num=0;
int cnt=0;
void tarjan(int u, int fa){
	dfn[u]=low[u]=++num;//记录搜索到的时间点先假定它往下搜不到前面的点
	for(int i=head[u];i;i=e[i].nxt){
		int v=e[i].to;
		if(v==fa)
			continue;
		if(!dfn[v]){
			tarjan(v, u);
			low[u] = min(low[u], low[v]);//传递状态
			if(dfn[u] < low[v])
				cnt++;
		}
		else
			low[u] = min(low[u], dfn[v]);//找到了原来找过的点
	}
}
int n, m;
int main(){
	ios::sync_with_stdio(false);
	cin>>n>>m;
	while(m--){
		int a,b;
		cin>>a>>b;
		add(a,b);
		add(b,a);
	}	
	for(int i=1;i<=n;i++)//图可能不连通需要对每一个图都搜索一次
	if(dfn[i]==0)
	tarjan(i, i);
	cout<<cnt<<endl;
	return 0;
}