Uva 10972 RevolC FaeLoN(边双连通分量)

本文链接：https://blog.csdn.net/u014258433/article/details/52156575

题意：给定一个无向图，要求把所有的无向边改成有向边，并且添加最少的有向边使得新图强连通。

分析：无向图的边双转换成有向图的话一定可能变成强连通，另一方面所有的强连通去掉边上的方向后一定都是边双（每条边都保证在一个简单环中），所以我们只要把原图变成一个边双就行了，先求出所有边双后缩点，手动推算一下发现答案就是缩点后（入读为1的点个数+1）/2 + 入读为0的点个数。

#include<iostream>
#include<string>
#include<algorithm>
#include<cstdlib>
#include<cstdio>
#include<set>
#include<map>
#include<vector>
#include<cstring>
#include<stack>
#include<cmath>
#include<queue>
#define INF 0x3f3f3f3f
#define MAX 2147483647
#define eps 1e-9
#define MAXN 1005
using namespace std;
int n,m,color,dfs_clock,vis[MAXN],pre[MAXN],low[MAXN],d[MAXN];
bool isbri[MAXN][MAXN];
vector<int> G[MAXN];
int dfs(int u,int fa)
{
	low[u] = pre[u] = ++dfs_clock;
	for(int v : G[u])
	 if(!pre[v])
	 {
		low[u] = min(low[u],dfs(v,u));
		if(low[v] > pre[u]) isbri[u][v] = isbri[v][u] = true; 
	 }
	 else if(pre[v] < pre[u] && v != fa) low[u] = min(low[u],pre[v]);
	return low[u];
}
void dfs2(int u)
{
	vis[u] = color;
	for(int v : G[u])
	 if(!isbri[u][v] && !vis[v]) dfs2(v);
} 
int main()
{
	while(~scanf("%d%d",&n,&m))
	{
		dfs_clock = color = 0;
		memset(pre,0,sizeof(pre));
		memset(isbri,0,sizeof(isbri));
		memset(vis,0,sizeof(vis));
		memset(d,0,sizeof(d));
		for(int i = 1;i <= n;i++) G[i].clear(); 
		for(int i = 1;i <= m;i++)
		{
			int x,y;
			scanf("%d%d",&x,&y);
			G[x].push_back(y);
			G[y].push_back(x);
		}
		for(int i = 1;i <= n;i++) 
		 if(!pre[i]) dfs(i,-1);
		for(int i = 1;i <= n;i++) 
		 if(!vis[i]) 
		 {
		 	color++;
		 	dfs2(i);
	   	 }
		for(int i = 1;i <= n;i++)
		{
			for(int v : G[i]) 
			 if(isbri[i][v]) d[vis[i]]++;
		}
		int number0 = 0,number1 = 0;
		for(int i = 1;i <= color;i++)
		 if(!d[i]) number0++;
		 else  if(d[i] == 1) number1++;
		if(color == 1) printf("0\n");
		else printf("%d\n",(number1+1)/2+number0);
	}
 }