割边判定法则 tarjan搜索桥

若(x,y)是桥,当且仅当 y是x的子节点,且dfn[x]<low[y]

#include<iostream>
using namespace std;
const int N =10010;
int head[N],nex[N<<1],e[N<<1],tot;
int dfn[N],low[N],n,m,num;
bool bridge[N<<1];

void add(int x,int y){
    e[++tot]=y,nex[tot]=head[x],head[x]=tot;
}

void tarjan(int x,int f){
    dfn[x]=low[x]=++num;//时间戳 并且初始化low
    for(int i=head[x];i;i=nex[i]){
        int y=e[i];
        if(!dfn[y]){//如果此点没被经过,那么向下递归
            tarjan(y,i);
            low[x]=min(low[x],low[y]);//向前迭代回溯
            if(low[y]>dfn[x])//割边判定法则
                bridge[i]=bridge[i^1]=1;
        }
        else if (i!=(f^1))//如果和父节点有重边,可以更新
            low[x]=min(low[x],dfn[y]);
    }
}


int main()
{
    cin>>n>>m;
    for(int i=1;i<=m;i++){
        int x,y;
        cin>>x>>y;
        add(x,y),add(y,x);
    }
    for(int i=1;i<=n;i++)//多个图遍历
        if(!dfn[i]) tarjan(i,0);
    for(int i=1;i<tot;i+=2)
        if(bridge[i])
            cout<<e[i^1]<<' '<<e[i]<<endl;
    return 0;
}
发布了38 篇原创文章 · 获赞 5 · 访问量 837

猜你喜欢

转载自blog.csdn.net/Fooooooo/article/details/104891855