bzoj 1718: [Usaco2006 Jan] Redundant Paths 分离的路径 tarjan

题意

给一个$n$个点$m$条边的连通无向图，问最少需要加多少条边使得任意两点之间均存在两条没有边相交的路径。
$n\le 5000,m\le 10000$

分析

显然先把所有边双缩起来变成一棵树，然后对树上的节点连边。
结论是只用连$\lceil \frac{叶子数量}{2}\rceil$条边即可。
网上的证明我都没看懂。。。那说一下我的想法吧。
首先显然每次选两个叶子连边必然是最优的，但连接两个叶子后可能会出现新的叶子。
假设当前存在一个点的度数大于3，我们只要随便选两个不在同一棵子树里的叶子，合并之后叶子数必然减少2。
如果每个点的度数都小于3，那么只需要一次操作。
如果有一个点度数等于3，若他连出去三条链，那么需要2次操作，否则选出两个位于不同子树叶子，满足有一个叶子所在的子树至少有两个叶子，合并之后叶子数减少2。
所以我们只需要$\lceil \frac{叶子数量}{2}\rceil$次操作则必然可以将原图变为一个边双。
若有错误或是更好的证法请各位大佬指点。

代码

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<algorithm>
#include<map>
#define mp std::make_pair

typedef std::pair<int,int> pi;

const int N=5005;

int n,m,cnt,last[N],low[N],dfn[N],stack[N],top,tim,tot,bel[N],deg[N];
bool ins[N];
struct edge{int to,next;}e[N*4];
std::map<pi,bool> ma;

void addedge(int u,int v)
{
	e[++cnt].to=v;e[cnt].next=last[u];last[u]=cnt;
	e[++cnt].to=u;e[cnt].next=last[v];last[v]=cnt;
}

void tarjan(int x,int fro)
{
	dfn[x]=low[x]=++tim;
	stack[++top]=x;ins[x]=1;
	for (int i=last[x];i;i=e[i].next) if (i!=(fro^1))
	{
		if (!dfn[e[i].to]) tarjan(e[i].to,i),low[x]=std::min(low[x],low[e[i].to]);
		else if (ins[e[i].to]) low[x]=std::min(low[x],dfn[e[i].to]);
	}
	if (low[x]==dfn[x])
	{
		tot++;int y=0;
		while (y!=x)
		{
			y=stack[top--];ins[y]=0;
			bel[y]=tot;
		}
	}
}

int main()
{
	scanf("%d%d",&n,&m);
	cnt=1;
	for (int i=1;i<=m;i++)
	{
		int x,y;scanf("%d%d",&x,&y);
		addedge(x,y);
	}
	tarjan(1,0);
	for (int i=2;i<=cnt;i+=2)
	{
		int x=bel[e[i].to],y=bel[e[i^1].to];
		if (x==y||ma[mp(x,y)]) continue;
		deg[x]++;deg[y]++;
		ma[mp(x,y)]=ma[mp(y,x)]=1;
	}
	int ans=0;
	for (int i=1;i<=tot;i++) ans+=(deg[i]==1);
	printf("%d\n",(ans+1)/2);
	return 0;
}