链接:https://cn.vjudge.net/problem/POJ-3177
题意:给出一个无向连通图,问至少加多少边使图变成一个边双连通分量。
思路:先求出边双连通分量,缩点建图(树)后,这里有一个结论,答案就是(树的叶子节点的个数+1)/2。为什么呢?缩点后图就变为了一棵树,树的边都是桥,怎么使树变成一个边双呢?每次找一对LCA深度最小的点,加边,画画图就清楚了。+1是因为如果不能恰好两两成对,多出来的点要和任一点连一条边。
#include <cstdio>
#include <iostream>
#include <algorithm>
#define ll long long
using namespace std;
const int N = 5e3+10;
const int M = 2e5+10;
struct node
{
int to,nxt;
bool use;
}g[M];
int head[N],cnt,dfn[N],low[N],id,sta[N],top,color[N],cl,du[N];
bool vis[N];
int n,m;
void Init()
{
cnt=id=top=cl=0;
for(int i=1;i<=n;i++)
head[i]=-1,du[i]=dfn[i]=vis[i]=0;
return ;
}
void add(int u,int v)
{
g[cnt].to=v; g[cnt].nxt=head[u]; g[cnt].use=0; head[u]=cnt++;
}
void tarjan(int u)
{
int v;
dfn[u]=low[u]=++id; sta[++top]=u; vis[u]=1;
for(int i=head[u];i!=-1;i=g[i].nxt)
{
//处理多重边
if(g[i].use) continue;
g[i].use=g[i^1].use=1;
v=g[i].to;
if(!dfn[v])
{
tarjan(v);
low[u]=min(low[v],low[u]);
}
else if(vis[v])
low[u]=min(low[u],dfn[v]);
}
if(dfn[u]==low[u])
{
color[u]=++cl;
while(sta[top]!=u)
{
color[sta[top]]=cl; vis[sta[top--]]=0;
}
vis[sta[top--]]=0;
}
}
int main(void)
{
int u,v,ans;
while(~scanf("%d%d",&n,&m))
{
Init();
ans=0;
for(int i=1;i<=m;i++)
{
scanf("%d%d",&u,&v);
add(u,v); add(v,u);
}
tarjan(1);
for(u=1;u<=n;u++)
for(int i=head[u];i!=-1;i=g[i].nxt)
{
v=g[i].to;
if(color[u]==color[v]) continue;
du[color[u]]++,du[color[v]]++;
}
//缩点后形成一个树,树上的边都是桥
//若要使树变成边双,有一个结论,需要添加的边至少为(叶子节点的个数+1)/2
//每次找一对LCA深度最小的点,加边,画画图就清楚了
//+1是因为如果不能恰好两两成对,多出来的点要和任一点连一条边
for(int i=1;i<=cl;i++)
if(du[i]==2) ans++;
printf("%d\n",(ans+1)/2);
}
return 0;
}