在无向图中,所有能互相连通的点组成了一个“强连通分量”。在一个连通分量中有一些关键的点,如果删除它,就会把这个连通分量分成两个或者更多,这种点就称为割点。
类似的有割边,在一个强连通分量中,如果删除一个边,把这个连通分量分成两个,这个边就称为割边。
计算割点一般使用tarjan算法,dfs整个图,如果存在某条路径可以回到祖先,就说明不是割点。
计算割点要将所有点分为两种情况,一种是根节点,如果搜索树的根节点有两个以上子树,就是割点。另一种是子搜索树根节点,如果子树不能到达根节点的祖先,就是割点。
算法的设计
dfs要维护两个变量,一个是每个节点的时间戳num,另一个是每个节点子树所能到达的最小祖宗节点low。
如果非根节点的num>某一个子节点的low,那么该节点就是割点。
例题:luogu p3388
iscut标记割点,ans表示割点数量
#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
#define N 20010
#define M 200100
int h[N],to[M],ne[M],cnt;
int low[N],num[N];//分别代表连接的最小点和时间戳
void add( int a,int b){
to[cnt]=b;ne[cnt]=h[a];h[a]=cnt++;
}
int ans=0;
int iscut[N];
int dfs( int rt,int fa){
low[rt]=num[rt]=cnt++;
int child=0;//搜索树的孩子数,不是原图的孩子数
for( int i=h[rt];i!=-1;i=ne[i]){
int j=to[i];
if(j==fa) continue;
if(num[j]==0){//该点是子节点
child++;
low[rt]=min(dfs(j,rt),low[rt]);
if(low[j]>=num[rt]&&iscut[rt]==0&&fa!=0){ //判断割点与割边的区别语句
iscut[rt]=1;
ans++;
}
}
else if(num[j]<num[rt]){//该点是某个祖先节点
low[rt]=min(low[rt],num[j]);
}
}
if(child>=2&&fa==0){//特判根节点
iscut[rt]=1;
ans++;
}
return low[rt];
}
int main(){
int n,m;
cin>>n>>m;
memset(h,-1,sizeof(h));
memset(low,0x3f,sizeof(low));
for( int i=1;i<=m;i++){
int a,b;
cin>>a>>b;
add(a,b);add(b,a);
}
cnt=1;
for( int i=1;i<=n;i++){//防止不连通
if( num[i]==0)
dfs(i,0);
}
cout<<ans<<endl;
for( int i=1;i<=n;i++){
if(iscut[i]!=0) {
printf("%d ",i);
}
}
}
判断割边只需要将low[j]>=num[rt]改为low[j]>num[rt]。
如果不等式成立,那么( rt , j ) 就是割边