双连通分量

洛谷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)