Redundant Paths(双向图的缩点(边联通分量缩成点))

F-Redundant Paths_2022图论班第二章连通性例题与习题 (nowcoder.com)

为了从F(1 \leq F \leq 5000)F(1≤F≤5000)一块牧场(编号为1..F)到另一块牧场，贝西和牛群的其他成员不得不穿过烂苹果树附近。奶牛现在厌倦了经常被迫走一条特定的路，想要建造一些新的路，这样它们就总是可以在任何一对田地之间选择至少两条不同的路。他们目前在每个字段对之间至少有一条路由，并且希望至少有两条。当然，当他们从一个领域转移到另一个领域时，他们只能走官方路线。

给定当前连接两个不同字段的R(F -1 \leq R \leq 10,000)R(F -1≤R≤10,000)路径集合的描述，确定必须建立的最小数量的新路径(每条路径正好连接两个字段)，以便在任意一对字段之间至少有两条独立的路由。如果路由没有使用相同的路径，那么它们被认为是分离的，即使它们访问了相同的中间字段。

同一个字段对之间可能已经有多条路径了，你也可以构建一条新的路径来连接相同的字段。

输入描述:

第1行:两个用空格分隔的整数:F和R

行2 . .R+1:每一行包含两个空格分隔的整数，它们是某个路径端点的字段。

输出描述:

第1行:一个整数，表示必须构建的新路径的数量。

示例1

输入

复制

7 7

1 2

2 3

3 4

2 5

4 5

5 6

5 7

输出

复制

2

说明

示例说明:

路径的可视化如下:

从1到6和从4到7构建新的路径满足了这些条件。

检查一些路由:

1 - 2: 1 - > 2和1 - > 6 - > 5 - > 2

1 - 4: 1 - > 2 - > 3 - > 4和1 - > 6 - > 5 - > 4

3 - 7: 3 - > 4 - > 7和3 - > 2 - > 5 - > 7

实际上，每一对字段都由两条路由连接。

添加其他路径也可能解决这个问题(比如从6到7添加一条路径)。然而，添加两条路径是最小值。

题解:

一个点到另一个点必须经过一条边,说明存在割边,我们现在要解决,如何加最少的边,使其不存在割边

在一个边联通分量内,是不存在割边的(不需要考虑),所以我们可以把边联通分量缩成点

最后图应该是一棵树,经过观察我们可以发现,只要把数上所有入度为0的点相互连接即可

答案就是(入读为一的点+1)/2

#include<iostream>
#include<cstring>
#include<queue>
#include<stack>
using namespace std;
#define int long long
const int N = 5e5 + 10;
int e[N],w[N],h[N],ne[N],idx;
int col[N];
int n,m;
int st[N];
int f[N];
int siz;
int low[N],dfn[N];
int cnt = 0;
stack<int> q;
int du[N];
void add(int a,int b)
{
	e[idx] = b;
	ne[idx] = h[a];
	h[a] = idx++;
}
void tarjin(int u,int fa)
{
	dfn[u] = low[u] = ++cnt;
	q.push(u);
	for(int i = h[u];i!=-1;i = ne[i])
	{
		int j = e[i];
		if(!dfn[j])
		{
			tarjin(j,i);
			low[u] = min(low[u],low[j]);
			if(dfn[u] < low[j])
			{
				f[i] = f[i^1] = 1;
			}
		}
		else if(i!= (fa^1))
		{
			low[u] = min(low[u],dfn[j]);
		}
	}
	if(dfn[u] == low[u])
	{
		++siz;
		while(1)
		{
			int t = q.top();
			q.pop();
			col[t] = siz;
			if(t == u)
			break;
		}
	}
}
void solve()
{
	memset(h,-1,sizeof h);
	cin >>n >>m;
	for(int i = 1;i <= m;i++)
	{
		int a,b;
		cin >> a >> b;
		add(a,b);
		add(b,a);
	}
	tarjin(1,0);
	int ans = 0;
	for(int i = 0;i < idx;i++)
	{
		if(f[i])
		du[col[e[i]]] ++;
	}
	for(int i = 1;i <= siz;i++)
	{
		if(du[i] == 1)
		ans++;
	}
	cout <<(ans+1)/2;
}
signed main()
{
	int t = 1;
//	cin >> t;
	while(t--)
	{
		solve();
	}
}