[논문 리뷰] Approximating ATSP by Relaxing Connectivity

Ola Svensson|arXiv (Cornell University)|2015. 02. 06.

Complexity and Algorithms in Graphs인용 수 4

한 줄 요약

이 논문은 전역 연결성 조건을 국소 연결성 조건으로 완화함으로써 비대칭 TSP(Asymmetric TSP, ATSP)를 근사화하는 새로운 접근법을 제안한다. 이를 통해 전역 연결성 조건을 국소 연결성 조건으로 대체한 새로운 문제인 Local-Connectivity ATSP를 도입한다. 저자들은 노드 가중치가 있는 최단 경로 메트릭에서 이 완화된 문제에 대해 3-light 알고리즘을 설계하였으며, 일반적인 감소 기법을 통해 노드 가중치가 있는 ATSP에 대해 상수 요인 근사해를 달성함으로써, 이 특수 케이스에서 오랫동안 남아 있던 열린 문제를 해결한다.

ABSTRACT

The standard LP relaxation of the asymmetric traveling salesman problem has been conjectured to have a constant integrality gap in the metric case. We prove this conjecture when restricted to shortest path metrics of node-weighted digraphs. Our arguments are constructive and give a constant factor approximation algorithm for these metrics. We remark that the considered case is more general than the directed analog of the special case of the symmetric traveling salesman problem for which there were recent improvements on Christofides' algorithm. The main idea of our approach is to first consider an easier problem obtained by significantly relaxing the general connectivity requirements into local connectivity conditions. For this relaxed problem, it is quite easy to give an algorithm with a guarantee of 3 on node-weighted shortest path metrics. More surprisingly, we then show that any algorithm (irrespective of the metric) for the relaxed problem can be turned into an algorithm for the asymmetric traveling salesman problem by only losing a small constant factor in the performance guarantee. This leaves open the intriguing task of designing a "good" algorithm for the relaxed problem on general metrics.

연구 동기 및 목표

• 비대칭 TSP의 노드 가중치가 있는 최단 경로 메트릭에서 상수 요인 근사 알고리즘을 설계하는 데 오랫동안 남아 있던 열린 문제를 해결하기 위해.
• 기존 방법들이 사이클 커버나 정수화 오차가 무한대가 될 수 있는 선형계획형 이론에 의존하는 데서 비롯되는 제약을 극복하기 위해.
• 전역 연결성을 국소 연결성 제약 조건으로 대체함으로써 ATSP의 새로운 완화 문제인 Local-Connectivity ATSP를 도입하기 위해.
• 모든 Local-Connectivity ATSP에 대해 상수 요인 근사해를 제공하는 일반 감소 기법을 수립하기 위해.
• 일반 메트릭에서 Local-Connectivity ATSP에 대해 상수 요인 알고리즘이 존재하는지 탐색하기 위해, 이는 일반 ATSP에 대해 상수 요인 근사해를 제공할 것이다.

제안 방법

• ATSP의 완화 문제인 Local-Connectivity ATSP를 도입하여, 전역 연결성을 정점 부분집합에 대한 국소 연결성 조건으로 대체한다.
• 해결책의 무게가 부분집합 S에 대해 하한 함수 lb(S)의 상수 배수 이내로 제한되는 알고리즘을 '경량 알고리즘(light algorithm)'으로 정의한다.
• 노드 가중치가 있는 방향 그래프에서 Local-Connectivity ATSP에 대해 3-light 알고리즘을 제안하며, 반복적 사이클 커버 선택을 통한 원형-이중형 구조를 사용한다.
• 일반 감소 기법을 사용: 주어진 메트릭에서 Local-Connectivity ATSP에 대해 α-light 알고리즘이 존재하면, 일반 ATSP에 대해 O(α)-근사해로 변환할 수 있다.
• 노드 가중치 메트릭의 구조를 활용하여, 사이클 무게가 하한 함수로 제한됨을 이용해 분석을 강화하고, Held-Karp 이론의 정수화 오차를 최대 13 이내로 제한한다.
• 하한 함수 lb를 사용한 청구 기법과 하한 기반 기법을 적용하여, 해결책의 무게가 최적값의 상수 배수 이내임을 증명한다.

실험 결과

연구 질문

• RQ1 이전 방법들이 정수화 오차가 무한대가 되기 때문에 실패한 노드 가중치가 있는 최단 경로 메트릭에서 비대칭 TSP에 대해 상수 요인 근사해를 달성할 수 있는가?
• RQ2 일반 메트릭에서 Local-Connectivity ATSP에 대해 상수 요인 알고리즘이 존재하는가? 이는 일반 ATSP에 대해 상수 요인 근사해를 제공할 것이다.
• RQ3 Local-Connectivity ATSP에서 ATSP로의 일반 감소 기법을 다양한 메트릭 클래스 간의 근사 보장 전이에 사용할 수 있는가?
• RQ4 노드 가중치가 있는 ATSP 설정에서 Held-Karp 이론의 최대 정수화 오차는 얼마인가?
• RQ5 최근에 무게 없는 그래프에서 STSP에 대한 진전을 노드 가중치가 있는 그래프로 확장할 수 있는가? 이는 (1.5−ε)-근사해를 제공할 수 있는가?

주요 결과

• 노드 가중치가 있는 최단 경로 메트릭에서 Local-Connectivity ATSP에 대해 3-light 알고리즘을 설계하여, 상수 근사 요인을 갖는 해결책이 존재함을 입증한다.
• 일반 감소 기법을 통해, Local-Connectivity ATSP에 대해 α-light 알고리즘이 존재하면 일반 ATSP에 대해 O(α)-근사해를 얻을 수 있음을 보여, 보장을 이전할 수 있다.
• 노드 가중치가 있는 메트릭에서는 Held-Karp 이론의 정수화 오차가 13 이내로 제한되며, 이는 이전의 결과보다 향상된 것이다.
• 이 방법은 노드 가중치가 있는 ATSP에 대해 상수 요인 근사해를 달성하는 데 있어 오랫동안 남아 있던 열린 문제를 해결한다. 이는 최근의 무게 없는 그래프에서의 STSP 개선 사례보다 더 일반적인 특수 케이스이다.
• 논문은 일반 메트릭에서 Local-Connectivity ATSP에 대해 상수 요인 알고리즘이 존재하는지 여부를 여전히 열어두고 있으며, 이는 일반 ATSP에 대해 상수 요인 근사해를 제공할 것이다.
• 이 방법은 국소 연결성에 초점을 맞춤으로써 ATSP 근사에 대한 새로운 프레임워크를 제공하며, 더 넓은 ATSP 추측을 해결하는 데로 이르는 길을 시사한다.