제곱 유클리드 거리에서의 외판원 문제

초록

본 논문은 평면(2차원)에서 두 점 사이의 거리 정의를 일반적인 유클리드 거리의 제곱으로 바꾸어 만든 TSP(d,α) 문제를 연구한다. 특히 α=2인 경우 5-근사 알고리즘을 제시하고, α≥2에 대해 3^{α‑1}+√6^{α}/3 의 근사비율을 달성한다. 또한 방문점 재방문을 허용하는 Rev‑TSP에 대해 2차원에서는 PTAS를 제공하고, 차원이 3 이상이고 α>1인 경우 APX‑hard임을 증명한다.

상세 분석

이 논문은 거리 함수 |pq|^{α} (α≥1)를 도입함으로써 전통적인 TSP의 삼각 부등식이 깨지는 상황을 다룬다. α=2, 즉 제곱 유클리드 거리에서는 두 점 사이의 거리값이 원래 거리보다 크게 부풀어 오르며, 이는 경로의 길이 평가에 비선형 효과를 부여한다. 저자들은 먼저 2차원, α=2 경우에 대해 기존의 최소 신장 트리(MST)와 최소 완전 매칭을 결합한 Christofides‑type 접근법을 변형한다. 핵심 아이디어는 MST를 두 번 순회하는 대신, 각 MST 간선에 대해 “스퀘어드” 비용을 직접 계산하고, 짝지음 단계에서 비용을 최소화하도록 매칭을 선택함으로써 전체 비용을 5배 이하로 제한한다.

α≥2에 대해서는 비용 함수가 거듭제곱 형태이므로, 두 점 사이의 거리 비율이 α에 따라 급격히 확대된다. 이를 이용해 저자들은 “세그먼트 분할” 기법을 도입한다. 평면을 일정한 격자로 나눈 뒤, 각 격자 셀 안에서의 로컬 투어를 최적화하고, 셀 간 연결을 최소화하는 구조적 특성을 이용해 전체 비용을 3^{α‑1}+√6^{α}/3 로 제한한다. 이 상수는 α가 커질수록 지수적으로 증가하지만, 기존의 일반적인 α‑거리 TSP 근사비와 비교하면 현저히 낮다.

Rev‑TSP 변형에서는 방문점 재방문을 허용함으로써 경로가 더 유연해진다. 저자들은 평면에서 α≥2인 경우, “그리드 기반 동적 계획법”을 적용해 셀 단위로 최적 부분해를 구하고, 이를 조합해 전체 최적해에 ε 근접한 해를 다항시간에 얻는다. 이는 PTAS(Polynomial‑time Approximation Scheme)로, ε를 임의로 작게 잡을 수 있다.

반면 차원 d≥3, α>1 상황에서는 문제의 복잡도가 급격히 상승한다. 저자들은 “거리 제곱” 비용을 이용해 3‑SAT 인스턴스를 그래프 구조로 변환하고, 해당 그래프의 TSP 투어 길이가 만족도와 직접 대응하도록 설계한다. 이를 통해 APX‑hardness를 증명함으로써, 일정 비율 이하의 근사도라도 다항시간에 얻는 것이 불가능함을 보인다. 이 결과는 기존의 Euclidean TSP가 차원에 무관하게 PTAS를 가졌던 것과 대조적이며, 거리 함수의 비선형성(α>1)이 문제를 근본적으로 더 어려워지게 만든다.

전체적으로 이 논문은 거리 함수의 제곱·거듭제곱 형태가 TSP와 그 변형에 미치는 알고리즘적·복잡도적 영향을 체계적으로 분석하고, 2차원에서는 실용적인 근사와 PTAS를 제공하면서도 고차원에서는 강력한 난이도 하한을 제시한다는 점에서 이론적·실용적 기여가 크다.