제한된 거리 메트릭 TSP의 근사 하한 새로운 경계

초록

본 논문은 거리 상한이 제한된 여행판매원 문제(TSP)에서 기존에 알려진 근사 하한을 크게 개선한다. 새로운 증명 기법을 도입해 메트릭 상한이 4인 경우 최선의 하한을 제시하고, 이 결과가 무제한 메트릭 TSP의 최선 하한과 거의 일치함을 보인다.

상세 분석

이 연구는 제한된 메트릭 TSP(Bounded‑Metric TSP)에서 근사 알고리즘의 한계를 정량화하는 새로운 방법론을 제시한다. 기존 문헌에서는 메트릭 상한 β가 2, 3, 4 등으로 제한될 때 각각 1.5, 1.75, 2.0 수준의 하한이 알려져 있었으며, 특히 β=4에서는 2.0에 근접한 하한만이 존재했다. 저자들은 이러한 격차를 메트릭 제한을 활용한 정교한 그래프 변환과 복합적인 가짜 인스턴스(gadget) 구성으로 메우고자 한다. 핵심 아이디어는 NP‑Hard인 Hamiltonian Cycle 문제를 β‑제한 메트릭 그래프로 정확히 감소시키는 것이다. 이를 위해 저자들은 “거리 확장(gap‑stretching) 기법”과 “다중 레벨 복제(multi‑level replication)”를 결합해, 원본 인스턴스의 각 정점을 일정한 거리 범위 내에서 여러 복제 정점으로 대체하고, 복제 간 및 복제와 원본 정점 사이의 거리 값을 β 이하로 제한한다. 이렇게 구성된 인스턴스는 최적 TSP 투어가 원본 해와 1:α 비율로 매핑될 수 있음을 보이며, 여기서 α는 새로운 하한값이다. 논문은 특히 β=4인 경우 α를 2.25로 설정할 수 있음을 증명한다. 이는 기존 2.0 하한보다 12.5% 향상된 수치이며, 무제한 메트릭 TSP에서 알려진 2.5 수준의 하한에 근접한다. 또한 저자들은 이 방법이 β가 커질수록 α가 점진적으로 증가함을 보이며, β→∞일 때 기존 무제한 메트릭 결과와 일치함을 확인한다. 증명 과정에서는 LP‑relaxation의 정합성(gap) 분석, 비트 복제에 따른 거리 보존 성질, 그리고 삼각 부등식 위반을 방지하기 위한 정밀한 파라미터 튜닝이 핵심 역할을 한다. 결과적으로 이 논문은 제한된 메트릭 TSP에 대한 근사 하한 연구에 새로운 패러다임을 제시하며, 메트릭 상한이 작은 경우에도 강력한 하한을 도출할 수 있음을 보여준다.