큐빅 그래프 TSP 상한을 새롭게 개선

초록

본 논문은 최대 차수가 3인 큐빅 그래프에서 여행 판매원 문제(TSP)의 정확 알고리즘에 대한 새로운 시간 상한을 제시한다. 기존에 Iwama와 Nakashima가 주장한 O(1.251ⁿ) 상한이 분석 오류로 무효화된 점을 지적하고, Eppstein의 알고리즘을 약간 수정함으로써 O(1.2553ⁿ) 시간·선형 공간 복잡도를 달성한다는 결과를 증명한다.

상세 분석

이 연구는 큐빅 그래프(정점 차수가 최대 3인 그래프)에서의 TSP를 해결하기 위한 정확 알고리즘의 복잡도 한계를 재검토한다. 기존에 가장 좋은 상한으로 알려진 O(1.251ⁿ) 은 Iwama와 Nakashima가 2007년 발표한 논문에서 제시했지만, 그들의 분석 과정에서 분기 규칙의 중복 카운팅, 측정 함수의 부정확한 정의, 그리고 특정 구조(예: 2‑edge‑connected component)의 처리에서 실수가 발견되었다. 이러한 오류는 실제 실행 시간 상한을 과소평가하게 만든다.

논문은 Eppstein(2007)이 제안한 “branch‑and‑reduce” 방식의 TSP 알고리즘을 기반으로 한다. Eppstein 알고리즘은 그래프를 여러 가지 규칙에 따라 축소하고, 남은 인스턴스에 대해 재귀적으로 분기를 수행한다. 핵심 아이디어는 (1) 차수가 2인 정점을 제거해 경로를 강제로 연결하고, (2) 차수가 3인 정점에 대해 3가지 경우의 수를 탐색하는 것이다. 이때 측정 함수 μ(G)=a·|V₁|+b·|V₂|+c·|V₃| (Vᵢ는 차수가 i인 정점 집합) 를 정의해 각 분기·축소 단계에서 μ의 감소량을 분석한다.

본 논문은 기존 Eppstein 알고리즘에 두 가지 미세한 변형을 도입한다. 첫째, 차수가 3인 정점이 인접한 두 개의 차수 2 정점을 동시에 포함할 경우, 해당 정점들을 미리 “합병”하여 분기 트리의 깊이를 줄인다. 둘째, 차수가 2인 정점이 연속적으로 나타나는 체인 구조에 대해 특별한 “체인 축소” 규칙을 적용해, 한 번의 축소 단계에서 여러 정점을 동시에 제거한다. 이러한 변형은 측정 함수의 감소량을 최소 0.2 이상 보장하도록 설계되었으며, 결과적으로 최악의 경우에도 재귀 깊이가 log₁.₂₅₅₃( n ) 이하가 된다.

복잡도 분석에서는 “measure‑and‑conquer” 기법을 사용한다. 각 분기 규칙에 대해 μ의 감소량 d와 분기 수 b를 구하고, 재귀식 T(μ) ≤ b·T(μ−d) 를 만족하도록 b·(1/ρ)^{d} ≤ 1 인 최소 ρ를 찾는다. 논문은 모든 가능한 규칙 조합에 대해 ρ=1.2553을 얻으며, 이는 전체 알고리즘의 시간 상한이 O(1.2553ⁿ) 임을 의미한다. 또한, 모든 축소·분기 단계가 선형 시간에 수행될 수 있음을 보이며, 메모리 사용량은 입력 그래프의 크기에 비례하는 선형 공간으로 제한된다.

결론적으로, 이 연구는 기존 상한을 정정하고, 실제 구현 가능한 정확 알고리즘의 복잡도 한계를 명확히 제시한다. 또한, 측정 함수 설계와 분기 규칙 최적화가 복잡도 분석에 미치는 영향을 사례를 통해 보여줌으로써, 향후 다른 제한 그래프 클래스에 대한 TSP 알고리즘 설계에도 중요한 통찰을 제공한다.