[논문 리뷰] A 9/7-Approximation Algorithm for Graphic TSP in Cubic Bipartite Graphs

Jeremy Karp, R. Ravi|arXiv (Cornell University)|2013. 11. 14.

Advanced Graph Theory Research참고 문헌 14인용 수 3

한 줄 요약

이 논문은 삼분 이분 그래프에서 Graphic TSP에 대한 다항 시간 9/7-근사 알고리즘을 제시한다. 이는 9/7n개 이하의 간선을 가진 스패닝 올레라닉 다중그래프를 구성함으로써 달성된다. 이 접근법은 사이클 압축 및 확장 기법을 사용하여 2-팩터의 사이클 수를 최소화하며, 이는 이분 그래프의 짝수 사이클 구조와 페테르센의 정리를 활용하여 간선이 서로 겹치지 않는 완전 매칭를 찾는 데에 기반한다.

ABSTRACT

We prove new results for approximating Graphic TSP. Specifically, we provide a polynomial-time \frac{9}{7}-approximation algorithm for cubic bipartite graphs and a (\frac{9}{7}+\frac{1}{21(k-2)})-approximation algorithm for k-regular bipartite graphs, both of which are improved approximation factors compared to previous results. Our approach involves finding a cycle cover with relatively few cycles, which we are able to do by leveraging the fact that all cycles in bipartite graphs are of even length along with our knowledge of the structure of cubic graphs.

연구 동기 및 목표

• 이전의 한계를 초월하여 삼분 이분 그래프에서 Graphic TSP에 대한 근사 비율을 향상시키는 것.
• 결과로 얻어지는 올레라닉 다중그래프의 크기를 줄이기 위해 2-팩터의 사이클 수를 최소화하는 데 도전하는 것.
• k-정규 이분 그래프로 알고리즘을 확장하여 작은 k에 대해 더 날카운 근사 요소를 달성하는 것.
• 구조적 삼분 그래프에서 해밀턴성 성질을 연구함으로써 Barnette의 추측을 해결하기 위한 이론적 진전을 제공하는 것.
• 일반적인 Metric TSP에 비해 삼분 이분 그래프에서 Graphic TSP 인스턴스가 더 효과적으로 근사 가능하다는 것을 보여주는 것.

제안 방법

• 삼분 이분 그래프를 세 개의 간선이 서로 겹치지 않는 완전 매칭으로 분해하기 위해 페테르센의 정리를 사용한다.
• 세 개의 완전 매칭 중 두 개를 조합하여 2-팩터를 구성함으로써 사이클 커버를 형성한다.
• 4-사이클을 압축하고 6-사이클을 반복적 압축을 통해 처리함으로써 2-팩터의 사이클 수를 줄이기 위해 압축 및 확장 과정을 적용한다.
• 2(k−1)개의 추가 간선을 사용하여 2-팩터를 확장하여 스패닝 올레라닉 다중그래프를 구성하기 위해 수정된 DOUBLETREE 절차를 활용한다.
• k-정규 이분 그래프의 경우, 사이클 수를 최소화하기 위해 K3,3 성분이 적은 삼분 부분그래프를 매칭 기반 서브루틴을 사용하여 선택한다.
• 공집합 원리(양자원리)를 사용하여 선택된 삼분 부분그래프의 K3,3 성분 수를 근사하여 더 정교한 근사 요소를 확보한다.

실험 결과

연구 질문

• RQ1 삼분 이분 그래프에서 Graphic TSP에 대해 3/2 이하의 더 나은 근사 비율을 달성할 수 있는가?
• RQ2 사이클 압축 및 확장 기법을 어떻게 활용하여 삼분 이분 그래프의 2-팩터에서 사이클 수를 최소화할 수 있는가?
• RQ3 작은 k ≥4에 대해 k-정규 이분 그래프에서 Graphic TSP에 대한 가장 날카운 근사 요소는 무엇인가?
• RQ4 k-정규 이분 그래프의 삼분 부분그래프에서 K3,3 성분의 수를 유한하게 제한할 수 있는가? 이는 근사 비율 향상에 기여하는가?
• RQ5 삼분 이분 그래프의 구조는 일반적인 Graphic TSP 인스턴스에 비해 더 나은 근사가 가능하게 하는가?

주요 결과

• 논문은 삼분 이분 그래프에서 Graphic TSP에 대해 9/7-근사 비율을 달성하여 이전 결과를 향상시켰다.
• 알고리즘은 O(n^5/2) 시간 내에 스패닝 올레라닉 다중그래프를 최대 9/7n개의 간선으로 계산한다.
• k ≥4인 k-정규 이분 그래프의 경우, 알고리즘은 (9/7 + 1/(21(k−2)))-근사 비율을 달성하며, 작은 k에 대해 이전의 한계를 초월한다.
• 선택된 삼분 부분그래프에서 K3,3 성분의 수는 n/(6(k−2)) 이하로 제한되며, 이는 향상된 근사 비율을 가능하게 한다.
• 압축된 그래프에서 2-팩터의 사이클 수는 최대 n/7개 이하로 보장되며, 이는 최종 다중그래프 크기를 최소화하는 데 핵심적이다.
• 이 방법은 k=4일 경우에도 효과적이며, 4/3n개 이하의 간선을 가진 해를 도출하여 실용적 향상을 보여준다.