[논문 리뷰] Approximating Graphic TSP by Matchings

Tobias Mömke, Ola Svensson|arXiv (Cornell University)|2011. 04. 15.

Advanced Graph Theory Research참고 문헌 22인용 수 27

한 줄 요약

이 논문은 그래픽 TSP 및 관련 문제의 근사 알고리즘을 향상시키기 위해 '제거 가능한 쌍'를 사용하는 새로운 프레임워크를 제안한다. 올바른 다중 그래프를 구성하기 위해 간선 추가와 제거를 모두 允가하는 접근 방식을 통해 그래픽 TSP에 대해 1.461-근사 비율을 달성하고, 차수 3 이하이면서 클로이-프리인 그래프에서 헬드-카르프 리 릴랙세이션의 정수성 갭이 정확히 4/3임을 증명한다.

ABSTRACT

We present a framework for approximating the metric TSP based on a novel use of matchings. Traditionally, matchings have been used to add edges in order to make a given graph Eulerian, whereas our approach also allows for the removal of certain edges leading to a decreased cost. For the TSP on graphic metrics (graph-TSP), the approach yields a 1.461-approximation algorithm with respect to the Held-Karp lower bound. For graph-TSP restricted to a class of graphs that contains degree three bounded and claw-free graphs, we show that the integrality gap of the Held-Karp relaxation matches the conjectured ratio 4/3. The framework allows for generalizations in a natural way and also leads to a 1.586-approximation algorithm for the traveling salesman path problem on graphic metrics where the start and end vertices are prespecified.

연구 동기 및 목표

• 그래픽 거리와 새로운 매칭 기반 기법을 활용하여 메트릭 TSP의 근사 비율을 향상시키기 위해.
• 그래픽 TSP의 헬드-카르프 리 릴랙세이션에 대한 알려진 상한(1.5)과 추측된 하한(4/3) 사이의 갭을 좁히기 위해.
• 표준 매칭 기반 올리어란 확장 방식을 넘어서 간선 제거를 허용함으로써 비용을 감소시킬 수 있는 프레임워크를 개발하기 위해.
• 2-정점 연결인 부분 삼차 그래프가 최대 4n/3 - 2/3개의 간선을 갖는 스패닝 올리어란 다중 그래프를 가짐을 증명함으로써 보이드 등의 추측을 확인하기 위해.
• 고정된 시작 및 끝 정점이 있는 여행사 문제(TSPP)로 프레임워크를 확장하고, 1.586-근사 비율을 달성하기 위해.

제안 방법

• 2-정점 연결 그래프에서 분리되지 않으면서도 올리어란 다중 그래프를 구성할 수 있도록 안전하게 제거할 수 있는 간선 쌍인 '제거 가능한 쌍'의 개념을 도입한다.
• 간선을 1/3 확률로 추가하고, 제거 가능한 쌍을 통해 일부 간선을 제거함으로써 총 간선 수를 감소시키는 랜덤화된 간선 선택 과정을 사용한다.
• 임의의 2-정점 연결 그래프에 대해, 결과적으로 생성된 올리어란 다중 그래프의 간선 수는 (4/3)|E| - (2/3)|R| 이하임을 증명한다. 여기서 |R|은 제거 가능한 쌍의 크기이다.
• 이 프레임워크를 헬드-카르프 선형 프로그래밍 리 릴랙세이션과 결합하여, LP 해와 최단 경로 거리 정보를 사용해 근사 비율을 제한한다.
• TSPP에 대해 하이브리드 알고리즘을 적용한다: 저편집 거리 인스턴스에는 주요 프레임워크를, 고편집 거리 케이스에는 고전적 듀플리케이션 알고리즘을 사용한다.
• 두 알고리즘의 성능를 균형 잡음으로써 최악의 경우 근사 비율을 최적화하고, 3 - √2 ≈ 1.5858의 날카로운 상한을 도출한다.

실험 결과

연구 질문

• RQ1 그래픽 TSP의 헬드-카르프 리 릴랙세이션에 대한 정수성 갭이 자연스러운 그래프 클래스에서 정확히 4/3임을 증명할 수 있는가?
• RQ2 간선 추가 외에 간선 제거를 허용함으로써, 그래픽 TSP에서 올리어란 다중 그래프를 구성할 때 근사 비율을 향상시킬 수 있는가?
• RQ3 크리스토페스의 알고리즘을 초월한 프레임워크를 통해 그래픽 TSP에 대해 1.5보다 우수한 근사 비율을 달성할 수 있는가?
• RQ4 고정된 시작 및 끝 정점이 있는 여행사 문제(TSPP)로 프레임워크를 확장할 수 있으며, 어떤 근사 비율을 달성할 수 있는가?
• RQ5 이 프레임워크는 일반 거리로 일반화될 수 있으며, 그 과정에서 주요 장애 요소는 무엇인가?

주요 결과

• 논문은 오랫동안 유지된 크리스토페스의 알고리즘의 1.5 상한을 초월하여 그래픽 TSP에 대해 1.461-근사 비율 알고리즘을 제시한다.
• 2-정점 연결이면서 차수 3 이하 또는 클로이-프리인 그래프의 클래스에 대해, 헬드-카르프 리 릴랙세이션의 정수성 갭이 정확히 4/3임을 증명한다.
• 이 프레임워크는 보이드 등의 추측을 확인한다. 즉, 모든 2-정점 연결 부분 삼차 그래프는 최대 4n/3 - 2/3개의 간선을 갖는 스패닝 올리어란 다중 그래프를 가짐을 보여준다.
• 고정된 시작 및 끝 정점이 있는 그래픽 거리에서의 여행사 문제(TSPP)에 대해, 알고리즘이 최대 3 - √2 ≈ 1.5858의 근사 비율을 달성한다.
• 이 프레임워크는 일반 거리로 일반화 가능하지만, 이러한 설정에서 큰 제거 가능한 쌍을 효율적으로 찾는 것은 여전히 열린 문제이다.
• 분석 결과, 최악의 경우 근사 비율은 시작 정점과 끝 정점 사이의 최단 경로 거리가 정점 수의 (√2 - 1) 배일 때 도달되며, 이는 상한의 날카로움을 뒷받침한다.