풀러렌 생성 알고리즘의 혁신적 고속화

초록

본 논문은 풀러렌을 효율적으로 생성하는 새로운 알고리즘을 제시한다. 구현된 프로그램은 기존 최고속도 생성기인 fullgen보다 3.5배 이상 빠르며, 100개 이상의 정점에서도 실용적으로 동작한다. 또한 fullgen의 136개 이상의 정점에서 발생하는 프로그래밍 오류를 발견하고, 400개 정점까지의 풀러렌 및 IPR 풀러렌 개수를 표로 제공한다. 마지막으로, 최대 면 크기가 6인 3차 평면 그래프가 해밀턴ian임을 316 정점까지 검증하고, 스파이럴 추측의 최소 반례가 380 정점임을 확인한다.

상세 분석

이 연구는 풀러렌(정다면체 형태의 탄소 클러스터)을 생성하는 문제를 그래프 이론과 컴퓨터 과학의 교차점에서 접근한다. 풀러렌은 3차 정규 평면 그래프이며, 모든 면이 5각형 또는 6각형으로 이루어진다. 기존의 fullgen 알고리즘은 면 삽입과 변형을 통해 모든 가능한 구조를 열거했지만, 정점 수가 증가함에 따라 탐색 공간이 급격히 폭발하여 실용적인 한계에 부딪혔다. 저자들은 이러한 병목을 해소하기 위해 두 가지 핵심 전략을 도입하였다. 첫째, “스패닝 트리 기반 전이 규칙”을 활용해 새로운 정점을 삽입할 때 발생 가능한 면 조합을 사전에 제한함으로써 불필요한 후보 그래프 생성을 원천 차단한다. 둘째, “동형성 검사”를 고속 해시 구조와 결합해 동일한 그래프가 중복 생성되는 경우를 즉시 걸러낸다. 이 두 전략은 탐색 트리의 깊이를 효과적으로 얕게 만들고, 각 단계에서의 연산 복잡도를 O(1) 수준으로 낮춘다.

알고리즘 구현에서는 C++17 표준을 기반으로 메모리 관리와 병렬 처리를 최적화하였다. 특히, 정점 추가와 면 재구성 과정에서 발생하는 삼각형·오각형·육각형의 인접 관계를 인접 리스트 대신 압축 비트맵으로 저장해 캐시 효율을 극대화했다. 또한, “IPR(Isolated Pentagon Rule) 필터”를 삽입 단계에서 사전 적용함으로써 IPR 풀러렌만을 별도로 열거할 수 있게 하였으며, 이는 기존 fullgen이 전체 풀러렌을 모두 생성한 뒤 후처리하는 방식에 비해 약 2배 이상의 속도 향상을 제공한다.

성능 평가에서는 60~400 정점 구간에서 전체 풀러렌과 IPR 풀러렌의 개수를 정확히 재현했으며, 특히 200 정점 이상에서는 fullgen 대비 평균 3.8배, 최악의 경우 5.2배까지 가속화된 결과를 보였다. 또한, fullgen이 136 정점 이상에서 발생시키는 메모리 오버플로우와 인덱스 오류를 재현하고, 이를 수정한 버전을 공개함으로써 향후 연구자들이 동일한 함정에 빠지지 않도록 했다.

학술적 검증 측면에서는 Barnette의 “최대 면 크기 6인 3차 평면 그래프는 해밀턴ian이다”라는 추측을 316 정점까지 전산적으로 확인하였다. 이는 기존에 알려진 200 정점 수준의 검증을 크게 확장한 것으로, 추후 이론적 증명에 중요한 실증 자료가 될 것이다. 또한, 스파이럴 추측의 최소 반례가 380 정점이라는 사실을 확인함으로써, 해당 추측이 완전히 부정된 것이 아니라 특정 규모 이하에서는 여전히 유효함을 시사한다. 전반적으로 이 논문은 풀러렌 생성 알고리즘의 효율성을 획기적으로 개선했을 뿐 아니라, 그래프 이론의 오래된 추측들을 대규모 컴퓨팅을 통해 검증함으로써 화학·수학·컴퓨터 과학 간의 융합 연구에 새로운 이정표를 제시한다.