[논문 리뷰] A Better-Than-2 Approximation for Weighted Tree Augmentation

Bang-Jensen, Jørgen, Klinkby, Kristine Vitting외 2명|arXiv (Cornell University)|2021. 04. 14.

Numerical Methods and Algorithms인용 수 1

한 줄 요약

이 논문은 1980년대 이래로 지속된 2-근사 한계를 뛰어넘는 첫 번째 WTAP(가중치가 있는 나무 보강 문제)에 대한 근사 알고리즘을 제시한다. 이 알고리즘은 (1 + ln 2 + ε)-근사율을 달성하며, 이는 작은 ε에 대해 약 1.7에 가까운 수준이다. 이 방법은 특히 초과수준의 크기를 가진 구성 요소를 체계적으로 수축시키는 새로운 상대적 근사 알고리즘을 사용하며, 이는 약간의 분해 정리의 근사적 형태를 활용하여 최적해에 대한 진전을 보장한다.

ABSTRACT

In the Vertex Connectivity Survivable Network Design (VC-SNDP) problem, the input is a graph G and a function d: V(G) × V(G) → ℕ that encodes the vertex-connectivity demands between pairs of vertices. The objective is to find the smallest subgraph H of G that satisfies all these demands. It is a well-studied NP-complete problem that generalizes several network design problems. We consider the case of uniform demands, where for every vertex pair (u,v) the connectivity demand d(u,v) is a fixed integer κ. It is an important problem with wide applications. We study this problem in the realm of Parameterized Complexity. In this setting, in addition to G and d we are given an integer 𝓁 as the parameter and the objective is to determine if we can remove at least 𝓁 edges from G without violating any connectivity constraints. This was posed as an open problem by Bang-Jansen et.al. [SODA 2018], who studied the edge-connectivity variant of the problem under the same settings. Using a powerful classification result of Lokshtanov et al. [ICALP 2018], Gutin et al. [JCSS 2019] recently showed that this problem admits a (non-uniform) FPT algorithm where the running time was unspecified. Further they also gave an (uniform) FPT algorithm for the case of κ = 2. In this paper we present a (uniform) FPT algorithm any κ that runs in time 2^{O(κ² 𝓁⁴ log 𝓁)}⋅ |V(G)|^O(1). Our algorithm is built upon new insights on vertex connectivity in graphs. Our main conceptual contribution is a novel graph decomposition called the Wheel decomposition. Informally, it is a partition of the edge set of a graph G, E(G) = X₁ ∪ X₂ … ∪ X_r, with the parts arranged in a cyclic order, such that each vertex v ∈ V(G) either has edges in at most two consecutive parts, or has edges in every part of this partition. The first kind of vertices can be thought of as the rim of the wheel, while the second kind form the hub. Additionally, the vertex cuts induced by these edge-sets in G have highly symmetric properties. Our main technical result, informally speaking, establishes that "nearly edge-minimal’’ κ-vertex connected graphs admit a wheel decomposition - a fact that can be exploited for designing algorithms. We believe that this decomposition is of independent interest and it could be a useful tool in resolving other open problems.

연구 동기 및 목표

• 1980년대 이래로 수십 년간 지속된 WTAP(가중치가 있는 나무 보강 문제)에 대한 2-근사 한계를 극복하는 것.
• 임의의 링크 가중치를 가진 일반적인 경우에서도 2보다 작게 작동하는 다항 시간 근사 알고리즘을 개발하는 것.
• 기존 방법이 실패한 곳에서 2보다 나은 근사율을 달성할 수 있도록, 초과수준의 크기를 가진 구성 요소를 다루는 상대적 근사 알고리즘을 설계하는 것.
• 모든 최적 WTAP 해에서 수축에 적합한 좋은 구성 요소가 존재함을 보장하는 약간의 분해 정리를 증명하는 것.

제안 방법

• Steiner 나무 문제에 대한 Zelikovsky의 접근 방식을 영감으로 삼은 상대적 근사 알고리즘 프레임워크를 도입하며, WTAP에 맞게 특수화된 구성 요소 수축 전략을 적용한다.
• 상수 k에 대해 k-미세 구성 요소(상수 k에 대해 정의된)의 클래스를 정의하여, 이는 초과수준의 크기를 가지며, 그 내부 구조에 대한 효율적인 열거 및 최적화를 가능하게 한다.
• 나무의 각 정점 v에 대해, 크기가 최대 k인 링크 집합 Y ⊆ L과, 각각의 상향 링크 상태 x ∈ {−, +}를 고려하여, 구성 요소 선택을 안내하는 삼중항 (v, Y, x)를 구성한다.
• 각 삼중항에 대해, v의 각 자식 vi에 대해 L[Dvi] 내의 최적 링크 집합 Ci ⊆ L[Dvi]를 계산하여, 결과 집합 CY = (Y \ Y) ∪ ⋃i Ci 가 슬랙 ρ(CY, Y, v)를 최대화하고 k-미세성을 유지하도록 한다.
• 동적 프로그래밍을 사용하며, 상향 링크 ui ∈ δU(Dvi) ∩ δU(v)의 존재 여부와 가중치에 따라 경우를 나누어, 타당한 경우 C−i 또는 C+i를 선택하여 슬랙을 최대화하면서 k-미세성을 유지한다.
• 구성 요소 구축 과정에서 비가능성을 탐지: 주어진 (v, Y, x)에 대해 타당한 Ci 가 존재하지 않으면, 삼중항은 비가능한 것으로 표시되어 잘못된 해를 피한다.

실험 결과

연구 질문

• RQ1 임의의 링크 가중치를 가진 일반 WTAP 문제에 대해 2보다 나은 근사율을 달성할 수 있는가?
• RQ2 기존 연구가 제한한 상수 크기의 구성 요소를 넘어서, 초과수준의 크기를 가진 구성 요소를 다루는 상대적 근사 알고리즘을 설계할 수 있는가?
• RQ3 모든 최적 WTAP 해에서 수축에 적합한 좋은 구성 요소가 존재함을 보장하는 약간의 분해 정리가 존재하는가?
• RQ4 구성 요소 클래스의 크기가 지수적으로 커지더라도, 각 단계에서 수축할 최적의 구성 요소를 효율적으로 찾을 수 있는가?

주요 결과

• 논문은 (1 + ln 2 + ε)-근사율을 달성하여, 충분히 작은 ε > 0 에 대해 1.7 미만의 근사율을 확보함으로써, 40년이 넘는 기간 동안 지속된 2-근사 한계를 뛰어넘는 첫 번째 성과를 이룬다.
• 알고리즘은 기존 방법이 요구한 상수 크기의 구성 요소를 넘어서 초과수준의 크기를 가진 구성 요소를 수축하는 새로운 상대적 근사 접근 방식을 사용하여, 이전 방법의 핵심 한계를 극복한다.
• 모든 최적 WTAP 해가 수축에 적합한 구성 요소로 분할될 수 있음을 보여주는 약간의 분해 정리를 증명하였으며, 이는 알고리즘의 정당성과 성능 분석을 보장한다.
• 고정된 상수 k에 대해 O(|V|^{O(k)}) 시간 내에 실행되며, 이는 크기가 최대 k인 Y 집합에 대해 효율적으로 열거하고 각 서브트리에 대해 최적 링크 집합을 계산함으로써 달성된다.
• 구성 요소 구축 과정에서 비가능한 삼중항을 정확히 탐지하여, 최적화 과정에서 타당하고 k-미세 구성 요소만 고려하도록 보장한다.
• 이전의 연구가 제한된 지름 또는 무게 비율에 의존한 것과 달리, 이 방법은 유계된 지름을 가진 트리나 무게가 동일한 경우에 국한되지 않고 일반화 가능하다.