[논문 리뷰] Better Approximation Algorithms for Maximum Asymmetric Traveling Salesman and Shortest Superstring

Katarzyna Paluch|arXiv (Cornell University)|2014. 01. 15.

Algorithms and Data Compression참고 문헌 24인용 수 17

한 줄 요약

이 논문은 두 개의 사이클 커버에서 유도된 다중그래프에서 반모서리, 매칭 및 간선 색칠 기법을 활용한 새로운 기법을 사용하여 최대 비대칭 TSP(Max ATSP)에 대한 조합적 $\frac{3}{4}$-근사 알고리즘을 제안한다. 이 방법은 Max ATSP의 최고 기존 근사 비율을 향상시키며, 짧은 슈퍼스트링 문제(SSP)에 대해 $2\frac{11}{30} \approx 2.3667$-근사 비율을 달성하여 이전 최고 성능인 $2\frac{11}{23} \approx 2.4782$를 초월한다.

ABSTRACT

In the maximum asymmetric traveling salesman problem (Max ATSP) we are given a complete directed graph with nonnegative weights on the edges and we wish to compute a traveling salesman tour of maximum weight. In this paper we give a fast combinatorial $\frac 34$-approximation algorithm for Max ATSP. It is based on a novel use of {\it half-edges}, matchings and a new method of edge coloring. (A {\it half-edge} of edge $(u,v)$ is informally speaking "either a head or a tail of $(u,v)$".) The current best approximation algorithms for Max ATSP, achieving the approximation guarantee of $\frac 23$, are due to Kaplan, Lewenstein, Shafrir and Sviridenko and Elbassioni, Paluch, van Zuylen. Using a recent result by Mucha, which states that an $α$-approximation algorithm for Max ATSP implies a $(2+\frac{11(1-α)}{9-2α})$-approximation algorithm for the shortest superstring problem (SSP), we obtain also a $(2 \frac{11}{30} \approx 2,3667)$-approximation algorithm for SSP, beating the previously best known (having approximation factor equal to $2 \frac{11}{23} \approx 2,4782$.)

연구 동기 및 목표

• 최대 비대칭 TSP(Max ATSP)에 대한 보다 우수한 근사 알고리즘을 개발하기 위해, 이는 APX-완전이며 이전에 $\frac{2}{3}$-근사 비율을 가졌음.
• 기존 알고리즘의 한계를 극복하기 위해, 근사 성능을 떨어뜨리는 사이클 커버 내의 2-사이클과 3-사이클을 제거함.
• 최대 무게 사이클 커버와 완화된 사이클 커버를 이용해 다중그래프를 구성하는 새로운 방법을 수립하여, 경로 분해를 위한 간선 색칠을 가능하게 함.
• 향상된 Max ATSP 근사 알고리즘을 활용해 DNA 시퀀싱과 데이터 압축 분야에서 핵심적인 문제인 짧은 슈퍼스트링 문제(SSP)에 대해 보다 우수한 근사 성능을 도출함.
• 선형계획법 기반 방법의 대안으로 조합적 접근을 제공함으로써 효율성과 단순성을 향상시키며 근사 보증을 강화함.

제안 방법

• 최대 무게 매칭을 사용하여 완전 방향 그래프의 최대 무게 사이클 커버 $C_{\text{max}}$를 계산함으로써 최적 투어 무게의 하한선을 확보함.
• 반모서리(모서리의 머리 또는 꼬리 중 하나를 나타냄)를 사용하여 $C_{\text{max}}$에 존재하는 2-사이클과 3-사이클을 피하는 완화된 사이클 커버 $C_1$를 구성함으로써 $w(C_1) \geq \text{OPT}$를 보장함.
• 최대 무게 사이클 커버 $C_{\text{max}}$ 한 개와 완화된 사이클 커버 $C_1$ 두 개를 포함하는 다중그래프 $G_1$를 구성함으로써 각 모서리가 최대 세 번까지 나타나며 총 무게가 $3\cdot\text{OPT}$ 이상이 되도록 함.
• 네 가지 색상으로 구성된 새로운 간선 색칠 기법을 적용하여 $G_1$를 네 개의 집합 $Z_1, \dots, Z_4$로 분할함. 각 집합은 정점을 공유하지 않는 경로로 이루어지며, 이 중 하나의 집합이 최소 $\frac{3}{4}\cdot\text{OPT}$ 이상의 무게를 확보함.
• 삼각형과 2-사이클을 처리하기 위해 신중한 색칠 전략을 적용하며, 동적 색상 교체와 단색 사이클 방지를 통해 충돌을 방지함.
• 필요에 따라 $C_1$과 다른 커버 $C_2$ 간에 모서리와 반모서리를 교환함으로써, 정점에서 네 개의 출발 모서리가 존재하는 등 문제적 구성요소를 피함.

실험 결과

연구 질문

• RQ1 조합적 방법을 사용할 때 최대 비대칭 TSP(Max ATSP)에 대해 달성 가능한 최고의 근사 비율은 무엇인가?
• RQ2 최대 무게 사이클 커버 내의 2-사이클과 3-사이클을 효과적으로 제거하거나 우회할 수 있는 방법은 무엇인가?
• RQ3 표준 사이클 커버와 완화된 사이클 커버에서 유도된 다중그래프가 간선 색칠을 통해 네 개의 경로 집합으로 분해되어 고중량 TSP 순회를 추출할 수 있는가?
• RQ4 Max ATSP에 대한 $\frac{3}{4}$-근사 비율이 이전에 알려진 바보다도 더 우수한 SSP 근사 비율을 유도하는가?
• RQ5 반모서리와 새로운 간선 색칠 기법을 사용하여 선형계획법 기반 방법이 아닌 조합적 알고리즘을 통해 Max ATSP 및 관련 문제에 대해 향상된 성능을 달성할 수 있는가?

주요 결과

• 논문은 Max ATSP에 대해 이전 최고 기록인 $\frac{2}{3}$에서 향상된 조합적 $\frac{3}{4}$-근사 알고리즘을 제시한다.
• 완화된 사이클 커버를 반모서리와 함께 사용하고 두 개의 사이클 커버에서 유도된 다중그래프를 구성함으로써, 네 개의 색상 경로 집합 중 하나가 최적 투어 무게의 $\frac{3}{4}$ 이상을 확보함을 보장한다.
• 새로운 색칠 및 모서리 교체 전략을 통해 최대 무게 사이클 커버 내의 2-사이클과 3-사이클이 초래하는 성능 저하를 효과적으로 방지한다.
• Muche의 결과를 활용하여, 짧은 슈퍼스트링 문제(SSP)에 대해 $2\frac{11}{30} \approx 2.3667$-근사 비율을 달성하며 이전 최고 기록인 $2\frac{11}{23} \approx 2.4782$를 초월한다.
• 알고리즘은 순수하게 조합적이며 선형계획법을 회피함으로써 이전의 LP 기반 접근보다 더 효율적이고 개념적으로 단순하다.
• 삼각형과 2-사이클이 존재하는 상황에서도 동적 색상 교체 및 충돌 해소 전략을 통해 색칠 과정에서의 안정성을 확보함으로써 강건함을 입증하였다.