求解边双联通分量的方法

我们在求解边双连通分量的时候,只需要把每个点从哪条边走来进行记录就行了

所谓边双连通分量是指不存在桥的一个子图,也可以说从一个点到另一个点一定是有两条边不相交的路的

这里写图片描述

对于这样一张图,我们要如何去求出其中的边双连通分量?我们会发现,对于这一整张图,任意两点都可以互达并且路径无边相交,并且图中显然不存在桥
如果是普通的tarjan算法,对于双向边,会搜回去,所以我们限制其不能走反向边,加入DFS的顺序是ABCDE,DFS遍历图是这样的顺序:
这里写图片描述

给每一对双向边编一个序号
操作如下:

void add_line(int from,int to){
    tail++;
    line[tail].from=from;
    line[tail].to=to;
    line[tail].nxt=head[from];
    head[from]=tail;
    tail++;
    line[tail].from=to;
    line[tail].to=from;
    line[tail].nxt=head[to];
  
  • 0
    点赞
  • 2
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
以下是无向图的双连通分量的 C 语言代码实现,基于 Tarjan 算法: ```c #include <stdio.h> #include <stdlib.h> #include <string.h> #define MAXN 1000 int n, m, top, cnt, bcnt; int head[MAXN + 1], dfn[MAXN + 1], low[MAXN + 1], stack[MAXN + 1], belong[MAXN + 1]; struct Edge { int to, next; } edge[MAXN * 2 + 1]; void addEdge(int u, int v) { edge[++cnt].to = v; edge[cnt].next = head[u]; head[u] = cnt; } void tarjan(int u, int fa) { dfn[u] = low[u] = ++cnt; stack[++top] = u; int flag = 0; for (int i = head[u]; i; i = edge[i].next) { int v = edge[i].to; if (!dfn[v]) { tarjan(v, u); low[u] = low[u] < low[v] ? low[u] : low[v]; if (dfn[u] <= low[v]) { flag++; if (fa || flag > 1) { belong[u] = ++bcnt; while (stack[top] != u) { belong[stack[top]] = bcnt; top--; } } else if (fa == 0 && flag == 1) { belong[u] = ++bcnt; belong[stack[top]] = bcnt; top--; } } } else if (v != fa && dfn[v] < dfn[u]) { low[u] = low[u] < dfn[v] ? low[u] : dfn[v]; } } } int main() { scanf("%d %d", &n, &m); for (int i = 1; i <= m; i++) { int u, v; scanf("%d %d", &u, &v); addEdge(u, v); addEdge(v, u); } for (int i = 1; i <= n; i++) { if (!dfn[i]) { tarjan(i, 0); if (top) { bcnt++; while (top) { belong[stack[top]] = bcnt; top--; } } } } printf("There are %d biconnected components in the graph.\n", bcnt); for (int i = 1; i <= n; i++) { printf("The vertex %d belongs to the %d-th biconnected component.\n", i, belong[i]); } return 0; } ``` 其中,`n` 和 `m` 分别表示无向图的顶点数和边数,`head[]` 数组存储邻接表,`dfn[]` 和 `low[]` 分别表示 DFS 序和能够回溯到的最小祖先,`stack[]` 用于存储访问过的节点,`belong[]` 存储每个节点所属的双连通分量编号,`cnt` 用于记录边数,`top` 表示栈顶,`bcnt` 表示双连通分量的数量。 Tarjan 算法的具体实现见代码中的 `tarjan()` 函数。在程序最后,输出了双连通分量的数量和每个节点所属的双连通分量编号。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值