poj3177 - Redundant Paths

                                   想看更多的解题报告: http://blog.csdn.net/wangjian8006/article/details/7870410
                                     转载请注明出处：http://blog.csdn.net/wangjian8006

题目大意：有F个牧场，1<=F<=5000，现在一个牧群经常需要从一个牧场迁移到另一个牧场。奶牛们已经厌烦老是走同一条路，所以有必要再新修几条路，这样它们从一个牧场迁移到另一个牧场时总是可以选择至少两条独立的路。现在F个牧场的任何两个牧场之间已经至少有一条路了，奶牛们需要至少有两条。
给定现有的R条直接连接两个牧场的路，F-1<=R<=10000，计算至少需要新修多少条直接连接两个牧场的路，使得任何两个牧场之间至少有两条独立的路。两条独立的路是指没有公共边的路，但可以经过同一个中间顶点

解题思路：给定一个无向连通图，判断至少需要加多少条边，使得任意两点之间至少有两条相互‘边独立’的道路，也就是说，至少加多少条边，使得这个图成为一个边双连通图。
首先我们已经有了一个连通图
那么我们将所有的双连通块看成一个点，这样可以得到一颗树，因为他们当中没有环，而又是一个连通的图，所以我们可以肯定的是，这样缩点之后可以得到一颗树，这样的树至少需要加多少条边就能构成一个双连通图呢，我们只需要将叶子节点连起来即可，所以我们最少要连的边=（叶子节点数+1)/2
而求边连通分量，用tarjan就可以求出哪个点属于哪个双连通块中，然后再计算度为1的节点就可以了
因为是一个无向图，所以是度为1的点为叶子节点，而不是度为0

 

 

/*
Memory 24812K
Time    125MS
*/
#include <iostream>
using namespace std;
#define MAXV 5010
#define min(a,b) (a>b?b:a)

int n,m;
bool map[MAXV][MAXV];
bool vis[MAXV];
int low[MAXV],dfn[MAXV];
int count;
int cnt[MAXV];

void init(){
	memset(vis,0,sizeof(vis));
	memset(low,0,sizeof(low));
	memset(dfn,0,sizeof(dfn));
	count=0;
}

void dfs(int x,int pre){
	int i;
	vis[x]=1;
	low[x]=dfn[x]=++count;
	for(i=1;i<=n;i++){
		if(map[x][i]){
			if(!vis[i]){
				dfs(i,x);
				low[x]=min(low[x],low[i]);
			}
			if(vis[i]==1 && i!=pre){
				low[x]=min(low[x],dfn[i]);
			}
		}
	}
}

int main(){
	int a,b;
	int i,j;
	while(~scanf("%d%d",&n,&m)){
		memset(map,0,sizeof(map));
		while(m--){
			scanf("%d%d",&a,&b);
			map[a][b]=map[b][a]=1;
		}

		init();
		dfs(1,1);

		memset(cnt,0,sizeof(cnt));	
		for(i=1;i<=n;i++){					//计算每个点的度
			for(j=1;j<=n;j++)
				if(map[i][j]){
					if(low[i]!=low[j]){
						cnt[low[j]]++;
					}
				}
		}
		int ans=0;				//计算度为1的点的个数
		for(i=1;i<=n;i++){
			if(cnt[i]==1) ans++;
		}
		printf("%d\n",(ans+1)/2);
	}
	return 0;
}