[论文解读] Inequivalent embeddings of 3-connected 3-regular planar graphs on the torus

Kengo Enami|arXiv (Cornell University)|Jun 29, 2018

Computational Geometry and Mesh Generation被引用 1

一句话总结

本文通过建立图的球面对偶图的特定子图与环面上的非等价嵌入之间的一一对应关系，表征了3-连通3-正则平面图在环面上的非等价嵌入。该文提供了明确的上界和高效的算法，用于枚举和计数这些嵌入，将惠特尼的唯一性定理从球面推广至环面。

ABSTRACT

Whitney's theorem states that every 3-connected planar graph is uniquely embeddable on the sphere. On the other hand, it has many inequivalent embeddings on another surface. We shall characterize structures of a $3$-connected $3$-regular planar graph $G$ embedded on the projective-plane, the torus and the Klein bottle, and give a one-to-one correspondence between inequivalent embeddings of $G$ on each surface and some subgraphs of the dual of $G$ embedded on the sphere. These results enable us to give explicit bounds for the number of inequivalent embeddings of $G$ on each surface, and propose effective algorithms for enumerating and counting these embeddings.

研究动机与目标

• 理解并分类3-连通3-正则平面图在环面上的非等价嵌入。
• 通过识别嵌入非等价的条件，将适用于球面上嵌入的惠特尼定理推广至环面。
• 建立图在环面上的非等价嵌入与图的对偶图在球面上的子图之间的一一对应关系。
• 推导环面上图的非等价嵌入数量的显式上界。
• 设计有效的算法，用于系统枚举和计数这些嵌入。

提出的方法

• 利用嵌入在球面上的3-连通3-正则平面图G的对偶图，识别与G在环面上的非等价嵌入相对应的子图。
• 表征这些子图的结构特性，以确保与环面上非等价嵌入之间的一一对应关系。
• 利用拓扑不变量与图对偶性，将环面上的嵌入映射为球面上的组合结构。
• 应用平面图嵌入与对偶性的已知结果，推导这些子图数量的上界，从而推导出嵌入数量的上界。
• 设计系统性地生成并计数对偶图相关子图的算法，从而枚举G在环面上的非等价嵌入。
• 利用该对应关系，确保枚举与计数过程的正确性与完备性。

实验结果

研究问题

• RQ1 什么结构条件决定了3-连通3-正则平面图在环面上的两个嵌入是非等价的？
• RQ2 如何系统地表征并枚举非等价的环面嵌入？
• RQ3 图G在环面上的非等价嵌入与G的对偶图在球面上的特定子图之间是否存在一一对应关系？
• RQ4 能否为图G在环面上的非等价嵌入数量推导出显式上界？
• RQ5 能否基于对偶子图对应关系，构建高效算法来枚举和计数这些嵌入？

主要发现

• 3-连通3-正则平面图G在环面上的非等价嵌入与G的对偶图在球面上的某些子图之间存在一一对应关系。
• G在环面上的非等价嵌入数量受球面对偶图中此类子图数量的限制，从而可获得显式上界。
• 该表征方法使得开发有效算法来枚举和计数G在环面上的非等价嵌入成为可能。
• 研究结果将惠特尼关于球面嵌入的唯一性定理推广至环面，表明在环面上唯一性不成立。
• 该方法提供了一个组合框架，仅通过球面上的对偶图结构即可分析和计算环面嵌入。