无向图的割顶和桥(tarjan模板)

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstring>
using namespace std;
#define maxn 7500
#define inf 0x3f3f3f3f
int first[maxn],to[maxn],nxt[maxn],e;
int pre[maxn],low[maxn];
int clock;
int iscut[maxn];
void add(int u,int v){
    to[e]=v;nxt[e]=first[u];first[u]=e++;
}
int dfs1(int u,int fa){
    low[u]=pre[u]=++clock;
    for(int i=first[u];~i;i=nxt[i]){
        int v=to[i];
        if(!pre[v]){
            low[u]=min(low[u],dfs1(v,u));
        }
        else if(pre[v]<pre[u]&&v!=fa){
            low[u]=min(low[u],pre[v]);
        }
    }
    return low[u];
}
int n,m,t;
int g[maxn][maxn];
struct edge{
   int u,v;
   edge(int u,int v):u(u),v(v){};
   edge(){};
}bridge[maxn];
int dfs(int u,int fa){
    low[u]=pre[u]=++clock;
    for(int v=1;v<=n;v++){
        if(g[u][v]){
            if(!pre[v]){
            int lowv=dfs(v,u);
            low[u]=min(low[u],lowv);
               if(lowv>=pre[u]){
                iscut[u]=1;
               }
               if(lowv>pre[u]){
                 bridge[t++]=edge(u,v);
               }
            }
            else if(pre[v]<pre[u]&&v!=fa){
            low[u]=min(low[u],pre[v]);
            }
        }
    }
    if(fa<0)iscut[u]=0;
    return low[u];
}
void inital(){
    t=0;
    e=0;
    clock=0;
    memset(first,-1,sizeof first);
    memset(pre,0,sizeof pre);
    for(int i=1;i<=n;i++){
        low[i]=10000;
    }
}
int main()
{

    int u,v;
    freopen("in.txt","r",stdin);
    while(~scanf("%d%d",&n,&m)){
        inital();
        for(int i=0;i<m;i++){
            scanf("%d%d",&u,&v);
            //add(u,v);
            //add(v,u);
            g[u][v]=g[v][u]=1;
        }
        for(int i=1;i<=n;i++){
            if(!pre[i])dfs(i,-1);
        }
        for(int i=1;i<=n;i++){
            printf("%d %d\n",pre[i],low[i]);
        }
        for(int i=1;i<=n;i++){
            printf("%d ",iscut[i]);
        }
        printf("\n下面是桥:\n");
        for(int i=0;i<t;i++){
            printf("%d -> %d\n",bridge[i].u,bridge[i].v);
        }
        printf("\n");
    }
}

版权声明:本文为博主原创文章,未经博主允许不得转载。

时间: 2024-09-30 06:20:16

无向图的割顶和桥(tarjan模板)的相关文章

连通分量 无向图的割顶和桥 无向图的双连通分量 有向图的强连通分量

时间戳 dfs_clock :说白了就是记录下访问每个结点的次序.假设我们用 pre 保存,那么如果 pre[u] > pre[v], 那么就可以知道先访问的 v ,后访问的 u . 现在给定一条边, (u, v), 且 u 的祖先为 fa, 如果有 pre[v] < pre[u] && v != fa, 那么 (u, v) 为一条反向边. 1 求连通分量: 相互可达的节点称为一个连通分量: #include <iostream> #include <cstd

无向图求割顶与桥

无向图求割顶与桥 对于无向图G,如果删除某个点u后,连通分量数目增加,称u为图的关节点或割顶.对于连通图,割顶就是删除之后使图不再连通的点.如果删除边(u,v)一条边,就可以让连通图变成不连通的,那么边(u,v)是桥. 具体的概念和定义比较多,在刘汝佳<<训练指南>>P312-314页都有详细的介绍. 下面来写求无向图割顶和桥的DFS函数.我们令pre[i]表示第一次访问i点的时间戳,令low[i]表示i节点及其后代所能连回(通过反向边)的最早祖先的pre值. 下面的dfs函数返回

无向图的割顶和桥,无向图的双连通分量入门详解及模板 -----「转载」

https://blog.csdn.net/stillxjy/article/details/70176689 割顶和桥:对于无向图G,如果删除某个节点u后,连通分量数目增加,则称u为图的割顶:如果删除某条边后,连通分量数目增加,则称该边为图的桥.对于连通图删除割顶或桥后都会使得图不再连通 以下我,我们利用dfs的性质来快速找出一个连通图中的所有的割顶和桥 首先我们要引入”时间戳”这个概念: 时间戳:表示在进行dfs时,每个节点被访问的先后顺序.每个节点会被标记两次,分别用pre[],和post

无向图的割顶和桥

割顶: 关键点,删掉这个点后,图的连通分量 + 1: 桥: 在割顶的基础上,发现删除 (u,v) 这条边,图就变成非连通的了. 如何找出所有割顶和桥: 时间戳: 在无向图的基础上,DFS建树的过程中,各点进栈和出栈的时间 dfs_clock,进栈的时间 pre[],出栈的时间 post[] 在DFS程序中的体现就是: void previst(int u) { pre[u]= ++dfs_clock; } void postvist(int u) { post[u] = ++dfs_clock;

无向图的割顶和桥的性质 以及双连通分量的求解算法

割顶:对于无向图G,如果删除某个点u后,连通分量的数目增加, 称u为图的割顶.对于连通图,割顶就是删除之后使图不再连通的点. 割顶的求解依如下定理: 在无向连通图G的DFS树中,非根结点u是G的割顶当且仅当u存在一个子节点v,使得v及其所有后代都没有反向边连回u的祖先(连回u)不算. 算法实现: 采用时间戳,在dfs遍历的过程中给每个节点u均标记以前序时间戳pre[u],设low[u]为u及其后代所能连回的最早的祖先的pre值,则定理中的条件就可以简写成结点u存在一个子结点v,使得 low[v]

Tarjan 算法求无向图的割顶和桥

#include <iostream> #include <cstdio> #include <algorithm> using namespace std; const int N = 250; int head[N], low[N], dfn[N], fa[N]; int n, m, now = 1, Tarjan_clock; bool is_cut[N]; struct Node{ int u, v, nxt; }E[N]; inline int read()

DFS的运用(二分图判定、无向图的割顶和桥,双连通分量,有向图的强连通分量)

一.dfs框架: 1 vector<int>G[maxn]; //存图 2 int vis[maxn]; //节点访问标记 3 void dfs(int u) 4 { 5 vis[u] = 1; 6 PREVISIT(u); //访问节点u之前的操作 7 int d = G[u].size(); 8 for(int i = 0; i < d; i++)//枚举每条边 9 { 10 int v = G[u][i]; 11 if(!vis[v])dfs(v); 12 } 13 POSTVIS

无向图求割顶和桥总结

1.求能够分成几个联通分量什么的一般都在dfs中间那里if(...>...) cnt[i],iscut[i]维护一下就OK了. 2.根结点特别需要注意. 好像就没了→_→

【模板】无向图的割顶

无向图的割顶: Vector <int> G[] :邻接表存图 Int pre[] :存储时间戳 Int low[] : u及其后代所能连回的最早的祖先的pre值 Int iscut[] : =true表示是割顶,=false不是割顶 Dfs函数在主函数调用时,fa预设为-1. vector <int> G[MAXN]; int pre[MAXN],iscut[MAXN],low[MAXN],dfs_clock; int dfs(int u,int fa) { int lowu=p