정점 링크의 종 검출로 3‑다양체 삼각분할 열거 속도 혁신

** 본 논문은 3‑다양체 삼각분할을 전부 열거하는 작업이 combinatorial explosion(조합 폭발) 때문에 실용적으로 어려운 문제임을 지적한다. 기존 열거 알고리즘은 모든 가능한 면 짝짓기를 재귀적으로 탐색하면서, 각 단계에서 “정점 링크가 구가 아니면 3‑다양체가 될 수 없다”는 조건을 O(n) 시간에 검사했다. 이 검사는 빈번히 호출되므로 전체 실행 시간에 큰 부담을 주었다. 저자들은 이 문제를 해결하기 위해 정점 링크의 경계 곡선을 효율적으로 관리하는 새로운 자료구조 설계를 제안한다. 구체적으로, 각 정점 연결 가장자리(edge)를 방향성을 부여하고, 이 가장자리들이 속한 경계 곡선을 Union‑Find 구조로 묶어 동일 곡선 여부를 상수 시간에 확인한다. 경계 곡선 자체는 스킵 리스트 기반의 순환 리스트로 구현하여, 가장자리 결합(merge)·분리(split) 연산을 기대 로그 시간(O(log n))에 수행한다. 재귀 탐색 과정에서 두 면을 붙이면 세 쌍의 정점 연결 가장자리가 동시에 결합된다. 이때 스킵 리스트는 해당 가장자리들의 전·후 포인터와 방향 정보를 빠르게 업데이트한다. 백트래킹 단계에서는 가장 최근에 경계 곡선에 있었던 정보를 스냅샷 형태로 보관해 두었다가, 역연산을 로그 시간 안에 복원한다. 이렇게 구현된 “Test 2”는 현재 부분 삼각분할의 모든 정점 링크가 구(구멍이 있을 수 있음)인지 즉시 판단한다. 만약 하나라도 고종(genus) 형태라면 해당 분기를 즉시 차단한다. 이 방법을 실제 구현한 프로그램은 Regina 소프트웨어 패키지에 포함되어 배포된다. 실험에서는 n ≤ 7인 경우에 기존 알고리즘 대비 평균 30배, 최악 249배의 속도 향상을 기록했다. 특히, 전체 조합 수가 10^12에 달하는 경우에도 대부분의 비유효 분기가 초기에 차단되어 탐색 트리의 크기가 크게 감소하였다. 또한, 병렬화 전략을 도입해 고성능 컴퓨팅 클러스터에서 작업을 수행하였다. 이를 통해 n = 10까지의 모든 폐쇄 3‑다양체 삼각분할(비최소 포함)을 완전 열거했으며, 기존에 알려진 n ≤ 9 한계를 넘어섰다. 더불어, n = 11까지의 최소 삼각분할(폐쇄 P²‑비분해 가능 3‑다양체)도 새롭게 수집하였다. 이 데이터는 이후 위상학적 복잡도 분석, 무작위 3‑다양체 모델링 등에 활용될 예정이다. 논문의 마지막 섹션에서는 4‑다양체 열거에 대한 전망을 논의한다. 4‑다양체에서는 정점 링크 대신 에지 링크(3‑구면)를 검증해야 하는데, 3‑구면 인식은 현재 알려진 알고리즘이 매우 복잡하고 실용적이지 않다. 따라서 저자들은 현재 제안한 로그 시간 경계 관리 기법을 그대로 적용하고, 3‑구면 판별을 위한 대수적 혹은 휴리스틱 방법을 추가 연구해야 한다고 제언한다. 전반적으로, 이 논문은 3‑다양체 삼각분할 열거 과정에서 가장 비용이 많이 드는 “정점 링크 구 검증”을 로그 시간으로 전환함으로써, 실용적인 대규모 열거와 새로운 데이터베이스 구축을 가능하게 만든 중요한 공헌을 제시한다. **