HDU3394：点-双连通分量

HDU3394

题解：

• 第一问为两个环都包含的边。所以要考虑是点-双连通分量。如果这个连通分量的边数m大于点数n，那么它每条边都在两个环当中。所以我们只需计算m > n的连通分量中边的条数即可。
• 这题不能拿边双连通分量判断，举个简单的日子。由（1，2）（1，3）（2，3）（3，4）（3，5）（4，5）构成的是一个边双连通分量，但是m > n却没有重复的边。
• 第二问为不构成环的边，显然是桥。

代码：

#include <bits/stdc++.h>
using namespace std;
int const N = 10000 + 10;
int n,m,dfn[N],lowlink[N],bccno[N];
int cnt,bcc_cnt,s1,s2;
struct Edge
{
	int x,y;
	Edge(int a,int b):x(a),y(b){};
};
stack<Edge>st;
vector<int>G[N],bcc[N];
void dfs(int u,int fa){
	dfn[u] = lowlink[u] = ++cnt;
	for(int i=0;i<G[u].size();i++){
		int v = G[u][i];
		if(v == fa)		continue;
		if(!dfn[v]){
			st.push(Edge(u,v));
			dfs(v,u);
			lowlink[u] = min(lowlink[u],lowlink[v]);
			if(lowlink[v] >= dfn[u]){    //u为割点
				bcc_cnt++,	bcc[bcc_cnt].clear();   //连通块标号
				int edge_cnt = 0,	node_cnt = 0;    //记录双连通分量中的边和点的数量
				while(1){
					edge_cnt++; 
					Edge e = st.top();	st.pop();
					if(bccno[e.x] != bcc_cnt)	bccno[e.x] = bcc_cnt,	node_cnt++;
					if(bccno[e.y] != bcc_cnt)	bccno[e.y] = bcc_cnt,	node_cnt++;
					if(e.x == u && e.y == v)	break;
				}
				if(edge_cnt > node_cnt)	s2 += edge_cnt;
			}
			if(lowlink[v] > dfn[u])	++s1;    //记录桥的数量
		}else if(dfn[v] < dfn[u]){    //反向边
			st.push(Edge(u,v));
			lowlink[u] = min(lowlink[u],dfn[v]);
		}
	}
}
void Tarjan(){
	cnt = bcc_cnt = s1 = s2 = 0;
	memset(bccno,0,sizeof(bccno));
	memset(dfn,0,sizeof(dfn));
	for(int i=0;i<n;i++)
		if(!dfn[i])	dfs(i,-1);
}
int main(){
	while(~scanf("%d%d",&n,&m)){
		if(!n && !m)	break;
		for(int i=0;i<n;i++)	G[i].clear();
		for(int i=0;i<m;i++){
			int from,to;
			scanf("%d%d",&from,&to);
			G[from].push_back(to);
			G[to].push_back(from);
		}
		Tarjan();
		printf("%d %d\n",s1,s2);
	}
}