poj 3177 Redundant Paths

http://poj.org/problem?id=3177

题目大意：求最小的添加路径数使原图变成一个边—双连通图。（允许重复边)

分析：先求出边连通分量，将之压缩成一个点。对压缩后的图求出度为1的点的个数t，答案即为（t+1）/2.

证明如下：将压缩后的图看做一棵树（树根为一个度大于1的点），则树叶就是那些度为1的点。将这些树叶两两连接（如是奇数个树叶则将最后一个连到任意一个叶子上），此时压缩图就是边-强连通的了。

而每个节点又都是强连通分量，易证：整个图是边-双连通的。（这是一个常用的结论，在有向图中也有一个类似的结论）

下面就是贴代码了

#include <iostream>
#include <algorithm>
#include <map>
#include <cstdio>
#include <vector>
#include <queue>
using namespace std;

const int maxv=5005;

struct edge {
	int v,next;
	bool bridge;
}e[10050];

int p[maxv],en,pre[maxv],dfs_time,color,col[maxv],num[maxv],n;

void addedge (int u,int v) {
	e[en].v=v;
	e[en].next=p[u];
	e[en].bridge=false;
	p[u]=en++;
	e[en].v=u;
	e[en].next=p[v];
	e[en].bridge=false;
	p[v]=en++;
}

void bebridge (int u,int v) {
//	cout<<"u:"<<u<<"   v:"<<v<<endl;
	if(u==v)
		return ;
	int i;
	i=p[u];
	while(e[i].v!=v)
		i=e[i].next;
	e[i].bridge=true;
	i=p[v];
	while(e[i].v!=u)
		i=e[i].next;
	e[i].bridge=true;
}

int dfs (int u,int fa) {
	int low,i,v,coun;
	low=pre[u]=dfs_time++;
	coun=0;
	for(i=p[u];i!=-1;i=e[i].next) {
		v=e[i].v;
		if(v==fa&&!coun) {
			coun++;
			continue;
		}
		if(!pre[v])
			low=min(low,dfs(v,u));
		else
			low=min(pre[v],low);
	}
	if(low==pre[u])
		bebridge(u,fa);
	return low;
}

void dfs2(int u,int fa) {
	int i,v;
	for(i=p[u];i!=-1;i=e[i].next) {
		v=e[i].v;
		if(v==fa||col[v]==col[u])
			continue;
		if(e[i].bridge)
			num[col[u]]++;
		else {
			col[v]=col[u];
			dfs2(v,u);
		}
	}
}

int dfs3 () {
	int i,ans;
	for(i=1;i<=n;i++) 
		if(col[i]==-1) {
			col[i]=color++;
//			cout<<"i:"<<i<<endl;
			dfs2(i,i);
		}
	ans=0;
	for(i=0;i<color;i++) {
//		cout<<"num["<<i<<"]:"<<num[i]<<endl;
		if(num[i]==1) 
			ans++;
	}
	ans=(ans+1)/2;
	return ans;
}


int main() 
{
	freopen("aa.txt","r",stdin);
	int r,i,a,b;
	scanf("%d%d",&n,&r);
	memset(p,-1,sizeof(p));
	memset(pre,0,sizeof(pre));
	memset(col,-1,sizeof(col));
	memset(num,0,sizeof(num));
	en=0;dfs_time=1;color=0;
	for(i=1;i<=r;i++) {
		scanf("%d%d",&a,&b);
		addedge(a,b);
	}
	dfs(1,1);
	cout<<dfs3()<<endl;
}