[논문 리뷰] A Randomized Rounding Algorithm for the Asymmetric Traveling Salesman Problem

Michel X. Goemans, Nicholas J. A. Harvey외 2명|ArXiv.org|2009. 09. 04.

Complexity and Algorithms in Graphs참고 문헌 9인용 수 7

한 줄 요약

이 논문은 삼각 부등식 하에서 비대칭 TSP(ATSP) 문제에 대한 새로운 확률적 반올림 알고리즘을 제시한다. 먼저 스케일된 선형계획법(LP) 해의 무작위 샘플링을 통해 거의 균형 잡힌 방향 다중그래프를 구성한 후, 전송하나(subgraph)를 통해 이를 오일러 그래프로 보완함으로써 $O(\log n)$의 근사 비율을 달성한다. 이 방법은 헬드-카르프 타월의 정수성 간극이 $O(\log n)$임을 증명하며, 기존의 알려진 결과와 동일한 상한선을 갖는 새로운 확률적 분석을 제공한다.

ABSTRACT

We present an algorithm for the asymmetric traveling salesman problem on instances which satisfy the triangle inequality. Like several existing algorithms, it achieves approximation ratio O(log n). Unlike previous algorithms, it uses randomized rounding.

연구 동기 및 목표

• 삼각 부등식 하에서 향상된 근사 보장을 갖는 비대칭 TSP(ATSP) 문제를 위한 새로운 알고리즘을 개발하는 것.
• 확률적 반올림을 이용하여 ATSP의 헬드-카르프 선형계획법 타월에 대한 $O(\log n)$ 정수성 간극을 새롭게 증명하는 것.
• 확률적 반올림이 높은 확률로 거의 균형 잡힌 방향 다중그래프를 생성할 수 있음을 보여주며, 효율적인 오일러 완성 가능성을 보장하는 것.
• 연결성과 균형을 확보하기 위해 필요한 스케일링 인자 $K = \Omega(\log n)$가 필수임을 보이며, 분석이 상수 요소를 제외하고 최적임을 증명하는 것.

제안 방법

• 분수 해인 헬드-카르프 해 $x$ 를 $K = 100\ln n$ 으로 스케일링하여, 각 간선에 대해 $K$개의 병렬 복제를 가진 다중그래프 $G$ 를 생성한다.
• 다중그래프 $G$ 에서 각 간선을 그 무게 비례 확률로 독립적으로 샘플링하여 무작위 다중그래프 $H$ 를 구성한다.
• 체르노프 보조정리를 적용하여, 높은 확률로 $H$ 의 모든 컷이 기대값에서 $\epsilon = \sqrt{1/10}$ 이내로 편차를 보임을 보이며, 이는 거의 균형 잡힌 진입 및 진출 차수를 보장한다.
• 다중그래프 $H$ 의 정수 간선 수 벡터를 $z$ 로 정의하며, 높은 확률로 모든 비자명한 $U \subset V$ 에 대해 $\frac{z(\delta^+(U))}{z(\delta^-(U))} \leq 2$ 를 만족한다.
• 호프만의 순환 정리를 적용하여, 각 정점에서 순출력이 균형을 이루는 $z$ 의 부분그래프 $w$ 를 찾는다. 이로 인해 $z + w$ 는 오일러 그래프가 된다.
• 다중그래프 $z + w$ 에서 오일러 순회를 단순화하여, 비용이 $O(\log n) \cdot c^T x$ 이하인 유효한 ATSP 순회를 얻는다.

실험 결과

연구 질문

• RQ1 확률적 반올림을 이용하여 분수 ATSP 해로부터 거의 균형 잡힌 방향 다중그래프를 구성할 수 있는가?
• RQ2 확률적 균형성과 연결성을 보장하기 위해 필요한 스케일링 인자 $K$ 는 얼마인가?
• RQ3 이 확률적 반올림 접근법은 삼각 부등식 하에서 ATSP에 대해 $O(\log n)$-근사 비율을 제공하는가?
• RQ4 헬드-카르프 타월의 $O(\log n)$ 정수성 간극은 최적인가? 이는 $K$ 의 하한을 통해 증명될 수 있는가?
• RQ5 정수 다중그래프 $z$ 의 전송하나를 사용하여 비용을 과도하게 증가시키지 않고 $z$ 를 오일러 그래프로 보완할 수 있는가?

주요 결과

• 확률적 반올림 과정은 높은 확률로 모든 $U \subsetneq V$ 에 대해 $\frac{z(\delta^+(U))}{z(\delta^-(U))} \leq 2$ 를 만족하는 거의 균형 잡힌 방향 다중그래프 $H$ 를 생성한다.
• 반올림된 해 $z$ 의 기대 비용은 $O(\log n) \cdot c^T x$ 이며, 높은 확률로 실제 비용도 $O(\log n) \cdot c^T x$ 이내에 머무른다.
• 전송하나 $w$ 는 존재하며 비용이 $c^T z$ 이하이므로, $z + w$ 의 비용은 $2 \cdot c^T z = O(\log n) \cdot c^T x$ 이하이다.
• 이 알고리즘은 높은 확률로 비용 $O(\log n) \cdot c^T x$ 의 연결된 오일러 부분그래프를 생성하며, 이를 단순화하여 유효한 ATSP 순회를 도출한다.
• 단단한 예시를 통해 $K = \Omega(\log n)$ 가 연결성과 균형을 상수 확률로 확보하기 위해 필수임을 보이며, 분석이 상수 요소를 제외하고 최적임을 증명한다.
• 이 새로운 확률적 반올림 접근법에 의해, ATSP의 헬드-카르프 타월의 정수성 간극은 최대 $O\left(\log n\right)$ 이다.