[논문 리뷰] P = NP: Linear programming formulation of the traveling salesman problem

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

Vehicle Routing Optimization Methods참고 문헌 10인용 수 4

한 줄 요약

이 논문은 네트워크 플로우 기반 접근 방식을 사용하여 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 this http URL)

연구 동기 및 목표

• 최소 이동 경로 문제를 정확하게 모델링하는 다항 크기의 선형 프로그램을 개발하는 것.
• 변수 수와 제약 조건 수를 줄인 네트워크 플로우 기반 설정을 제공하는 것.
• 제안된 설정의 수치적 타당성과 구현 고려 사항을 입증하는 것.
• TSP의 타당하고 해석 가능한 선형 프로그래밍 설정을 바탕으로 P = NP를 증명할 수 있는 기반을 마련하는 것.

제안 방법

• 설정은 TSP 순회를 방향성 있는 그래프에서 타당한 플로우로 모델링하기 위해 네트워크 플로우 구조를 사용한다.
• 모서리에 대한 이진 변수와 경로 이동을 나타내는 플로우 변수를 도입하여 연결성과 순회 제약 조건을 보장한다.
• 지수적 수의 부등식 집합을 사용하지 않고 플로우 기반 제약 조건을 통해 부분순환 제거를 강제한다.
• 설정은 도시 수에 대해 다항 크기로 설계되어 있어 지수적 제약 조건 집합을 피한다.
• 수치적 구현은 표준 솔버를 사용해 선형 프로그램을 푸는 데 중점을 두며, 조건화와 확장성에 주의를 기울인다.

실험 결과

연구 질문

• RQ1 지수적 수의 제약 조건에 의존하지 않고도 TSP를 다항 크기의 선형 프로그램으로 설정할 수 있는가?
• RQ2 네트워크 플로우 기반 설정이 모든 TSP 순회 제약 조건을 충족하면서도 컴팩트한가?
• RQ3 제안된 설정은 표준 선형 프로그래밍 솔버를 사용해 실질적으로 수치적으로 안정적이고 해석 가능한가?
• RQ4 만약 이 설정이 정확하고 다항 시간 내에 해석 가능하다면, 이를 바탕으로 P = NP를 증명할 수 있는가?

주요 결과

• 제안된 선형 프로그램은 TSP 인스턴스의 도시 수에 대해 다항 크기이다.
• 설정은 네트워크 플로우 구조를 사용하여 암시적으로 부분순환 제거와 연결성을 강제한다.
• 플로우 기반 제약 조건에 통합되어 있어 지수적 수의 부분순환 제거 제약 조건이 필요로 하지 않는다.
• 수치적 결과는 설정이 표준 선형 프로그래밍 솔버로 구현 가능하고 해석 가능하다고 시사하지만, 전체 확장성은 아직 입증되지 않았다.