[论文解读] Chord Diagrams and Gauss Codes for Graphs

Thomas R. Fleming, Blake Mellor|ArXiv.org|Aug 15, 2005

Geometric and Algebraic Topology参考文献 17被引用 5

一句话总结

本文将经典基于圆的弦图与高斯码推广至任意平面图，引入了适用于更广义图嵌入的弦图与高斯码理论。提出了一种多项式时间算法，用于判断给定的高斯码是否可实现为平面中图的浸入，其核心基于推导出的分裂图的平面性及嵌入可扩展性，从而实现对弦图的判定。

ABSTRACT

Chord diagrams on circles and their intersection graphs (also known as circle graphs) have been intensively studied, and have many applications to the study of knots and knot invariants, among others. However, chord diagrams on more general graphs have not been studied, and are potentially equally valuable in the study of spatial graphs. We will define chord diagrams for planar embeddings of planar graphs and their intersection graphs, and prove some basic results. Then, as an application, we will introduce Gauss codes for immersions of graphs in the plane and give algorithms to determine whether a particular crossing sequence is realizable as the Gauss code of an immersed graph.

研究动机与目标

• 将弦图与高斯码理论从圆推广至任意平面图，以支持空间图分析。
• 解决给定交叉序列（高斯码）是否可实现为图在平面上的浸入的问题。
• 开发一种系统化方法，利用图分裂与平面性测试验证高斯码的可实现性。
• 提供一种构造性算法，从有效高斯码恢复平面浸入，确保拓扑一致性。

提出的方法

• 通过在边（不包括顶点）上放置 2n 个标记点来定义图上的弦图，每个标记恰好出现两次以形成弦。
• 引入定向弦图，使用成对标记（如 $c_i$ 和 $\bar c_i$）编码边的方向与交叉方向。
• 通过路径重叠定义弦图的交集图：若两根弦的端点间所有路径均适当相交，则称其相交。
• 从高斯码 $S$ 构造分裂图 $G^*$，方法为在每个交叉点处复制顶点，同时保持边的方向。
• 使用深度优先遍历算法将分裂图 $G^*$ 嵌入平面，确保其平面性与方向一致性。
• 应用反向展开过程，从弦图重构原始图的浸入，必要时修正边的方向。

实验结果

研究问题

• RQ1 弦图能否有意义地从圆推广至任意平面图？其交集结构由什么决定？
• RQ2 高斯码需满足何种条件，才能作为图在平面上的浸入实现？
• RQ3 是否存在一种算法方法，可判断给定的交叉序列是否对应于图的有效空间嵌入？
• RQ4 如何利用图论性质（如平面性与嵌入可扩展性）验证高斯码的拓扑一致性？

主要发现

• 对于连通图 $G$，其高斯码 $S$ 可实现为平面浸入，当且仅当其关联的分裂图 $G^*$ 是平面图，且其嵌入可扩展至包含弦图。
• 验证可实现性的算法运行时间为多项式时间，依赖于线性时间的平面性测试与嵌入可扩展性检查。
• 分裂图 $G^*$ 的嵌入在球面上唯一（模同伦），确保重构过程的一致性。
• 将弦反向展开为交叉点的过程保持图的连通性，且可通过比较中间分裂码修正方向不匹配。
• 该方法可扩展至含过/下交叉与符号交叉信息的空间图，实现对这类高斯码的多项式时间验证。