[논문 리뷰] Cover and Conquer: Augmenting Decompositions for Connectivity Problems.

Arash Haddadan, Alantha Newman외 1명|arXiv (Cornell University)|2017. 07. 17.

Complexity and Algorithms in Graphs참고 문헌 25인용 수 3

한 줄 요약

이 논문은 소수의 간선을 균등하게 커버하는 사이클 커버를 활용하여, 노드 가중치가 있는, 부분 3-차수이고 3-간선연결된 그래프에서 TSP 및 2EC와 같은 연결성 문제에 대해 향상된 근사 알고리즘을 제시한다. 3-간선연결, 3-차수, 노드 가중치가 있는 그래프에서 TSP에 대해 7/5-근사, 2EC에 대해 13/10-근사 성능을 달성하였으며, 동시에 모든 곳에서 18/19 벡터가 투어 인cidenc 벡터의 볼록 조합임을 보였다.

ABSTRACT

We explore and introduce tools to design algorithms with improved approximation guarantees for edge connectivity problems such as the traveling salesman problem (TSP) and the 2-edge-connected spanning multigraph problem (2EC) on (restricted classes of) weighted graphs. In particular, we investigate decompositions of graphs that cover small-cardinality cuts an even number of times. Such decompositions allow us to design approximation algorithms that consist of augmenting an initial subgraph (e.g. cycle cover or spanning tree) with a cheap addition to form a feasible solution. Boyd, Iwata and Takazawa recently presented an algorithm to find a cycle cover that covers all 3- and 4-edge cuts in a bridgeless, cubic graph with applications to 2EC on 3-edge-connected, cubic graphs [BIT 2013]. We present several applications of their algorithm to connectivity problems on node-weighted graphs, which has been suggested as an intermediate step between graph and general metrics. Specifically, on 3-edge-connected, cubic, node-weighted graphs, we present a $\frac{7}{5}$-approximation algorithm for TSP and a $\frac{13}{10}$-approximation algorithm for 2EC. Moreover, we use a cycle cover that covers all 3- and 4-edge cuts to show that the everywhere $\frac{18}{19}$ vector is a convex combination of incidence vectors of tours, answering a question of Seb{\H{o}}. Extending this approach to input graphs that are 2-edge connected necessitates finding methods for covering 2-edge cuts. We therefore present a procedure to decompose an optimal solution for the subtour linear program into spanning, connected subgraphs that cover each 2-edge cut an even number of times. We use this decomposition to design a simple $\frac{4}{3}$-approximation algorithm for the 2-edge connected problem on subcubic, node-weighted graphs.

연구 동기 및 목표

• 제한된 클래스의 가중치가 있는 그래프에서 TSP 및 2EC와 같은 간선 연결성 문제에 대해 더 나은 근사 알고리즘을 설계하는 것.
• Boyd, Iwata, 및 Takazawa의 사이클 커버 접근법을 일반 그래프와 일반 메트릭 사이의 중간 모델인 노드 가중치가 있는 그래프로 확장하는 것.
• 기본적인 사이클 커버가 실패할 때 2-간선 컷을 효과적으로 다루기 위해 최적의 서투어 선형계획 해를 2-간선 컷을 균등하게 커버하는 부분그래프로 분해하는 문제를 해결하는 것.
• 모든 곳에서 18/19 벡터가 투어 인cidenc 벡터의 볼록 조합임을 증명하여 Sebő가 제기한 질문을 해결하는 것.

제안 방법

• 모든 3-간선 및 4-간선 컷을 짝수 번 수차로 커버하는 사이클 커버를 사용하여 TSP 및 2EC의 타당한 해를 구성하는 것.
• 3-간선연결, 3-차수, 노드 가중치가 있는 그래프에 사이클 커버 기법을 적용하여 향상된 근사 비율을 달성하는 것.
• 최적의 서투어 선형계획 해를 2-간선 컷을 짝수 번 수차로 커버하는 부분그래프로 분해하는 절차를 도입하는 것.
• 이 분해를 활용하여 부분 3-차수, 노드 가중치가 있는 그래프에서 2EC에 대해 4/3-근사 알고리즘을 설계하는 것.
• 사이클 커버 프레임워크를 활용하여 모든 곳에서 18/19 벡터가 투어 인cidenc 벡터의 볼록 조합임을 증명하는 것.
• 초기 부분그래프(예: 사이클 커버 또는 스패닝 트리)에 저비용의 보완을 추가하여 타당하고 근사 최적의 해를 구성하는 것.

실험 결과

연구 질문

• RQ1 소수의 컷을 균등하게 커버하는 사이클 커버는 노드 가중치가 있는 그래프에서 TSP 및 2EC의 근사 보장을 향상시키는 데 사용될 수 있는가?
• RQ2 이러한 사이클 커버를 사용할 때, 3-간선연결, 3-차수, 노드 가중치가 있는 그래프에서 TSP 및 2EC의 최고로 달성 가능한 근사 비율은 무엇인가?
• RQ3 기본적인 사이클 커버가 실패할 때, 2-간선 연결 그래프 문제에서 2-간선 컷을 효과적으로 다룰 수 있는 방법은 무엇인가?
• RQ4 모든 곳에서 18/19 벡터는 투어 인cidenc 벡터의 볼록 조합으로 표현될 수 있으며, 이는 TSP 근사에 어떤 함의를 갖는가?

주요 결과

• 3-간선연결, 3-차수, 노드 가중치가 있는 그래프에서 TSP에 대해 7/5-근사 알고리즘을 사이클 커버를 사용하여 달성하였다. 이 사이클 커버는 모든 3-간선 및 4-간선 컷을 균등하게 커버한다.
• 동일한 그래프 클래스에서 2EC 문제에 대해 13/10-근사 알고리즘을 개발하였다.
• 논문은 모든 곳에서 18/19 벡터가 투어 인cidenc 벡터의 볼록 조합임을 증명하여 Sebő가 제기한 질문에 답하였다.
• 최적의 서투어 선형계획 해를 2-간선 컷을 균등하게 커버하는 부분그래프로 분해하는 방법을 통해 부분 3-차수, 노드 가중치가 있는 그래프에서 2EC에 대해 4/3-근사 알고리즘을 설계하였다.
• 이 분해 방법은 기존에 3-간선연결 그래프에 국한된 접근법을 초과하여 2-간선 컷을 2-간선 연결 그래프에서 효과적으로 다룰 수 있도록 하였다.
• 이 프레임워크는 소수의 컷을 균등하게 커버하는 것이 연결성 문제의 설계 원칙으로서 핵심적이라는 것을 입증하였다.