POJ - 3177 Redundant Paths （重边+边双连通分量）

链接：https://cn.vjudge.net/problem/POJ-3177

题意：给出一个无向连通图，问至少加多少边使图变成一个边双连通分量。

思路：先求出边双连通分量，缩点建图（树）后，这里有一个结论，答案就是（树的叶子节点的个数+1）/2。为什么呢？缩点后图就变为了一棵树，树的边都是桥，怎么使树变成一个边双呢？每次找一对LCA深度最小的点，加边，画画图就清楚了。+1是因为如果不能恰好两两成对，多出来的点要和任一点连一条边。

#include <cstdio>
#include <iostream>
#include <algorithm>
#define ll long long
using namespace std;
const int N = 5e3+10;
const int M = 2e5+10;
struct node
{
	int to,nxt;
	bool use;
}g[M];
int head[N],cnt,dfn[N],low[N],id,sta[N],top,color[N],cl,du[N];
bool vis[N];
int n,m;
void Init()
{
	cnt=id=top=cl=0;
	for(int i=1;i<=n;i++)
		head[i]=-1,du[i]=dfn[i]=vis[i]=0;
	return ;
}
void add(int u,int v)
{
	g[cnt].to=v; g[cnt].nxt=head[u]; g[cnt].use=0; head[u]=cnt++;
}
void tarjan(int u)
{
	int v;
	dfn[u]=low[u]=++id; sta[++top]=u; vis[u]=1;
	for(int i=head[u];i!=-1;i=g[i].nxt)
	{
		//处理多重边 
		if(g[i].use) continue;
		g[i].use=g[i^1].use=1;
		v=g[i].to;
		if(!dfn[v])
		{
			tarjan(v);
			low[u]=min(low[v],low[u]);
		}
		else if(vis[v])
			low[u]=min(low[u],dfn[v]);
	}	
	if(dfn[u]==low[u])
	{
		color[u]=++cl;
		while(sta[top]!=u)
		{
			color[sta[top]]=cl; vis[sta[top--]]=0;
		}
		vis[sta[top--]]=0;
	}
}
int main(void)
{
	int u,v,ans;
	while(~scanf("%d%d",&n,&m))
	{
		Init();
		ans=0;
		for(int i=1;i<=m;i++)
		{
			scanf("%d%d",&u,&v);
			add(u,v); add(v,u);
		}
	 	tarjan(1);
		for(u=1;u<=n;u++)
			for(int i=head[u];i!=-1;i=g[i].nxt)
			{
				v=g[i].to;
				if(color[u]==color[v]) continue;
				du[color[u]]++,du[color[v]]++;
			}
		//缩点后形成一个树，树上的边都是桥
		//若要使树变成边双，有一个结论，需要添加的边至少为(叶子节点的个数+1)/2
		//每次找一对LCA深度最小的点，加边，画画图就清楚了
		//+1是因为如果不能恰好两两成对，多出来的点要和任一点连一条边 
		for(int i=1;i<=cl;i++)
			if(du[i]==2) ans++;
		printf("%d\n",(ans+1)/2);
	}
	return 0;	
}