[논문 리뷰] Coloring Down: $3/2$-approximation for special cases of the weighted tree augmentation problem

Jennifer Iglesias, R. Ravi|arXiv (Cornell University)|2017. 07. 17.

Complexity and Algorithms in Graphs참고 문헌 15인용 수 10

한 줄 요약

이 논문은 가중치가 부여된 트리 보강 문제(TAP)에 대해 두 가지 새로운 상향식 색칠 알고리즘을 제안하며, 구조적 분수형 선형계획(LP) 해를 활용하고 타당한 제약 조건을 추가하여 특수 케이스에서 3/2-근사치를 달성한다. 이는 잎자리 간 링크만을 갖는 이진 트리가 충분함을 증명하고, 강화된 LP의 극단점에서 결함이 있는 간선이 노드 분리 경로를 이룬다는 것을 보여주며, 이러한 경로가 최대 두 개 이하일 경우 볼록 조합 분해를 통해 3/2-근사치를 얻을 수 있음을 보여준다.

ABSTRACT

In this paper, we investigate the weighted tree augmentation problem (TAP), where the goal is to augment a tree with a minimum cost set of edges such that the graph becomes two edge connected. First we show that in weighted TAP, we can restrict our attention to trees which are binary and where all the non-tree edges go between two leaves of the tree. We then give two different top-down coloring algorithms. Both algorithms differ from known techniques for a 3/2-approximation in unweighted TAP and current attempts to reach a 3/2-approximation for weighted TAP. The first algorithm we describe always gives a 2-approximation for any feasible fractional solution to the natural edge cover LP. When the fractional solution is such that all the edges with non-zero weight are at least $α$, then this algorithm achieves a $2/(1+α)$-approximation. We propose a new conjecture on extreme points of LP relaxations for the problem, which if true, will lead to a constructive proof of an integrality gap of at most 3/2 for weighted TAP. In the second algorithm, we introduce simple valid constraints to the edge cover LP. In this algorithm, we focus on deficient edges, edges covered to an extent less than 4/3 in the fractional solution. We show that for fractional feasible solutions, deficient edges occur in node-disjoint paths in the tree. When the number of such paths is at most two, we give a top-down coloring algorithm which decomposes 3/2 times the fractional solution into a convex combination of integer solutions. We believe our algorithms will be useful in eventually resolving the integrality gap of linear programming formulations for TAP. We also investigate a variant of TAP where each edge in the solution must be covered by a cycle of length three. We give a $Θ(\log n)$-approximation algorithm for this problem in the weighted case and a 4-approximation in the unweighted case.

연구 동기 및 목표

• 가중치가 부여된 트리 보강 문제(TAP)에 대해 2-근사치를 초월하는 개선된 근사 알고리즘을 개발하는 것.
• TAP에 대한 자연스러운 트리 컷 커버링 LP의 정수화 간격이 무엇인지 규명하는 오랜 동안 미해결된 문제를 다루는 것.
• 모든 해 간선이 삼각형에 포함되어야 하는 변형 문제(3TAP)의 복잡도를 조사하는 것, 특히 가중치가 부여된 경우와 부여되지 않은 경우를 포함하여.
• 분수형 LP 해를 정수 해의 볼록 조합으로 분해하는 구축 가능한 방법을 제공하여 더 낫게 된 근사 보장을 가능하게 하는 것.
• 특히 차수 3인 정점에서의 노드 기반 제약 조건을 포함하여 새로운 타당한 제약 조건을 도입하여 LP 타당화를 강화함으로써 정수화 간격의 한계를 향상시키는 것.

제안 방법

• 저자는 먼저 TAP의 모든 인스턴스를 잎자리 간 링크만을 갖는 등가의 이진 트리로 환원하여 분석을 단순화하고 구조적 통찰을 얻는다.
• 자연스러운 EDGE-LP의 탈출 가능한 분수형 해에서 시작하는 상향식 색칠 알고리즘을 도입하며, 항상 2-근사치를 보장한다.
• 분수형 해에서 모든 비영인 간선 가중치가 최소 α 이상일 경우, 알고리즘이 (2/(1+α))-근사치를 달성하며, α가 클수록 성능이 향상된다.
• 두 번째 알고리즘은 EDGE-LP를 노드 제약 조건(NODE-LP)으로 강화하여, 각 내부 정점의 차수가 3인 경우 그에 인접한 간선들을 최소 두 개의 링크가 커버하도록 보장한다.
• 알고리즘은 분수형 해에서 커버리지가 4/3 미만인 '결함이 있는 간선'에 집중하며, 강화된 LP의 극단점에서 이러한 간선이 노드 분리 경로를 이룬다는 것을 증명한다.
• 최대 두 개의 이러한 결함이 있는 경로가 존재하는 인스턴스에 대해, 알고리즘은 분수형 해의 최대 3/2배 이내인 정수 해의 볼록 조합을 구성하며, 이로써 3/2-근사치를 달성한다.

실험 결과

연구 질문

• RQ1 새로운 LP 기반 반올림 기법을 통해 가중치가 부여된 트리 보강 문제의 특수 케이스에서 3/2-근사치를 달성할 수 있는가?
• RQ2 강화된 LP 타당화(NODE-LP)의 극단점에서 결함이 있는 간선에 대해 어떤 구조적 성질이 나타나는가?
• RQ3 최대 두 개의 노드 분리 경로로 이루어진 결함이 있는 간선이 존재할 경우, 볼록 조합 분해를 통한 구축 가능한 3/2-근사치를 얻을 수 있는가?
• RQ4 새로운 타당한 제약 조건과 색칠 기반 반올림 기법을 사용하여 자연스러운 EDGE-LP의 정수화 간격을 3/2로 제한할 수 있는가?
• RQ5 모든 해 간선이 삼각형에 포함되어야 하는 3TAP 변형의 근사 복잡도는 어떠한가?

주요 결과

• 논문은 임의의 가중치가 부여된 TAP 인스턴스를 잎자리 간 링크만을 갖는 이진 트리로 환원할 수 있으며, 이는 일반적인 경우에 손실 없이 가능하다고 규명한다.
• 첫 번째 색칠 알고리즘은 임의의 탈출 가능한 분수형 해에서 시작하여 항상 2-근사치를 달성하며, 해에서 모든 비영인 간선 가중치가 최소 α 이상일 경우 (2/(1+α))-근사치로 향상된다.
• 강화된 NODE-LP에 대해 저자는 극단점에서 결함이 있는 간선(커버리지 <4/3)이 노드 분리 경로를 이룬다는 것을 증명한다.
• 최대 두 개의 이러한 결함이 있는 경로가 존재할 경우, 알고리즘은 분수형 해의 최대 3/2배 이내인 정수 해의 볼록 조합을 구성하며, 이로써 3/2-근사치를 달성한다.
• 논문은 가중치가 부여된 3TAP가 NP ⊆ P가 아닐 경우 Ω(log n)-근사가 어려운 것으로 증명하며, 이는 기존의 집합 커버 문제의 난이도와 일치한다.
• 비가중치 3TAP에 대해서는 간단한 근사 알고리즘을 통해 4-근사치를 제공하며, 모든 탈출 가능한 해가 비용 최소 (n−1)/2 이상이어야 한다는 것을 증명한다.