割点

和强连通分量十分相似
分为树枝边、前向边和后向边
注意！

if(x!=r&&low[to]>=dfn[x]) cut[x]=1;

这句判断只能在树枝边出现
否则会因为前向边的存在而出错

代码

#include<bits/stdc++.h>
using namespace std;
#define ll long long
int n,m;
const int N=1e6+100;
struct node{int to,nxt;
}p[2*N];
int fi[N],cnt=-1;
void addline(int x,int y){p[++cnt]=(node){y,fi[x]};fi[x]=cnt;
}int r;
int dfn[N],t,low[N],cut[N];
void tj(int x){dfn[x]=low[x]=++t;int num=0;for(int i=fi[x];~i;i=p[i].nxt){int to=p[i].to;if(!dfn[to]){//      printf("x=%d to=%d\n",x,to);tj(to);low[x]=min(low[x],low[to]);if(x!=r&&low[to]>=dfn[x]) cut[x]=1;num++;}low[x]=min(low[x],dfn[to]);}if(x==r&&num>1) cut[x]=1;return;
}
int main(){memset(fi,-1,sizeof(fi));scanf("%d%d",&n,&m);int a,b,c;for(int i=1;i<=m;i++){scanf("%d%d",&a,&b);addline(a,b);addline(b,a);   }for(int i=1;i<=n;i++){r=i;if(!dfn[i]) tj(i);}int ans=0;for(int i=1;i<=n;i++){if(cut[i]){ans++;}}printf("%d\n",ans);for(int i=1;i<=n;i++){if(cut[i]){printf("%d ",i);}}return 0;
}

桥

也是类似的tarjan求法
但是需要注意:

树枝边需要直接跳过
判断的条件是lowto<dfnxlow_{to}< dfn_xlowto<dfnx（不带等！！）

仔细想想都是有道理的
2.是因为子树如果有连回x的边那么当前边也不是割边
1.是为了2服务的

void tarjan(int x){dfn[x]=low[x]=++tim;for(int i=fi[x];~i;i=p[i].nxt){if(i==(from[x]^1)) continue;int to=p[i].to;//printf("  x=%d to=%d\n",x,to);if(!dfn[to]){from[to]=i;tarjan(to);low[x]=min(low[x],low[to]);if(low[to]>dfn[x]) ans++;}low[x]=min(low[x],dfn[to]);}
}

点双连通分量

定义：点连通度>1的极大子图

考虑建一个栈
把所有的前向边和树枝边压入栈中
每次通过dfnx<=lowtodfn_x<=low_{to}dfnx<=lowto，判断x是隔点时，就把栈里(u,v)(u,v)(u,v)及上面的边全部弹出，他们相连的点组成一个点双连通分量
找分量的好方法：dfs！！

代码

洛谷P3225

#include<bits/stdc++.h>
using namespace std;
#define ll long long
const int N=2e3+100;
const double eps=1e-6;
inline ll read(){ll x=0,f=1;char c=getchar();while(!isdigit(c)){if(c=='-')f=-1;c=getchar();}while(isdigit(c)){x=(x<<1)+(x<<3)+c-'0';c=getchar();}return f*x;
}
int n,m;
int ans;
struct node{int to,nxt,from;
}p[N<<1];
int fi[N],cnt;
inline void addline(int x,int y){//printf("%d->%d w=%d\n",x,y,w);p[++cnt]=(node){y,fi[x],x};fi[x]=cnt;
}
int dfn[N],low[N],zhan[N],tim,top,cut[N],r,tot;
void tarjan(int x){dfn[x]=low[x]=++tim;zhan[++top]=x;int nm=0;for(int i=fi[x];~i;i=p[i].nxt){int to=p[i].to;//printf("x=%d to=%d\n",x,to);if(!dfn[to]){++nm;tarjan(to);if(low[to]>=dfn[x]){cut[x]=1;}low[x]=min(low[x],low[to]);}else low[x]=min(low[x],dfn[to]);}if(x==r) cut[x]=nm>1;
}
int num,Cut,tag[N],t;
bool vis[N];
void dfs(int x){if(vis[x]||tag[x]==t) return;num++;//printf("x=%d\n",x);if(cut[x]){tag[x]=t;Cut++;return;}vis[x]=1;for(int i=fi[x];~i;i=p[i].nxt){int to=p[i].to;dfs(to);}
}
int main(){#ifndef ONLINE_JUDGEfreopen("a.in","r",stdin);freopen("a.out","w",stdout);#endifint o=0;while(1){memset(fi,-1,sizeof(fi));cnt=-1;memset(vis,0,sizeof(vis));memset(dfn,0,sizeof(dfn));tim=0;top=0;memset(cut,0,sizeof(cut));memset(tag,0,sizeof(tag));m=read();n=0;if(!m) return 0;for(int i=1;i<=m;i++){int x=read(),y=read();addline(x,y);addline(y,x);n=max(n,max(x,y));}tot=n;for(int i=1;i<=n;i++){r=i;if(!dfn[i]) tarjan(i);}ll nm=0,ans=1;for(int i=1;i<=n;i++){//printf("i=%d cut=%d\n",i,cut[i]);if(!vis[i]&&!cut[i]){num=0;Cut=0;t=i;dfs(i);printf("i=%d num=%d Cut=%d\n",i,num,Cut);if(Cut==0){nm+=2;ans*=num*(num-1)/2;}else if(Cut==1){nm++;ans*=(num-1);}}}printf("Case %d: %lld %lld\n",++o,nm,ans);}
}

边双连通分量

定义：边连通度>1的极大子图

把桥求出后去掉
剩下的连通块就是边双连通分量
加边使图边双连通的方法：把所有桥连回去，形成一个树。设树度数为1的点的数量为xxx
若x=1，不用加边
否则，加边数为(x+1)/2(x+1)/2(x+1)/2

代码

洛谷P2860

#include<bits/stdc++.h>
using namespace std;
#define ll long long
const int N=5e5+100;
const double eps=1e-6;
inline ll read(){ll x=0,f=1;char c=getchar();while(!isdigit(c)){if(c=='-')f=-1;c=getchar();}while(isdigit(c)){x=(x<<1)+(x<<3)+c-'0';c=getchar();}return f*x;
}
int n,m;
int ans;
struct node{int to,nxt;
}p[N<<1];
int fi[N],cnt;
inline void addline(int x,int y){//printf("%d->%d w=%d\n",x,y,w);p[++cnt]=(node){y,fi[x]};fi[x]=cnt;
}
int low[N],dfn[N],tim,from[N],cut[N],du[N];
int fa[N];
inline int find(int x){return fa[x]==x?x:fa[x]=find(fa[x]);
}
inline void merge(int x,int y){x=find(x),y=find(y);fa[x]=y;return;
}
void tarjan(int x){dfn[x]=low[x]=++tim;for(int i=fi[x];~i;i=p[i].nxt){//printf("  x=%d to=%d\n",x,p[i].to);if(i==(from[x]^1)) continue;int to=p[i].to;//printf("  x=%d to=%d\n",x,to);if(!dfn[to]){from[to]=i;tarjan(to);low[x]=min(low[x],low[to]);if(low[to]>dfn[x]){cut[i]=2;cut[i^1]=1;}}low[x]=min(low[x],dfn[to]);}//printf("x=%d dfn=%d low=%d\n",x,dfn[x],low[x]);
}
int main(){#ifndef ONLINE_JUDGEfreopen("a.in","r",stdin);freopen("a.out","w",stdout);#endifmemset(fi,-1,sizeof(fi));cnt=1;n=read();m=read();for(int i=1;i<=m;i++){int x=read(),y=read();addline(x,y);addline(y,x);}for(int i=1;i<=n;i++){if(!dfn[i]) tarjan(i);}for(int i=1;i<=n;i++){fa[i]=i;}for(int x=1;x<=n;x++){for(int i=fi[x];~i;i=p[i].nxt){if(cut[i]) continue;merge(x,p[i].to);}}for(int x=1;x<=n;x++){int xx=find(x);for(int i=fi[x];~i;i=p[i].nxt){if(cut[i]!=2) continue;int yy=find(p[i].to);du[xx]++;du[yy]++;}}for(int i=1;i<=n;i++){if(find(i)==i&&du[i]==1) ans++;}printf("%d\n",ans==1?0:(ans+1)/2);
}
/*
3
intercommunicational
alkylbenzenesulfonate
tetraiodophenolphthalein
0
*/

模板：割点、桥与双连通相关推荐

图论之tarjan真乃神人也，强连通分量，割点，桥，双连通他都会
先来%一下Robert Tarjan前辈 %%%%%%%%%%%%%%%%%% 然后是热情感谢下列并不止这些大佬的博客: 图连通性(一):Tarjan算法求解有向图强连通分量图连通性(二):Tarj ...
Tarjan算法 —— 强连通双连通缩点模板
TP 强连通缩点模板双连通缩点模板边双连通点双连通有向图我们知道在一张有向无环图(也叫 DAG)中,肯定存在拓扑序.拓扑序的特殊顺序性质,能够允许我们在 O(n+m)O(n + m)O( ...
学习有向图和无向图的强连通分量（基本概念+割点+点双联通分量+桥+边双连通分量+全套模板【Tarjan】）
最近总是考到Tarjan,让我措手不及基本概念割点以及点双连通分量 Tarjan法求割点推导过程代码实现 Tarjan法求点双连通分量推导过程代码实现有向图的Tarjan缩点桥与边双连 ...
图的割点桥双连通（byvoid）
[点连通度与边连通度] 在一个无向连通图中,如果有一个顶点集合,删除这个顶点集合,以及这个集合中所有顶点相关联的边以后,原图变成多个连通块,就称这个点集为割点集合.一个图的点连通度的定义为,最小割点集 ...
Tarjan算法应用（割点/桥/缩点/强连通分量/双连通分量/LCA(最近公共祖先)问题）...
转载自:http://hi.baidu.com/lydrainbowcat/blog/item/2194090a96bbed2db1351de8.html 基本概念: 1.割点:若删掉某点后,原连通图 ...
tarjan算法与无向图的连通性(割点，桥，双连通分量，缩点)
基本概念给定无向连通图G = (V, E) 割点: 对于x∈V,从图中删去节点x以及所有与x关联的边之后,G分裂为两个或两个以上不相连的子图,则称x为割点割边(桥) 若对于e∈E,从图中删去边e之 ...
图的连通性相关总结：强连通，双连通，割点割边，2-sat
刚学完了连通性相关的知识,总结一下以下均使用tarjan算法强联通分量定义强连通分量即强联通子图,一般我们都在有向图中求取最大强连通分量,即有向图一张图中任两点可达的最大子图.其中单独一个点也 ...
边双连通和点双连通（连通性）
一.时间戳: 1.一种记录时间的方式,像DFS序 2.防伪,不重复,精确到时刻 3.对每个节点而言,时间戳一般用dfn[i]来表示,最小时间戳一般用low[i]来表示二.一些边: 1.前向边:当前点 ...
POJ 3177 Redundant Paths (边双连通+缩点)
<题目链接> <转载于 >>> > 题目大意: 有n个牧场,Bessie 要从一个牧场到另一个牧场,要求至少要有2条独立的路可以走.现已有m条路,求至少要新 ...

模板：割点、桥与双连通

文章目录

割点

代码

桥

点双连通分量

代码

边双连通分量

代码

模板：割点、桥与双连通相关推荐

最新文章

热门文章