[论文解读] Geodetic Graphs Homeomorphic to a Given Geodetic Graph

Carlos E. Frasser, G. Vostrov|arXiv (Cornell University)|Nov 7, 2016

Computational Geometry and Mesh Generation参考文献 5被引用 4

一句话总结

本文提出了一种算法框架，系统性地生成与给定测地图同胚的所有测地图，利用图细分和拓扑不变性。该方法实现了此类图的完整枚举，并应用于摩尔图，得出明确的分类结果。

ABSTRACT

This paper describes a new approach to the problem of generating the class of all geodetic graphs homeomorphic to a given geodetic one. An algorithmic procedure is elaborated to carry out a systematic finding of such a class of graphs. As a result, the enumeration of the class of geodetic graphs homeomorphic to certain Moore graphs has been performed.

研究动机与目标

• 开发一种系统化方法，以生成与指定测地图同胚的所有测地图。
• 解决在同胚关系下对测地图进行分类的挑战，该关系保持拓扑等价性并保留测地线性质。
• 提供一种算法程序，确保此类图类枚举的完整性和正确性。
• 将该方法应用于特定图族，特别是摩尔图，以推导出明确的枚举结果。

提出的方法

• 该方法基于图细分，通过将边替换为路径来生成同胚图，同时保持测地线唯一性。
• 采用规范标记和遍历策略，以在枚举过程中避免同构重复。
• 算法使用深度优先搜索并结合剪枝策略，系统性地探索有效细分的空间。
• 在每一步中强制实施拓扑不变性和测地线距离保持性，以维持测地图性质。
• 该方法使用为图同构测试和规范形式生成优化的数据结构实现。
• 通过将该方法应用于已知的摩尔图对过程进行验证，结构验证确认了正确性。

实验结果

研究问题

• RQ1 与给定测地图同胚的所有测地图的完整集合是什么？
• RQ2 如何算法性地生成所有此类图而不产生重复？
• RQ3 在保持测地线性质的前提下，哪些结构性质在同胚下保持不变？
• RQ4 该方法能否有效应用于特定图族，如摩尔图？
• RQ5 与给定摩尔图同胚的测地图类的大小和结构如何？

主要发现

• 该算法成功生成了与给定测地图同胚的所有测地图，确保无同构重复。
• 该方法实现了对某些摩尔图同胚测地图的完整枚举，结果在期刊发表中详细列出。
• 与摩尔图同胚的测地图类是有限的，其结构受原图性质的严格约束。
• 该算法在整个生成图中保持测地线唯一性，证实测地图性质在构造过程中得以保持。
• 枚举过程表明，测地图中的同胚关系具有高度限制性，有效细分的数量受到严格限制。
• 结果证实，该算法框架对目标图族既正确又有效。