고차 짝수 지름을 갖는 작은 3정규 그래프 카탈로그

초록

본 논문은 짝수 지름 g (6 ≤ g ≤ 16)을 갖는 3정규 그래프(3‑g 그래프)의 새로운 카탈로그를 제시한다. 저자는 해밀토니안 이분 그래프(HBG)를 주요 후보군으로 선정하고, 회전 대칭을 측정하는 ‘대칭 계수’와 기존 LCF 표기법보다 두 배 더 간결한 D3 코드 인덱스 표기법을 도입해 무한히 확장 가능한 생성 알고리즘을 설계하였다. 제시된 카탈로그는 현재 알려진 가장 작은 (3,g) 그래프들을 포함하며, 정점 전이대칭 그래프에 국한되지 않은 다수의 비전이 전이대칭 그래프들을 제공한다. 또한 (3,g) 해밀토니안 이분 그래프 존재에 대한 최소 차수와 최소 대칭 계수에 대한 새로운 경계값을 제시한다.

상세 분석

이 논문은 전통적인 케이지 문제, 즉 주어진 차수 k와 지름 g에 대해 최소 정점 수 n(k,g)를 찾는 문제에 새로운 접근법을 제시한다. 기존 연구는 주로 전이대칭(정점·에지·아크 전이대칭) 그래프에 초점을 맞추어 왔으며, 이는 높은 대칭성 때문에 구조적 분석이 용이하지만, 최적 해가 반드시 전이대칭일 필요는 없다는 점을 간과한다. 저자는 ‘해밀토니안 이분 그래프(HBG)’라는 보다 넓은 클래스에 주목한다. HBG는 모든 정점이 차수 3이며, 그래프가 해밀토니안 사이클을 포함하고 동시에 이분 그래프라는 두 가지 제약을 동시에 만족한다. 이 두 제약은 작은 차수·큰 지름 그래프를 구성할 때 유리하게 작용한다. 특히, 이분성은 짝수 지름을 보장하고, 해밀토니안 사이클은 그래프의 구조적 복잡성을 제한함으로써 탐색 공간을 크게 축소한다.

논문은 ‘대칭 계수(symmetry factor)’라는 새로운 정량적 지표를 도입한다. 이는 선택된 해밀토니안 사이클을 기준으로 그래프가 회전 대칭을 몇 배로 갖는지를 나타내며, 대칭 계수가 클수록 LCF 혹은 D3 표기법에서 반복되는 패턴이 짧아져 표기가 더 압축된다. 이를 통해 저자는 D3 코드 인덱스 표기법을 정의한다. D3 표기법은 기존 LCF 표기법의 절반 길이로 동일한 그래프를 기술할 수 있으며, 특히 회전 대칭이 높은 HBG에 대해 무한히 확장 가능한 ‘패밀리 정의’를 가능하게 한다. 예를 들어, (3,14) 그래프의 경우 D3 인덱스 {5,7,9}와 같은 짧은 시퀀스로 무한히 많은 차수·지름 조합을 생성할 수 있다.

알고리즘적 측면에서 저자는 HBG 생성 절차를 단계별로 제시한다. 첫 단계는 원하는 지름 g에 맞는 최소 차수 n을 추정하는 것이며, 이는 기존 케이지 하한과 새롭게 제시된 ‘대칭 계수 하한’을 결합해 계산한다. 두 번째 단계는 대칭 계수를 미리 지정하고, 해당 계수에 맞는 D3 인덱스 시퀀스를 탐색한다. 탐색 과정은 백트래킹과 대칭성 검증을 병행해 불필요한 후보를 조기에 배제한다. 마지막 단계에서는 생성된 그래프가 실제로 지름 g를 만족하는지 BFS 기반 최단 사이클 검사로 검증한다. 이 절차는 기존 전이대칭 그래프 열거에 비해 연산량이 현저히 감소한다는 실험적 증거를 제시한다.

실험 결과는 네 가지 주요 성과를 보여준다. 첫째, 제시된 HBG 카탈로그는 g = 6,8,10,12,14,16에 대해 현재 알려진 가장 작은 (3,g) 그래프들을 모두 포함한다. 둘째, 전이대칭 그래프만을 고려한 기존 카탈로그보다 훨씬 더 많은 정점 수(예: n = 384, 408 등)에서 (3,g) 그래프를 제공한다. 셋째, 다수의 비전이대칭 그래프가 발견되었으며, 이는 대칭 계수가 1인 경우에도 존재함을 보여준다. 넷째, 최소 차수와 최소 대칭 계수에 대한 새로운 하한을 제시함으로써, 향후 (3,g) 케이지 탐색에 이론적 가이드라인을 제공한다. 특히, “모든 짝수 지름 케이지는 해밀토니안 이분 그래프이다”라는 가설을 부분적으로 뒷받침하는 증거가 제시된다. 전체적으로 이 논문은 그래프 이론의 두 핵심 문제—케이지 문제와 그래프 생성 문제—를 동시에 다루며, 대칭성 및 이분성이라는 구조적 제약을 활용한 새로운 방법론을 제시한다는 점에서 학술적·실용적 의의가 크다.