[논문 리뷰] The traveling salesman problem: A Linear programming formulation

Moustapha Diaby|arXiv (Cornell University)|2006. 09. 02.

Vehicle Routing Optimization Methods참고 문헌 9인용 수 28

한 줄 요약

이 논문은 네트워크 플로우 기반 접근 방식을 사용하여 TSP(최소 이동 거리 순회 문제)에 대한 다항 크기의 선형 프로그래밍 포지셔닝을 제시한다. 주요 기여는 다항 크기 내에서 TSP를 정확히 모델링할 수 있다는 새로운 포지셔닝을 제안하는 것으로, 기존의 TSP가 다항 시간 내에 선형 프로그래밍으로 해결될 수 없다는 일반적인 믿음을 도전한다.

ABSTRACT

In this paper, we present a polynomial-sized linear programming formulation of the Traveling Salesman Problem (TSP). The proposed linear program is a network flow-based model. Numerical implementation issues and results are discussed. (The exposition and proofs are much more detailed in an edition which I wrote in collaboration with Dr. M.H. Karwan in 2012-2014 . That edition is available at http://users.business.uconn.edu/mdiaby/P=NPProofPapers/tspPaper.pdf)

연구 동기 및 목표

• 도시의 수에 대해 다항 크기의 선형 프로그래밍 모델을 개발하여 최소 이동 거리 순회 문제를 정확히 표현한다.
• TSP가 다항 크기의 선형 프로그램으로 표현될 수 없다는 오랜 믿음을 도전한다.
• 네트워크 플로우 원리를 활용하여 이론적으로 타당하고 계산적으로 실현 가능한 포지셔닝을 제공한다.
• 이전의 반례들이 포지셔닝을 무효로 한다는 주장을 반박하고 해결한다.
• 선형 프로그래밍을 통한 TSP의 다항 시간 해결 가능성을 위한 기초를 마련한다.

제안 방법

• 도시와 간선을 포함한 방향성 그래프 표현을 사용하여 TSP를 네트워크 플로우 문제로 포지셔닝한다.
• 모서리 선택을 위한 이진 변수와 순회 연결성 및 부분순환 제거를 모델링하기 위한 플로우 변수를 도입한다.
• 플로우 보존을 강제하고 각 도시에 정확히 한 번 방문하도록 제약 조건을 적용한다.
• 부분순환을 방지하고 순회 연결성을 확보하기 위해 제약 조건 (2.11–2.15)을 부과한다.
• 도시의 수에 대해 다항 크기로 표현 가능한 압축된 제약 조건 집합을 사용하여 TSP를 모델링한다.
• 정수성과 해 공간의 정확성을 보장하기 위해 재구성 기법을 활용한다.

실험 결과

연구 질문

• RQ1 지수적 제약 조건 없이 TSP를 다항 크기의 선형 프로그램으로 포지셔닝할 수 있는가?
• RQ2 제안된 제약 조건이 부분순환을 효과적으로 제거하면서도 다항 크기를 유지하는가?
• RQ3 Hofman이 주장한 반례가 포지셔닝의 전체 제약 조건 집합 하에서 유효한가?
• RQ4 네트워크 플로우 기반 선형 프로그램이 다항 복잡도로 TSP를 정확히 모델링할 수 있는가?
• RQ5 이 포지셔닝이 선형 프로그래밍을 통한 TSP의 다항 시간 해결 가능성을 암시하는가?

주요 결과

• 제안된 선형 프로그램은 도시 수에 대해 다항 크기를 가지며, 구체적으로 n개의 도시에 대해 O(n²)개의 변수와 제약 조건을 가진다.
• 포지셔닝은 순회 연결성과 부분순환 제거를 강제하는 완전한 제약 조건 집합을 포함한다.
• 논문은 Hofman의 반례를 제약 조건 2.11–2.15 위반으로 보여줌으로써 그 주장의 무효성을 반박한다.
• 수정 버전 간 이론적 발전이 일관되며, v7는 핵심 포지셔닝의 타당성을 확인한다.
• 모델은 선형 프로그래밍 프레임워크 내에서 TSP의 완전하고 정확한 표현으로 제시된다.
• 포지셔닝은 선형 프로그램이 효율적으로 해결될 수 있다면 TSP의 다항 시간 해결 방법을 제공한다고 주장한다.