无向图的Hierholzer算法流程(二)

精妙的深度优先搜索

虽然 Hierholzer 算法的流程看起来较为复杂,但我们可以通过一段精妙的代码,将算法流程中的两个步骤合并到同一个深度优先搜索过程中。

在图论的代码实现中,一条无向边一般会被拆成两条有向边。由于 Hierholzer 算法的流程需要我们删除一条无向边,因此我们需要同时删除一条有向边和它的反向边。这样的操作只有利用链式前向星^6(亦称边表)存储无向图时才能在 的时间复杂度内完成,因此下文的代码实现中,均使用链式前向星存储无向图。

Hierholzer 算法的一个 C++ 实现如下。请注意,为了便于分析与讲解,下面给出的代码实现并不是欧拉回路的最优时间复杂度实现。下文中,我们将提出该实现的一个优化。

复制代码
// 为了方便存储一条边的众多信息,我们定义一个结构体
//
// struct Edge {
//     int fn, nxt;
//     bool del;
// };
//
// 其中:
//   * fn 表示这条有向边的终点
//   * nxt 表示链式前向星中,该有向边的后续边的编号,如果没有后续边则值为 0
//   * del 表示这条边是否被遍历过了
//
// e[] 是一个类型为 Edge 的数组,e[i] 表示链式前向星中编号为 i 的边
// p[] 是一个类型为 int 的数组,p[i] 表示以 i 为起点的第一条边在链式前向星中的编号
// 如果没有以 i 为起点的有向边则 p[i] 的值为 0
//
// 为了方便我们查找某一条有向边的反向边,当我们向链式前向星中加入第 i(i 从 1 到 m)条无向边 x - y 时,
// 我们会将有向边 x -> y 存储在 e[i * 2],有向边 y -> x 存储在 e[i * 2 + 1],
// 这样,e[i] 和 e[i ^ 1] 就互为反向边
//
// ans 是一个类型为 vector<Edge> 的变量,用来存储我们找到的回路

void dfs(int sn) {
    for (int i = p[sn]; i != 0; i = e[i].nxt) {
        // 这条边已经被遍历过了,跳过
        if (e[i].del) continue;
        // 删除有向边 e[i] 和它的反向边 e[i ^ 1]
        e[i].del = e[i ^ 1].del = true;
        // 继续遍历相邻点
        dfs(e[i].fn);
        // 将边 e[i] 加入结果序列中
        ans.push_back(e[i]);
    }
}

调用 dfs(S) 后,ans 里就保存了从节点 S 出发,并回到节点 S 的欧拉回路。需要注意的是,此时 ans 中保存的欧拉回路,是我们求出的欧拉回路的倒序。因此,我们还需要调用 reverse(ans.begin(), ans.end())ans 中所有元素顺序倒转后,才能得到我们想要的欧拉回路。

相关推荐
白狐_7986 小时前
408数据结构第8章:排序②——性质对比秒杀、场景选择与外部排序
java·数据结构·算法
zander2586 小时前
LeetCode 84:柱状图中的最大矩形——单调栈如何确定左右边界
java·数据结构·算法
Shell运维手记6 小时前
Linux 常用基础命令学习笔记
linux·运维·笔记·学习·算法·github
杨航 AI7 小时前
O(n log n):线性对数原理拆解 这个是排序算法的黄金复杂度之一。
算法·排序算法
船厂电气自动化ai大模型7 小时前
AI大模型与数学 第32课 函数凹凸性与二阶导数:拐点求解、凹凸区间计算(10道二阶导数计算题)
数据结构·人工智能·python·深度学习·算法
旖旎夜光7 小时前
LeetCode 3:无重复字符的最长子串(滑动窗口) —— 题解
数据结构·c++·算法·leetcode·滑动窗口
叠层归一研究院9 小时前
AGI 系统(十一):二阶网络 — 二阶递归 × 多主体 (元符号网络)
开发语言·人工智能·算法·php·agi
zlinear数据采集卡9 小时前
D223的PWM电机控制:6路独立脉冲+加减速算法深度解析
arm开发·stm32·嵌入式硬件·算法·fpga开发·架构
杨石兴10 小时前
31、玩具MoM:用2x2矩阵串起全套流程
人工智能·算法·矩阵·电磁学
江畔柳前堤10 小时前
Function Calling 与 Tool Calling:从认知到工程的全景深度解析
开发语言·网络·人工智能·深度学习·算法·机器学习·php