[논문 리뷰] A $\frac{3}{2}$-Approximation Algorithm for Tree Augmentation via Chvátal-Gomory Cuts

Fiorini, Samuel, Groß, Martin외 2명|arXiv (Cornell University)|2017. 01. 01.

Complexity and Algorithms in Graphs참고 문헌 18인용 수 6

한 줄 요약

이 논문은 링크 비용이 상수 M으로 유계된 가중치 있는 트리 보강 문제(WTAP)에 대해 새로운 LP 기반 3/2 + ε-근사 알고리즘을 제안한다. 표준 컷 LP에 0-1/2 Chvátal-Gomory 컷을 추가하여 '홀수 컷 LP'를 구성하고, 이전 연구에서 제안된 번들 제약 조건을 통합함으로써, 더 나은 라운딩 보장을 달성하여 TAP에 대해 알려진 최고의 근사 인자와 일치하는 첫 번째 LP 기반 알고리즘을 얻었으며, 유계된 비용 하에서 이전의 최고 bound ≈1.96418 + ε 보다 향상된 결과를 도출하였다.

ABSTRACT

In the Tree Augmentation problem we are given a tree T=(V,F) and a set E of edges with positive integer costs {c_e:e in E}. The goal is to augment T by a minimum cost edge set J subseteq E such that T cup J is 2-edge-connected. We obtain the following results. Recently, Adjiashvili [SODA 17] introduced a novel LP for the problem and used it to break the 2-approximation barrier for instances when the maximum cost M of an edge in E is bounded by a constant; his algorithm computes a 1.96418+epsilon approximate solution in time n^{{(M/epsilon^2)}^{O(1)}}. Using a simpler LP, we achieve ratio 12/7+epsilon in time ^{O(M/epsilon^2)}. This also gives ratio better than 2 for logarithmic costs, and not only for constant costs. In addition, we will show that (for arbitrary costs) the problem admits ratio 3/2 for trees of diameter <= 7. One of the oldest open questions for the problem is whether for unit costs (when M=1) the standard LP-relaxation, so called Cut-LP, has integrality gap less than 2. We resolve this open question by proving that for unit costs the integrality gap of the Cut-LP is at most 28/15=2-2/15. In addition, we will suggest another natural LP-relaxation that is much simpler than the ones in previous work, and prove that it has integrality gap at most 7/4.

연구 동기 및 목표

• 유계된 링크 비용을 가진 가중치 있는 트리 보강 문제(WTAP)에 대해 개선된 근사 알고리즘을 개발하기.
• WTAP에 대해 알려진 최고의 근사 인자와 비중 없는 경우에 대해 알려진 3/2-근사 인자 간의 격차를 메우기.
• Adjiashvili가 이전에 제시한 ≈1.96418 + ε 결과보다 더 나은 근사 보장을 가지는 LP 기반 알고리즘을 달성하기.
• 강력한 LP 리 림프와 분해 기법의 조합이 더 타이트한 라운딩과 향상된 근사 비율을 가능하게 함을 보여주기.

제안 방법

• WTAP의 표준 컷 LP에 모든 0-1/2 Chvátal-Gomory 컷을 추가하여 '홀수 컷 LP'를 도입하기.
• 크로스링크와 업링크만 포함된 인스턴스에 대해 홀수 컷 LP가 정수임을 증명하기. 이는 정수 바이넷 행렬 이론을 활용한다.
• 홀수 컷 LP를 Adjiashvili의 접근법에서 유래한 번들 제약 조건과 조합하여 '홀수 컷 번들 LP'를 구성하고, 이는 알고리즘에서 사용된다.
• 4M/ε²-두꺼운 간선 분해를 적용하여 인스턴스를 독립적인 부분문제로 분할하고, 각 부분문제의 구조는 10M/ε²-단순함을 갖는다.
• 두 가지 다른 라운딩 절차를 적용하기: 크로스/업링크 인스턴스에 대해서는 홀수 컷 LP의 정수성에 기반한 라운딩, 인링크가 많은 경우에 대해서는 번들 제약 조건에 기반한 라운딩.
• 두 라운딩 전략의 비용을 조합하여 전체 솔루션의 총 비용이 최적값의 (3/2 + ε) 배 이내임을 보장하기.

실험 결과

연구 질문

• RQ1 LP 기반 접근법을 통해 링크 비용이 유계된 WTAP의 근사 인자를 2 이하로 향상시킬 수 있는가?
• RQ2 표준 LP에 0-1/2 Chvátal-Gomory 컷을 추가하면 더 강력한 리 림프를 얻을 수 있으며, 이는 더 나은 라운딩을 가능하게 하는가?
• RQ3 크로스링크 및 업링크 인스턴스에 대해 홀수 컷 LP의 정수성을 활용하여 근사 보장을 향상시킬 수 있는가?
• RQ4 홀수 컷 LP와 번들 제약 조건을 조합하여 링크 비용이 유계된 WTAP에 대해 3/2 + ε-근사 인자를 달성할 수 있는가?
• RQ5 개선된 근사 인자를 유지하면서도 다항 시간 내에 알고리즘을 구현할 수 있는가?

주요 결과

• 크로스링크와 업링크만 포함된 WTAP 인스턴스에 대해 홀수 컷 LP는 정수이므로, 이러한 경우 정확한 라운딩이 가능하다.
• 이 논문에서 제안된 알고리즘은 링크 비용이 [1, M] 범위에 있는 WTAP에 대해 3/2 + ε-근사 인자를 달성하며, 이는 이전의 최고 bound ≈1.96418 + ε 보다 향상된 결과이다.
• 이 알고리즘은 LP 기반이며 다항 시간 내에 실행 가능하여, 이는 비용이 유계된 WTAP에 대해 이 근사 인자를 달성하는 첫 번째 LP 기반 알고리즘이다.
• 일반적으로 0-1/2 Chvátal-Gomory 컷을 분리하는 것은 NP-난이도이지만, 홀수 컷 LP는 효율적으로 해결 가능하다.
• 분해 및 라운딩 프레임워크는 전체 솔루션의 비용이 최적값의 (3/2 + ε) 배 이내임을 보장하며, ε 항은 분해 및 커버링 비용에서 기인한다.
• 비중 없는 경우(TAP)에 대해 이 결과는 최고의 알려진 근사 인자와 일치하며, LP 기반 접근법은 최고의 SDP 기반 알고리즘의 성능을 재현한다.