주어진 지오데틱 그래프와 동형인 그래프 생성 연구

초록

본 논문은 주어진 지오데틱 그래프와 동형(homeomorphic)인 모든 그래프를 체계적으로 생성하는 새로운 알고리즘을 제시한다. 알고리즘의 설계와 증명을 통해 특정 무어 그래프에 대한 동형 지오데틱 그래프들의 열거 결과를 제시한다.

상세 분석

지오데틱 그래프는 임의의 두 정점 사이에 유일한 최단 경로가 존재하는 그래프로, 네트워크 설계와 거리 측정 모델링에 중요한 역할을 한다. 기존 연구에서는 특정 클래스(예: 트리, 사이클, 무어 그래프)의 지오데틱 성질을 분석했으나, 주어진 지오데틱 그래프와 동형인 모든 그래프를 생성하는 일반적인 방법은 부재했다. 본 논문은 이러한 공백을 메우기 위해 두 단계의 알고리즘적 절차를 제안한다. 첫 번째 단계는 원 그래프 G의 모든 가능한 ‘분할(edge‑subdivision)’ 연산을 탐색하면서, 각 연산이 지오데틱 성질을 유지하는지를 판단한다. 이를 위해 저자들은 ‘최단 경로 보존 조건’이라는 새로운 판정 기준을 도입했으며, 이는 각 삽입된 정점이 기존 최단 경로의 내부에 위치할 때만 허용한다는 의미이다. 두 번째 단계는 위 조건을 만족하는 모든 분할 결과를 ‘동형 클래스’로 묶어, 중복을 제거하고 최소 대표 그래프 집합을 도출한다. 알고리즘의 시간 복잡도는 최악의 경우 O(|E|·2^{|E|})이지만, 실제 적용 대상인 제한된 크기의 무어 그래프에서는 실용적인 실행 시간을 보인다. 특히, 저자들은 페터슨 그래프와 호프만‑싱클레어톤 그래프에 대해 전체 동형 지오데틱 그래프 집합을 완전 열거했으며, 그 결과는 기존에 알려진 몇몇 특수 사례와 일치하면서도 새로운 변형들을 발견했다. 이 과정에서 ‘동형 전이 사슬’이라는 개념을 도입해, 연속적인 분할 연산이 어떻게 그래프의 지오데틱 구조를 보존하면서 변형되는지를 시각적으로 설명한다. 또한, 증명 부분에서는 각 단계에서 최단 경로의 유일성이 유지됨을 수학적으로 귀납적으로 입증하고, 동형 변환이 그래프의 직경과 지오데틱 반경에 미치는 영향을 정량화한다. 이러한 이론적 기반은 알고리즘의 정확성을 보장함과 동시에, 향후 다른 그래프 클래스(예: 거리-정규 그래프)에도 적용 가능한 일반화 가능성을 시사한다.