Subsetwise and Multi-Level Additive Spanners with Lightness Guarantees

TL;DR

This paper introduces new algorithms for subsetwise and multi-level additive spanners with lightness guarantees, improving efficiency and approximation ratios for network design problems.

Contribution

It generalizes lightness to subset-lightness, provides polynomial algorithms for subsetwise spanners, and offers an improved approximation for multi-level spanners.

Findings

Polynomial algorithms for subsetwise additive spanners with bounded subset-lightness.

An $e$-approximation algorithm for multi-level spanners.

Enhanced approximation ratio compared to previous work.

Abstract

An \emph{additive +$\beta W$ spanner} of an edge weighted graph $G=(V,E)$ is a subgraph $H$ of $G$ such that for every pair of vertices $u$ and $v$, $d_{H}(u,v) \le d_G(u,v) + \beta W$, where $d_G(u,v)$ is the shortest path length from $u$ to $v$ in $G$. While additive spanners are very well studied in the literature, spanners that are both additive and lightweight have been introduced more recently [Ahmed et al., WG 2021]. Here the \emph{lightness} is the ratio of the spanner weight to the weight of a minimum spanning tree of $G$. In this paper, we examine the widely known subsetwise setting when the distance conditions need to hold only among the pairs of a given subset $S$. We generalize the concept of lightness to subset-lightness using a Steiner tree and provide polynomial-time algorithms to compute subsetwise additive $+\epsilon W$ spanner and $+(4+\epsilon) W$ spanner with $O_\epsilon(|S|)$ and $O_\epsilon(|V_H|^{1/3} |S|^{1/3})$ subset-lightness, respectively, where $\epsilon$ is an arbitrary positive constant. We next examine a multi-level version of spanners that often arises in network visualization and modeling the quality of service requirements in communication networks. The goal here is to compute a nested sequence of spanners with the minimum total edge weight. We provide an $e$-approximation algorithm to compute multi-level spanners assuming that an oracle is given to compute single-level spanners, improving a previously known 4-approximation [Ahmed et al., IWOCA 2023].