[论文解读] Isomorphism-free lexicographic enumeration of triangulated surfaces and 3-manifolds

T. Sulanke, Frank H. Lutz|ArXiv.org|Sep 30, 2006

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

一句话总结

本文提出了一种用于三角剖分的2-和3-流形的同构自由字典序枚举算法，显著提升了先前方法的效率。该方法通过系统地探索规范形式，生成所有组合上不同的三角剖分，避免同构重复，实现了对所有11个顶点的三角剖分曲面和3-流形的完整枚举，包括172,638,650种不同的3-流形，以及30种ℝℙ³的顶点最小三角剖分。

ABSTRACT

We present a fast enumeration algorithm for combinatorial 2- and 3-manifolds. In particular, we enumerate all triangulated surfaces with 11 and 12 vertices and all triangulated 3-manifolds with 11 vertices. We further determine all equivelar polyhedral maps on the non-orientable surface of genus 4 as well as all equivelar triangulations of the orientable surface of genus 3 and the non-orientable surfaces of genus 5 and 6.

研究动机与目标

• 开发一种高效且同构自由的算法，用于枚举组合意义上的2-和3-流形（至同构）。
• 计算11个和12个顶点的三角剖分曲面的完整列表。
• 枚举所有11个顶点的三角剖分3-流形，并对其拓扑和组合类型进行分类。
• 确定特定3-流形（包括ℝℙ³和透镜空间）的三角剖分所需的最小顶点数。
• 识别特定曲面（如非可定向亏格4曲面和可定向亏格3曲面）的等边三角剖分。

提出的方法

• 该算法使用规范形式下的字典序枚举，确保每个三角剖分仅在同构意义下生成一次。
• 采用深度优先搜索并结合剪枝策略，避免在枚举过程中生成同构副本。
• 系统地按字典序探索所有可能的三角形（四面体）组合，同时保持组合不变性。
• 利用顶点邻域必须是PL球面的性质，提前筛选出有效的三角剖分。
• 实现代码名为lextri，采用优化的数据结构和组合检查，以加速有效单纯复形的枚举。
• 对于小规模三角剖分，通过欧拉示性数和可定向性等启发式方法确定拓扑类型，使用已知的3-球识别算法进行辅助。

实验结果

研究问题

• RQ1 在组合同构意义下，11个和12个顶点的三角剖分2-流形共有多少种？
• RQ2 11个顶点的三角剖分3-流形共有多少种？其拓扑和组合类型分别是什么？
• RQ3 三角剖分特定3-流形（如ℝℙ³和透镜空间）所需的最小顶点数是多少？
• RQ4 对于特定曲面（如非可定向亏格4曲面和可定向亏格3曲面），存在哪些等边三角剖分？
• RQ5 所有11个顶点的3-球是否都是可壳化的？目前已知的最小非壳化3-球有多少个顶点？

主要发现

• 共有确切的172,638,650种不同的11个顶点的三角剖分3-流形。
• 3-球S³有166,564,303种11个顶点的三角剖分，而ℝℙ³恰好有30种顶点最小的11个顶点三角剖分。
• ℝℙ³的最小三角剖分需要11个顶点，而Walkup的三角剖分（f-向量为(11,51,80,40)）是唯一同时实现顶点和面最小化的版本。
• 所有11个顶点的3-球都是可壳化的，目前已知的最小非壳化3-球有13个顶点。
• 共有183,136,3502种10个顶点的三角剖分3-球，其中277,479种是非壳化的。
• 连通和(S²×S¹)#(S²×S¹)与(S²×̃S¹)#(S²×̃S¹)的三角剖分所需的最小顶点数为12。