Reachability Preservers: New Extremal Bounds and Approximation Algorithms

Abstract

SIAM Journal on Computing, Volume 53, Issue 2, Page 221-246, April 2024.
Abstract. We define and study reachability preservers, a graph-theoretic primitive that has been implicit in prior work on network design. Given a directed graph [math] and a set of demand pairs [math], a reachability preserver is a sparse subgraph [math] that preserves reachability between all demand pairs Our first contribution is a series of extremal bounds on the size of reachability preservers. Our main result states that, for an [math]-node graph and demand pairs of the form [math] for a small node subset [math], there is always a reachability preserver on [math] edges. We additionally give a lower bound construction demonstrating that this upper bound characterizes the settings in which [math] size reachability preservers are generally possible, in a large range of parameters. The second contribution of this paper is a new connection between extremal graph sparsification results and classical Steiner Network Design problems. Surprisingly, prior to this work, the osmosis of techniques between these two fields had been superficial. This allows us to improve the state of the art approximation algorithms for the most basic Steiner-type problem in directed graphs from the [math] of Chlamtáč et al. [Approximating spanners and directed steiner forest: Upper and lower bounds, in Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, Philadelphia, 2017, pp. 534–553] to [math].