[논문 리뷰] Isomorphism-free lexicographic enumeration of triangulated surfaces and 3-manifolds

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

Computational Geometry and Mesh Generation참고 문헌 46인용 수 4

한 줄 요약

이 논문은 2- 및 3-다양체의 이소모르피즘 없는 사전순 열거 알고리즘을 제시하며, 이전 방법보다 효율성을 크게 향상시킨다. 이 방법은 정규형을 체계적으로 탐색하여 동형을 고려하지 않은 모든 조합적 다양체를 생성하며, 11개의 정점을 가진 모든 표면 및 3-다양체의 완전한 열거를 가능하게 한다. 이로써 17,263,8650개의 서로 다른 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에 대한 등변(triangulation)이 존재하는지 확인한다.

제안 방법

• 알고리즘은 정규형에서의 사전순 열거를 사용하여, 동형을 제외하고 각 트라이앵귤레이션을 딱 한 번만 생성한다.
• 등장하는 동형 사본을 방지하기 위해 가지치기 기반의 깊이 우선 탐색을 사용한다.
• 조합적 불변성을 유지하면서 사전순으로 모든 가능한 삼각형(체르코이드) 조합을 체계적으로 탐색한다.
• 정점의 링크(link)는 반드시 PL 구이어야 하므로, 이 성질을 활용해 탐색의 초기 단계에서 유효한 트라이앵귤레이션을 걸러내는 데 사용한다.
• 최적화된 데이터 구조와 조합적 검사를 사용하여 유효한 단순 복합체의 열거를 가속화하는 데 사용되는 구현체인 lextri를 개발한다.
• 소규모 트라이앵귤레이션의 경우, 오일러 지표와 옹호성 등을 사용한 히우리스틱 방법으로 위상적 유형을 결정하며, 3-구면체 식별 알고리즘을 활용한다.

실험 결과

연구 질문

• RQ1 11 및 12개 정점을 가진 트라이앵귤레이션된 2-다양체는 조합적 동형을 고려할 때 총 몇 개인가?
• RQ2 11개 정점을 가진 트라이앵귤레이션된 3-다양체는 총 몇 개인가? 그 위상적 및 조합적 유형은 무엇인가?
• RQ3 특정 3-다양체, 예를 들어 ℝℙ³ 및 렌즈 공간을 트라이앵귤레이션하기 위해 필요한 최소 정점 수는 얼마인가?
• RQ4 특정 표면, 예를 들어 비오리엔터블 표면의 합성수 4와 옹호 표면의 합성수 3에 대해 등변 트라이앵귤레이션이 존재하는가?
• RQ5 11개 정점을 가진 모든 3-구면체는 셸러블한가? 알려진 최소 비셸러블 3-구면체는 몇 개의 정점을 가진가?

주요 결과

• 11개 정점을 가진 서로 다른 트라이앵귤레이션된 3-다양체는 정확히 17,263,8650개 존재한다.
• 3-구면체 S³는 11개 정점으로 166,564,303개의 트라이앵귤레이션을 가지며, ℝℙ³는 정확히 30개의 정점 최소 트라이앵귤레이션을 가진다.
• ℝℙ³의 최소 트라이앵귤레이션은 11개의 정점이 필요하며, Walkup의 트라이앵귤레이션(11,51,80,40)은 유일하게 정점과 면을 최소화한 것이다.
• 11개 정점을 가진 모든 3-구면체는 셸러블하며, 알려진 최소 비셸러블 3-구면체는 13개의 정점을 가진다.
• 10개 정점으로 구성된 트라이앵귤레이션된 3-볼은 총 18,313,63502개 존재하며, 이 중 277,479개는 비셸러블하다.
• 연결합 (S²×S¹)#(S²×S¹) 및 (S²×̃S¹)#(S²×̃S¹)를 트라이앵귤레이션하기 위한 최소 정점 수는 12개이다.