[논문 리뷰] Towards Improving Christofides Algorithm on Fundamental Classes by Gluing Convex Combinations of Tours

Arash Haddadan, Alantha Newman|arXiv (Cornell University)|2019. 07. 03.

Vehicle Routing Optimization Methods인용 수 4

한 줄 요약

이 논문은 메트릭 TSP의 Christofides 알고리즘을 향상시켜, 3-edge 컷에서의 투어 볼록 조합에 대해 새로운 접합 기법을 도입함으로써 $\theta$-순환 점—특히 간선 변수가 \{0, \theta, 1-\theta, 1\}에 있고, 부분 삼차 구조를 가지며 모든 정점이 1-간선에 인cidient인 점들에 대해 적용한다. 주요 결과는 1-간선 의존도를 $\frac{3}{2}$ 에서 $\frac{3}{2} - \frac{\theta}{10}$ 으로 감소시켜, $\frac{2}{3}$-균일 점에 대해 $\frac{17}{12}$-근사치를 달성함으로써 Christofides의 $\frac{3}{2}$ 와 추측된 $\frac{4}{3}$ 경계 사이의 중간 지점에 도달한다.

ABSTRACT

We present a new approach for gluing tours over certain tight, 3-edge cuts. Gluing over 3-edge cuts has been used in algorithms for finding Hamilton cycles in special graph classes and in proving bounds for 2-edge-connected subgraph problem, but not much was known in this direction for gluing connected multigraphs. We apply this approach to the traveling salesman problem (TSP) in the case when the objective function of the subtour elimination relaxation is minimized by a $\ heta$-cyclic point: $x_e \\in \\{0,\ heta, 1-\ heta, 1\\}$, where the support graph is subcubic and each vertex is incident to at least one edge with $x$-value 1. Such points are sufficient to resolve TSP in general. For these points, we construct a convex combination of tours in which we can reduce the usage of edges with $x$-value 1 from the $\\frac{3}{2}$ of Christofides algorithm to $\\frac{3}{2}-\\frac{\ heta}{10}$ while keeping the usage of edges with fractional $x$-value the same as Christofides algorithm. A direct consequence of this result is for the Uniform Cover Problem for TSP: In the case when the objective function of the subtour elimination relaxation is minimized by a $\\frac{2}{3}$-uniform point: $x_e \\in \\{0, \\frac{2}{3}\\}$, we give a $\\frac{17}{12}$-approximation algorithm for TSP. For such points, this lands us halfway between the approximation ratios of $\\frac{3}{2}$ of Christofides algorithm and $\\frac{4}{3}$ implied by the famous "four-thirds conjecture".

연구 동기 및 목표

• 기본적인 점 클래스에서 Christofides 알고리즘의 근사 비율을 $\frac{3}{2}$ 초과로 향상시키는 것.
• 연결 다중그래프에서 타이트한 3-edge 컷에 대해 투어 볼록 조합을 효과적으로 접합하는 새로운 방법을 개발하는 것.
• $\theta$-순환 점에서 1-간선의 사용을 $\frac{3}{2}$ 에서 $\frac{3}{2} - \frac{\theta}{10}$ 으로 감소시키는 것—이때 부분 삼차 구조와 모든 정점에 1-간선이 존재함.
• $\frac{17}{12}$-근사치를 $\frac{2}{3}$-균일 점에서 달성함으로써 네분의 삼분의 일 추측에 진전을 이루는 것—$\frac{3}{2}$ 와 $\frac{4}{3}$ 사이의 간극을 메우기 위함.

제안 방법

• 저자들은 $\theta$-순환 점의 지지 그래프에서 3-edge 컷에 대해 투어 볼록 조합을 접합하는 기법을 도입하며, 간선 변수가 \{0, \theta, 1-\theta, 1\}에 있는 점들에 대해 적용한다.
• 그들은 기존 Christofides 방법의 분수 간선 사용을 유지하면서, 각 1-간선의 계수를 $\frac{3}{2}$ 에서 $\frac{3}{2} - \frac{\theta}{10}$ 으로 감소시킨 새로운 볼록 조합을 정의한다.
• 이 방법은 1-간선로 이루어진 2-정규 부분그래프 $H_x$ 와 $\theta$-간선으로 이루어진 1-정규 부분그래프 $W_x$ 를 구성하고, 조인 구조에 대해 랜덤화된 반올림 기법을 적용하는 데 기반한다.
• 확률적 분석을 통해 각 간선 $e$ 가 최종 볼록 조합에서 기대 다중도를 $\left(\frac{3}{2} - \frac{1}{42}\right) \cdot \frac{1}{2}$ 로 사용함을 보이며, 이는 $\theta = \frac{1}{2}$ 일 때 최종 bound에서 각 간선당 $\frac{3}{2} - \frac{1}{42}$ 를 의미한다.
• 이 방법은 4-사이클과 부분그래프 내 해밀턴 사이클에 관한 기존 결과로 환원되며, 특히 Boyd와 Sebő (2021)의 $\frac{1}{2}$-순환 점에서 4-사이클 구조를 활용한 구성에 기반한다.
• 이 방법은 3-edge 컷의 구조 분석을 통해 $\theta$-순환 점으로 일반화되며, TSP 다각형에서 정수성과 볼록성의 유지 보장을 보장한다.

실험 결과

연구 질문

• RQ1 1-간선에 대한 Christofides 알고리즘의 승수 계수를 $\theta$-순환 점에서 $\frac{3}{2}$ 이하로 낮출 수 있는가?
• RQ2 연결 다중그래프에서 3-edge 컷에 대해 투어 볼록 조합을 효과적으로 접합할 수 있는가, 이를 통해 근사 비율을 향상시킬 수 있는가?
• RQ3 $\frac{17}{12}$-근사치가 $\frac{2}{3}$-균일 점에서 네분의 삼분의 일 추측에 의미 있는 진전을 이룬다 할 수 있는가?
• RQ4 기존에 알려진 $\frac{5}{4}$-요구 조건에 비해, 분수 간선이 4-사이클을 이룰 수 있는 $\theta$-순환 점으로 접합 기법을 확장할 수 있는가?
• RQ5 1-간선에 대한 더 강력한 볼록 조합 경계를 제공할 수 있는 $\theta$-순환 점의 구조적 특성은 무엇인가?

주요 결과

• $\theta$-순환 점에서 부분 삼차 구조를 가지며 모든 정점이 1-간선에 연결된 경우, 논문은 1-간선의 사용 다중도가 $\frac{3}{2} - \frac{\theta}{10}$ 인 투어 볼록 조합을 구성함으로써 Christofides의 $\frac{3}{2}$ 를 초월한다.
• $\frac{2}{3}$-균일 점(즉, $x_e \in \{0, \frac{2}{3}\}$)에 대해 이 방법은 TSP에 대해 $\frac{17}{12}$-근사치 알고리즘을 제공하며, 이는 $\frac{3}{2}$ 와 $\frac{4}{3}$ 사이에 엄밀히 놓여 있다.
• 이 개선은 이전에 잘 다뤄지지 않았던 3-edge 컷에서의 투어 볼록 조합 접합 기법을 통해 달성되었으며, TSP의 연결 다중그래프에 적용된 바가 적다.
• 결과적으로 $\theta = \frac{1}{2}$ 일 때 1-간선 사용은 $\frac{3}{2} - \frac{1}{42} = \frac{62}{42} \approx 1.476$ 로 감소하여 $\frac{3}{2}$ 에서 비트리비얼한 개선을 보여준다.
• 이 방법은 타이트하다는 점에서, $\epsilon > 0$ 이면 $\frac{1}{2}$-순환 점들 중에는 $\left(\frac{4}{3} - \epsilon\right)$-스케일링이 TSP 다각형에 속하지 않는 경우가 존재함을 보여, 이 경계가 거의 최적임을 시사한다.
• 이 방법은 기존의 4-사이클 구조 결과를 일반화한다: $\frac{1}{2}$-순환 점에서 $H_x$ 가 정점 간선이 분리된 4-사이클의 합집합인 경우, 논문은 1-간선에 대해 $\frac{5}{4}$-요구 조건을 보이며, 이는 Boyd와 Sebő (2021)의 결과와 일치한다.