[논문 리뷰] Graphic TSP in cubic graphs

Zdenĕk Dvořák, Daniel Král͏̌외 1명|arXiv (Cornell University)|2016. 08. 26.

Advanced Graph Theory Research참고 문헌 13인용 수 4

한 줄 요약

이 논문은 2-연결성 있는 3-정점 그래프에서 그래픽 TSP에 대해 다항시간 $frac{9}{7}$-근사 알고리즘을 제시하며, 이는 이전까지의 1.3보다 우수한 결과이다. 주요 기여는 모든 2-연결성 있는 3-정점 $n$-정점 그래프가 최대 $frac{9}{7}n - 1$ 길이의 TSP 순회를 가짐을 증명한 것으로, 이는 부분 3-정점 그래프에서의 새로운 감소 기법과 조절된 초과를 가진 올레라닉 부분그래프의 정교한 분석을 통해 달성된다.

ABSTRACT

We present a polynomial-time 9/7-approximation algorithm for the graphic TSP for cubic graphs, which improves the previously best approximation factor of 1.3 for 2-connected cubic graphs and drops the requirement of 2-connectivity at the same time. To design our algorithm, we prove that every simple 2-connected cubic n-vertex graph contains a spanning closed walk of length at most 9n/7-1, and that such a walk can be found in polynomial time.

연구 동기 및 목표

• 기존의 1.3보다 더 나은 근사 인자로 3-정점 그래프에서 그래픽 TSP의 근사 인자를 향상시키는 것.
• 근사 알고리즘에서 2-연결성 조건을 제거하면서도 강력한 성능 보장을 유지하는 것.
• 구조적 그래프 감소 기법을 사용하여 3-정점 및 부분 3-정점 그래프에서 최소 TSP 순행 길이에 대한 날카운 상계를 수립하는 것.
• 기존 방법보다 더 유연한 감소를 가능하게 하는, 부분 3-정점 그래프를 중간 입력으로 허용하는 새로운 증명 프레임워크를 제공하는 것.
• 일반적으로 $frac{9}{7}$-인자가 향상될 수 없음을 보여주는 극한 예시를 구성하고, 구조적 제약 조건 하에서 상계의 날카움을 분석하는 것.

제안 방법

• 2-연결성 있는 부분 3-정점 그래프에 대해 2-연결성을 유지하면서 정점 수를 줄이고, 올레라닉 부분그래프의 최소 초과를 1 감소시키는 새로운 감소 연산을 도입한다.
• 스패닝 올레라닉 부분그래프의 초과를 정의하며, 이는 부분그래프의 연결 성분 수에서 홀수 차수 정점 수를 뺀 값으로 정의하고, 이를 TSP 순행 길이의 상한으로 사용한다.
• 다이아몬드(한 개의 간선을 제외한 $K_4$)를 더 큰 부분그래프로 대체하는 두 번째, 더 복잡한 감소 기법을 적용하며, 이는 그래프 크기를 8개의 정점 증가시키고 최소 초과를 2 증가시키며 2-연결성을 유지한다.
• 기본 그래프 $K_{2,3}$에 대해 이러한 감소 기법을 재귀적으로 적용하여 $n \equiv 2 \pmod{3}$ 이고 최소 초과가 $\frac{n + n_2}{4} + 1$ 인 2-연결성 있는 부분 3-정점 그래프의 가족을 구성함으로써 TSP 순행 길이에 대한 하한을 확립한다.
• 또 다른 2-연결성 있는 3-정점 그래프의 가족을 구성하여 $n \equiv 0 \pmod{8}$ 이고 최소 초과가 $n/4$ 임을 보이며, $\frac{5}{4}n$ 상한이 날카로움을 증명한다.
• 2-연결성 있는 3-정점 그래프에서 길이 $leq frac{9}{7}n - 1$ 이하인 TSP 순행의 존재가 다항시간에 계산 가능한 TSP 순행을 구할 수 있음을 증명함으로써, $frac{9}{7}$-근사 알고리즘이 성립함을 보인다.

실험 결과

연구 질문

• RQ1 2-연결성 조건 없이도 3-정점 그래프에서 그래픽 TSP의 근사 인자를 1.3을 초월해 향상시킬 수 있는가?
• RQ2 2-연결성 있는 3-정점 그래프에서 최단 TSP 순행 길이에 대한 가장 날카로운 상한은 무엇인가?
• RQ3 스패닝 올레라닉 부분그래프의 최소 초과를 이용하여 부분 3-정점 및 3-정점 그래프에서 TSP 순행 길이에 대한 더 강력한 상한을 유도할 수 있는가?
• RQ4 부분 3-정점 그래프에 대해 추측된 상한 $\text{tsp}(G) \leq \frac{5}{4}n + \beta n_2$ 에서 계수들이 날카로운가?
• RQ5 부분 3-정점 그래프에서의 구조적 감소 기법이 3-정점 그래프에서 그래픽 TSP의 근사 보증을 향상시킬 수 있는가?

주요 결과

• 모든 2-연결성 있는 3-정점 $n$-정점 그래프는 길이 $leq frac{9}{7}n - 1$ 이하인 TSP 순행을 가진다. 이는 $1.3n$ 인자보다 향상된 첫 번째 상한이다.
• 논문은 임의의 2-연결성 있는 부분 3-정점 그래프(총 $n$개의 정점, $n_2$개의 차수 2인 정점)에서 길이 $leq frac{9}{7}n + \frac{2}{7}n_2 - 1$ 이하인 TSP 순행을 다항시간에 계산하는 알고리즘을 제시한다.
• $\frac{9}{7}$-근사 인자는 날카로우며, 이는 2-연결성 있는 3-정점 그래프에서 $\frac{5}{4}n - 2$ 이하의 TSP 순행이 존재하지 않는 예시를 구성함으로써 입증된다. 이는 추가 제약 조건 없이 $\frac{9}{7}$를 향상시킬 수 없음을 의미한다.
• 모든 $n \equiv 2 \pmod{3}$ 이고 $n_2 = \Theta(n)$ 인 2-연결성 있는 부분 3-정점 그래프의 가정에서, TSP 순행 길이가 $\frac{5}{4}n + \frac{1}{4}n_2 - 1$ 이하일 수 없음을 보이며, 이는 상한에서 계수 $\frac{1}{4}$가 향상될 수 없음을 시사한다.
• 제안된 감소 기법은 2-연결성을 유지하며 최소 초과를 정확히 추적할 수 있어, TSP 순행 길이에 대한 날카로운 상한 유도가 가능하다.
• 논문에서 제시된 구성은 기존의 최고 수준의 근사 불가능성 결과와 일치하며, 현재의 복잡도 가정 하에 이 클래스에 대해 $\frac{9}{7}$가 가능한 최선의 근사 인자임을 확인한다.