ATT48 벤치마크 문제에 대한 새로운 구역 기반 해법

초록

본 논문은 TSPLIB95에 수록된 ATT48 여행 판매원 문제를 10개의 개방형 구역으로 분할하고, 각 구역마다 경계 정점 조합에 대한 최소 해밀턴 경로를 구해 전체 최소 해밀턴 순환을 근사한다. 구역 간 경계 선택이 뒤따르는 구역의 최적 경로 계산에 자동으로 비최적 경로를 걸러내는 효과를 가지며, 최적 순환은 대부분 구역 간 두 개의 교차 에지만을 사용한다는 특징을 발견한다.

상세 요약

이 연구는 전통적인 TSP 해법이 전역 탐색에 의존하는 반면, 문제를 공간적으로 구역화하여 지역 최적화를 수행한다는 점에서 차별화된다. 저자는 먼저 전체 48개의 정점을 가로축을 기준으로 9개의 길이 방향 경계선으로 나누어 10개의 연속 구역을 만든다. 각 구역은 ‘열린’ 형태를 유지하므로, 구역 내부에서 시작점과 종료점이 경계 정점에 고정된 해밀턴 경로(Hamiltonian Path, HP)를 찾는다. 여기서 핵심은 “경계 정점 조합”이다. 구역 i와 i+1 사이에 존재할 수 있는 모든 가능한 경계 정점 쌍을 열거하고, 각 쌍에 대해 구역 i 내부의 최소 HP 길이를 동적 계획법(DP) 혹은 완전 탐색으로 계산한다. 이렇게 얻어진 HP 후보군은 다음 구역의 계산에 입력으로 사용되며, 구역 i+1에서 동일한 방식으로 최소 HP를 구한다.

이 과정에서 중요한 메커니즘은 “자동 필터링”이다. 구역 i+1의 최적 HP를 결정할 때, 이전 구역 i에서 선택된 경계 정점 조합이 전체 경로 길이에 미치는 영향을 평가한다. 만약 특정 조합이 구역 i+1의 최적 HP와 결합했을 때 전체 길이가 비효율적이라면, 해당 조합은 이후 단계에서 자연스럽게 제외된다. 결과적으로 초기 구역에서 생성된 다수의 비최적 HP가 뒤따르는 구역 계산 과정에서 자동으로 사라진다.

실험 결과 ATT48의 최적 해밀턴 사이클(Hamiltonian Cycle, HC)은 거의 모든 구역 사이에서 단 두 개의 교차 에지만을 사용한다는 사실이 확인되었다. 이는 구역 경계가 실제 최적 경로를 거의 그대로 보존한다는 의미이며, 구역화 전략이 고품질 근사 해를 제공함을 입증한다. 다만, 하나의 예외 구역에서는 세 개 이상의 교차 에지가 필요했으며, 이는 복잡한 지오메트리나 비균등 정점 분포가 있을 때 구역 경계가 최적 경로를 완전히 포착하지 못할 수 있음을 시사한다.

알고리즘의 시간 복잡도는 각 구역마다 경계 정점 조합 수에 비례한다. ATT48에서는 각 구역당 평균 2~3개의 경계 정점이 선택되어 조합 수가 제한적이었으나, 정점 수가 급증하거나 경계가 복잡해지면 조합 폭발 문제가 발생한다. 이를 완화하기 위해 저자는 후보 조합을 사전 필터링하는 휴리스틱(예: 거리 상한, 각도 제한)과 병렬 DP 구현을 제안한다.

이 연구는 기존의 근사 알고리즘(2‑opt, Lin‑Kernighan 등)과 비교했을 때, 구역 기반 접근법이 구조적 정보를 활용해 해의 품질을 유지하면서도 탐색 공간을 크게 축소한다는 장점을 제공한다. 특히, 지리적 제약이 명확한 물류·배달 네트워크와 같이 자연스럽게 구역화가 가능한 실제 응용 분야에 바로 적용 가능하다. 향후 연구에서는 비정형 구역(예: 클러스터 기반)이나 다중 목적 함수(시간, 비용, 위험)와 결합한 확장 모델을 탐색할 필요가 있다.