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;
}