具有平凡基本群的三价2-层流形图的字符串表示
一般拓扑
2020-11-30 v1
摘要
我们给出一个 Python 程序，能够计算并打印出所有具有平凡基本群、白顶点数不超过 的不同三价 2-层流形图。我们的算法使用三种基本操作从任意给定图集构造新图。我们迭代此过程以构造所有所需图。该算法包含一种优化，通过识别图在自同构下等价的白顶点来减少生成图的重复。我们使用 AHU 算法的一种变体来识别这些顶点，并以线性时间区分同构图。AHU 算法返回的字符串也用作哈希函数，以平摊常数时间搜索重复图。
引用
@article{arxiv.2011.13107,
title = {String representation of trivalent 2-stratifolds with trivial fundamental group},
author = {Myriam Hernández-Ketchul and Jesús Rodríguez-Viorato},
journal= {arXiv preprint arXiv:2011.13107},
year = {2020}
}
备注
13 pages, 2 figures, 7 pseudo-code. Algorithm to build all the trivalent graphs up to $N$ white vertices