[USACO06JAN]冗余路径Redundant Paths 题解

题目传送门

题目大意： 给出一张图，问至少加多少条边后可以使得图中任意两点间都存在至少两条边不重复路径。

题解

显然这个要求和边双是一样的，所以我们可以先缩点，那么剩下的就是一棵树了。

那么显然有一个贪心：每次加边肯定往两个叶子结点之间加边，很显然，就不用多解释了。

那么每次加边后这两个叶子之间的所有点就会缩成一个点，那么最后我们只需要加 $\lceil \frac{叶子结点的数量}{2}\rceil$ 条边即可。注意要向上取整，因为最后要缩成一个点，不允许有叶子结点。

代码：

#include <cstdio>
#include <cstring>
#define maxn 5010

int n,m;
struct edge{int x,y,next;};
edge e[maxn<<2];
int first[maxn],len=1;
void buildroad(int x,int y)
{
	e[++len]=(edge){x,y,first[x]};
	first[x]=len;
}
int dfn[maxn],low[maxn],id=0;
int zhan[maxn],t=0;
int belong[maxn],cnt=0;
void dfs(int x,int from)
{
	dfn[x]=low[x]=++id;zhan[++t]=x;
	for(int i=first[x];i;i=e[i].next)
	{
		if(i==(from^1))continue;
		int y=e[i].y;
		if(!dfn[y])
		{
			dfs(y,i);
			if(low[y]<low[x])low[x]=low[y];
		}
		else if(dfn[y]<low[x])low[x]=dfn[y];
	}
	if(dfn[x]==low[x])
	{
		cnt++; int xx;
		do{
			xx=zhan[t--];
			belong[xx]=cnt;
		}while(xx!=x);
	}
}
int du[maxn];

int main()
{
	scanf("%d %d",&n,&m);
	for(int i=1,x,y;i<=m;i++)
	scanf("%d %d",&x,&y),buildroad(x,y),buildroad(y,x);
	dfs(1,-1);
	for(int i=2;i<=len;i+=2)
	if(belong[e[i].x]!=belong[e[i].y])du[belong[e[i].x]]++,du[belong[e[i].y]]++;
	int ans=0;
	for(int i=1;i<=cnt;i++)
	if(du[i]==1)ans++;
	printf("%d",(ans+1)/2);
}