[論文レビュー] A Better-Than-2 Approximation for Weighted Tree Augmentation

Bang-Jensen, Jørgen, Klinkby, Kristine Vitting+2 more|arXiv (Cornell University)|Apr 14, 2021

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.

研究の動機と目的

• 重み付き木拡張問題（WTAP）に対する長年の2-近似の壁を打ち破ること。この問題は1980年代以降、広範な研究がなされても解けなかった。
• 任意のリンク重みを許容する一般ケースにおいても、2より厳密に良い近似比を達成する多項式時間近似アルゴリズムを設計すること。
• 従来の手法が失敗した状況でも、2より良い近似を達成できる、新しいクラスの超定数サイズコンポーネントに作用する相対的グリーディーアルゴリズムを設計すること。
• 任意の最適WTAP解において、縮約に適した良いコンポーネントが存在することを保証する近似的分解定理を証明すること。これにより、アルゴリズムの正しさと性能解析が可能になる。

提案手法

• スティーナー木問題に対するZelikovskyの手法にインspiredされた、相対的グリーディー法の枠組みを導入。WTAPに適応した、新しいコンポーネント縮約戦略を採用する。
• 定数kに対するk-スリムコンポーネント（k-thin components）のクラスを定義。これらはサイズが超定数であり、構造の効率的列挙と最適化を可能にする。
• 各ノードvについて、サイズがk以下のすべてのリンク集合Y ⊆ Lと、すべての可能なアップリンク状態x ∈ {−, +}を列挙し、三つ組 (v, Y, x) を作成してコンポーネント選択をガイドする。
• 各三つ組に対して、vの各子viについて、L[Dvi]に含まれるリンク集合Ci ⊆ Lのうち、結果となる集合CY = (Y \ Y) ∪ ⋃i Ciがスラックρ(CY, Y, v)を最大化し、かつk-スリム性を保つように最適なものを計算する。
• 動的計画法を用い、δU(Dvi) ∩ δU(v) に属するアップリンクuiの存在と重みに基づくケース別処理を行う。C−iとC+i（可能であれば）のうち、スラックを最大化し、k-スリム性を保持する方を選択する。
• コンポーネント構築中に不適合性を検出：特定の(v, Y, x)に対して有効なCiが存在しない場合、その三つ組は不適合とマークされ、無効な解の生成を回避する。

実験結果

リサーチクエスチョン

• RQ1 任意のリンク重みを許容する一般WTAPに対して、2より良い近似が達成可能か？
• RQ2 従来の手法が定数サイズに制限されていたのに対し、超定数サイズのコンポーネントに作用する相対的グリーディーアルゴリズムを設計可能か？
• RQ3 任意の最適WTAP解において、縮約に適した良いコンポーネントが存在することを保証する近似的分解定理が存在するか？
• RQ4 コンポーネントクラスのサイズが指数的であるにもかかわらず、各ステップで最良のコンポーネントを効率的に特定できるか？

主な発見

• 本稿は、十分に小さいε > 0に対して1.7未満の近似比を達成する(1 + ln 2 + ε)-近似をWTAPに実現した。これは40年以上にわたる2-近似の壁を打ち破った最初の成果である。
• 従来の手法が定数サイズのコンポーネントに依存していたのに対し、本手法は超定数サイズのコンポーネントを縮約する新しい相対的グリーディー戦略を用いることで、その主な制限を克服した。
• 任意の最適WTAP解が、縮約に適したコンポーネントに分割可能であることを示す近似的分解定理を証明した。これにより、アルゴリズムの正しさが保証された。
• 固定された定数kに対して、|V|^{O(k)}の時間で実行可能な多項式時間アルゴリズムであり、サイズがk以下のY集合の列挙と、各部分木に対する最適リンク集合の計算を効率的に行う。
• コンポーネント構築中に不適合な三つ組を正しく検出するため、最適化プロセスでは常に有効でk-スリムなコンポーネントのみが考慮される。
• 従来の進展が有界な直径や重み比に依存していたのに対し、本手法はそれらの制限を超えて一般化可能であり、有界直径の木や重みなしケースに限定されない。