SearcharxivSearch

arXiv · 1707.05240

Coloring Down: $3/2$-approximation for special cases of the weighted tree augmentation problem

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.

Explore related subjects

Keep this discovery

BibTeXRIS

Jennifer Iglesias, R. Ravi. 2017-07-17. Coloring Down: $3/2$-approximation for special cases of the weighted tree augmentation problem. https://arxiv.org/abs/1707.05240

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Quasi-Monte Carlo Beyond Hardy-Krause II: $(1 + \varepsilon)n$ Samples Suffice

Numerical integration studies how well one can estimate the integral of a function $f$ over $[0,1)^d$ using $n$ sample points. The two classical methods, Monte Carlo (MC) and quasi-Monte Carlo (QMC), have complementary strengths and weaknesses, and a fundamental question is to design an approach that combines the benefits of both. Recently, building on the transference principle in discrepancy theory, Bansal and Jiang~\cite{BJ25a} gave a randomized QMC method that bridges MC and QMC guarantees using only i.i.d.\ samples. Their method also goes beyond the classical Koksma--Hlawka inequality: it achieves integration error $\widetilde{O}_d(\sigma_{\mathsf{SO}}(f)/n)$, where the smoothed-out variation $\sigma_{\mathsf{SO}}(f)$ can be substantially smaller than the Hardy--Krause variation that governs the classical bound. However, their algorithm requires $n^2$ i.i.d.\ samples as input, and this quadratic blowup is inherent to any method based on the transference principle. In this work, we bypass the quadratic blowup: for any constant $\varepsilon > 0$, we show that $(1+\varepsilon)n$ i.i.d.\ samples suffice to both obtain the beyond-Hardy--Krause guarantee of~\cite{BJ25a}, resolving an open problem posed there, and to produce low-discrepancy point sequences. Our algorithms are variants of the online Haar-thinning method of Dwivedi, Feldheim, Gurel-Gurevich, and Ramdas~\cite{DFG+19}.

cs.DS

Single-Exponential Algorithms and a Polynomial Kernel for Strong Connectivity Augmentation

Strong Connectivity Augmentation (SCA) asks whether a directed acyclic graph can be made strongly connected by adding at most $k$ prescribed links whose total weight is within a given budget. Klinkby, Misra, and Saurabh (SODA 2021) gave an $O^*(2^{O(k\log k)})$-time algorithm and asked whether the problem admits a single-exponential parameterized algorithm and a polynomial kernel. We answer both questions affirmatively: SCA can be solved in $O^*(9^k)$ time and admits a polynomial kernel with $O(k^4)$ vertices and $O(k^{16})$ bits. For unweighted SCA, we obtain $O^*(4^k)$ time and a kernel with $O(k^3)$ vertices. Our algorithms are based on a particularly simple reduction to Strongly Connected Spanning Subgraph with two edge costs.

cs.DS