일반 여행 판매원 문제 버전 5

초록

본 논문은 19개의 정점으로 구성된 일반 여행 판매원 문제(GTSP)를 해결하기 위해, 수정된 Floyd‑Warshall 알고리즘과 허용 가능한 순열 개념을 결합한 일련의 휴리스틱 절차를 제시한다.  H‑admissible 3‑사이클 변환을 이용해 현재 순회를 점진적으로 개선하고, 비용 행렬의 특수 구조를 활용해 완전 매칭과 허용 가능한 사이클을 추출한다.

상세 분석

이 논문은 크게 두 부분으로 나뉜다. 첫 번째는 대칭 비용 행렬을 전제로 한 “상대적 상한(UPPER BOUND)”을 구성하고, 이를 기반으로 수정된 Floyd‑Warshall(F‑W) 알고리즘을 적용해 최소값을 갖는 파생 행렬 σM⁻⁻을 만든다. 여기서 σ는 최소 비용 완전 매칭을 나타내는 2‑사이클들의 집합이며, σM⁻⁻은 각 행에서 대각 원소를 뺀 후 행‑열을 σ에 따라 재배열한 형태다. 논문은 σM⁻⁻ 상에서 “허용 가능한 경로(acceptable path)”와 “2‑사이클 경로”를 정의하고, 이들 경로가 결합될 때 얻어지는 사이클이 결국 원래 그래프의 허용 가능한 순회(tour)와 동치임을 주장한다.

핵심 정리는 다음과 같다. (1) 수정된 F‑W 알고리즘은 음수 사이클이 존재하지 않을 경우 모든 정점 쌍 사이의 최단 경로를 정확히 계산한다. (2) σM⁻⁻에 존재하는 “허용 가능한 사이클”은 각각 고유한 완전 매칭을 생성하고, 이 매칭들의 교차 없이 결합하면 전체 n‑사이클(즉, TSP 해)을 얻을 수 있다. (3) H‑admissible 3‑사이클 변환을 최대 ⌈ln n⌉+1번 적용하면 현재 순회의 비용을 감소시킬 수 있으며, 더 이상 비용 감소가 불가능할 때까지 이 과정을 반복한다.

하지만 논문 전반에 걸쳐 수학적 엄밀성이 크게 결여되어 있다. 정의와 정리 사이의 논리적 연결이 모호하고, 많은 기호가 일관되지 않게 사용된다. 예를 들어 σM⁻⁻을 정의할 때 “각 행에서 대각 원소를 뺀다”는 설명은 실제 행렬 연산과 어떻게 일치하는지 명확히 제시되지 않는다. 또한 “허용 가능한 경로”와 “2‑사이클 경로”의 차이점은 직관적으로 이해하기 어려우며, 이를 이용한 사이클 패칭 과정은 구체적인 알고리즘 흐름이 제시되지 않아 구현 가능성을 판단하기 힘들다.

정리 1.1~1.9는 전통적인 그래프 이론이나 순열 이론에서 잘 알려진 결과들을 변형한 형태이지만, 증명은 대부분 귀납법에 의존하면서도 핵심 단계에서 중요한 가정을 명시하지 않는다. 특히 정리 1.3에서 “음수 사이클이 포함된 경우, 수정된 F‑W 알고리즘이 더 적은 열을 사용한다”는 주장은 행렬의 열 선택 메커니즘을 구체적으로 설명하지 않아 설득력이 부족하다.

알고리즘 복잡도에 대한 논의도 부실하다. “H₀ 3‑사이클을 최대 ⌈ln n⌉+1번 적용한다”는 주장만으로는 전체 절차가 다항 시간인지, 혹은 지수 시간에 가까운지 판단할 수 없다. 실제 실험 결과나 벤치마크가 전혀 제시되지 않아, 제안된 방법이 기존의 메타휴리스틱(예: 2‑opt, Lin‑Kernighan)보다 실용적이라고 주장하기 어렵다.

요약하면, 논문은 GTSP에 대한 새로운 구조적 접근을 시도했으나, 정의·정리·증명·알고리즘 구현·실험 평가 등 학술 논문의 기본 요소가 크게 부족하다. 따라서 현재 형태로는 학계에서 인용되거나 실제 문제 해결에 적용되기 어렵다.