poj3177-tarjan求桥/割边

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

若low[v]>dfn[u],则(u,v)为割边。但是实际处理时我们并不这样判断，因为有的图上可能有重边，这样不好处理。我们记录每条边的标号（一条无向边拆成的两条有向边标号相同），记录每个点的父亲到它的边的标号，如果边(u,v)是v的父亲边，就不能用dfn[u]更新low[v]。这样如果遍历完v的所有子节点后，发现low[v]=dfn[v]，说明u的父亲边(u,v)为割边。

void tarjan(int x)
{
 vis[x]=1;
 dfn[x]=low[x]=++num;
 for(int i=head[x];i;i=next[i])
  if(!vis[ver[i]])
  {
   p[ver[i]]=edge[i];//记录父亲边
   tarjan(ver[i]);
   low[x]=min(low[x],low[ver[i]]);
  }
  else if(p[x]!=edge[i])//不是父亲边才更新
   low[x]=min(low[x],dfn[ver[i]]);
 if(p[x]&&low[x]==dfn[x]) f[p[x]]=1;//是割边
}

 2.求双连通分量以及构造双连通分量：

对于点双连通分支，实际上在求割点的过程中就能顺便把每个点双连通分支求出。建立一个栈，存储当前双连通分支，在搜索图时，每找到一条树枝边或后向边(非横叉边)，就把这条边加入栈中。如果遇到某时满足DFS(u)<=Low(v)，说明u是一个割点，同时把边从栈顶一个个取出，直到遇到了边(u,v)，取出的这些边与其关联的点，组成一个点双连通分支。割点可以属于多个点双连通分支，其余点和每条边只属于且属于一个点双连通分支。

对于边双连通分支，求法更为简单。只需在求出所有的桥以后，把桥边删除，原图变成了多个连通块，则每个连通块就是一个边双连通分支。桥不属于任何一个边双连通分支，其余的边和每个顶点都属于且只属于一个边双连通分支。

一个有桥的连通图，如何把它通过加边变成边双连通图？方法为首先求出所有的桥，然后删除这些桥边，剩下的每个连通块都是一个双连通子图。把每个双连通子图收缩为一个顶点，再把桥边加回来，最后的这个图一定是一棵树，边连通度为1。

统计出树中度为1的节点的个数，即为叶节点的个数，记为leaf。则至少在树上添加(leaf+1)/2条边，就能使树达到边二连通，所以至少添加的边数就是(leaf+1)/2。具体方法为，首先把两个最近公共祖先最远的两个叶节点之间连接一条边，这样可以把这两个点到祖先的路径上所有点收缩到一起，因为一个形成的环一定是双连通的。然后再找两个最近公共祖先最远的两个叶节点，这样一对一对找完，恰好是(leaf+1)/2次，把所有点收缩到了一起。

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

#define nMax 5005
#define Min(a,b) (a<b?a:b)
struct EDGE
{
	int v,next;
}edge[2 * nMax];
int preEdge[nMax];
int N, edgeNum, index;
bool map[nMax][nMax];
int dfn[nMax],low[nMax];

void addEdge(int u, int v)
{
	edge[edgeNum].v = v;
	edge[edgeNum].next = preEdge[u];
	preEdge[u] = edgeNum ++;
}
void tarjan(int u, int father)
{
	dfn[u] = low[u] = ++ index;
	for (int i = preEdge[u]; i != -1; i = edge[i].next)
	{
		int v = edge[i].v;
		if (!dfn[v])
		{
			tarjan(v, u);
			low[u] = Min(low[u], low[v]);
		}
		else if (v != father)
		{
			low[u] = Min(low[u], dfn[v]);
		}
	}
}
void output()
{
	int cnt[nMax], num = 0;
	memset(cnt, 0, sizeof(cnt));
	for (int i = 1; i <= N; ++ i)
	{
		for (int j = preEdge[i]; j != -1; j = edge[j].next)
		{
			int v = edge[j].v;
			if (low[v] != low[i])
			{
				cnt[low[i]] ++;
			}
		}
	}
	for (int i = 0; i <= N; ++ i)
	{
		if (cnt[i] == 1)
		{
			num ++;
		}
	}
	printf("%d\n", (num + 1) / 2);
}
int main()
{
	int R,u,v;
	while (scanf("%d %d", &N, &R) != EOF)
	{
		index = edgeNum = 0;
		memset(preEdge, -1, sizeof(preEdge));
		memset(map, false, sizeof(map));
		memset(dfn, 0, sizeof(dfn));
		for (int i = 0; i < R; ++ i)
		{
			scanf("%d %d", &u, &v);
			if (!map[u][v])
			{
				addEdge(u,v);
				addEdge(v,u);
				map[u][v] = map[v][u] = true;
			}
		}
		tarjan(1, 1);
		output();			
	}
	return 0;
}