洛谷P2860 [USACO06JAN]Redundant Paths G
边双连通分量
定义:没有割边(删除任意一条边对图得连通性没有影响)
扩展:图上任何两个点都有两种及以上不同路径互相到达
板子题
题意:缩点后的图是一棵树,在树中最少增加几条边,可以使树变为边双连通分量
公式:增加边数 = (树中度为1的节点数 + 1)/ 2
#include<bits/stdc++.h>
using namespace std;
const long long inf=0x3f3f3f3f;
const long long maxn=1e6;
int head[maxn],a[maxn],b[maxn],w[maxn],to[maxn],k1,n,m,next[maxn],in[maxn],low[maxn],dfn[maxn],id[maxn],nid,cnt,sum,f[maxn],ct;
bool vis[maxn];
void add (int a,int b){
to[++k1]=b;
next[k1]=head[a];
head[a]=k1;
}
stack<int>p;
void tarjan(int x,int fa){
low[x]=dfn[x]=++cnt;
p.push(x);
vis[x]=1;
for(int i=head[x];i;i=next[i]){
int y=to[i];
if(fa==f[i])continue;
if(!dfn[y]){
tarjan(y,f[i]);
low[x]=min(low[x],low[y]);
}
else if(vis[y])low[x]=min(low[x],dfn[y]);
}
if(low[x]==dfn[x]){
nid++;
int now=0;
do{
now=p.top();
p.pop();
id[now]=nid;
vis[now]=0;
}while(x!=now);
}
}
int main(){
scanf("%d%d",&n,&m);
for(int i=1;i<=m;i++){
scanf("%d%d",&a[i],&b[i]);
add(a[i],b[i]),f[k1]=++ct;
add(b[i],a[i]),f[k1]=ct;
}
for(int i=1;i<=n;i++)
if(!dfn[i])
tarjan(i,0);
for(int i=1;i<=m;i++){
int sa=id[a[i]],sb=id[b[i]];
if(sa!=sb)in[sa]++,in[sb]++;
}
for(int i=1;i<=nid;i++){
if(in[i]==1)sum++;
}
printf("%d\n",(sum+1)/2);
return 0;
}
洛谷UVA12167 Proving Equivalences
题意:
给出 nn 个点 mm 条边的有向图,问最少再加上多少条边才能使这个图是强连通的
思路:
缩点后,若图已经连通,则直接输出 0 。否则,答案 = min ( 入度 == 0 ,出度 == 0)