Abstract
In this article, we provide a unified and simplified approach to derandomize central results in the area of fault-tolerant graph algorithms. Given a graph , a vertex pair , and a set of edge faults , a replacement path is an - shortest path in . For integer parameters , a replacement path covering () is a collection of subgraphs of , denoted by , such that for every set of at most faults (i.e., ) and every replacement path of at most edges, there exists a subgraph that contains all the edges of and does not contain any of the edges of . The covering value of the is then defined to be the number of subgraphs in .In the randomized setting, it is easy to build an - with covering value of , but to this date, there is no efficient deterministic algorithm with matching bounds. As noted recently by Alon et al. (ICALP 2019), this poses the key barrier for derandomizing known constructions of distance sensitivity oracles and fault-tolerant spanners. We show the following: - There exist efficient deterministic constructions of -s whose covering values almost match the randomized ones, for a wide range of parameters. Our time and value bounds improve considerably over the previous construction of Parter (DISC 2019). Our algorithms are based on the introduction of a novel notion of hash families that we call HM hash families. We then show how to construct these hash families from (algebraic) error correcting codes such as Reed-Solomon codes and Algebraic-Geometric codes. - For every , and , there exists an -vertex graph whose - covering value is . This lower bound is obtained by exploiting connections to the problem of designing sparse fault-tolerant breadth first search (BFS) structures.An application of our above deterministic constructions is the derandomization of the algebraic construction of the distance sensitivity oracle by Weimann and Yuster (FOCS 2010). The preprocessing and query time of our deterministic algorithm nearly match the randomized bounds. This resolves the open problem of Alon et al. (ICALP 2019). Additionally, we show a derandomization of the randomized construction of vertex fault-tolerant spanners by Dinitz and Krauthgamer (PODC 2011) and Braunschvig et al. (Theor. Comput. Sci., 2015). The time complexity and the size bounds of the output spanners nearly match the randomized counterparts.
Original language | English |
---|---|
Article number | 34 |
Journal | ACM Transactions on Algorithms |
Volume | 20 |
Issue number | 4 |
Early online date | 5 Aug 2024 |
DOIs | |
Publication status | Published - Oct 2024 |
Funding
This work is supported by the Sponsor Israel Science Foundation (Grant Nos. 552/16 and 2084/18), the Sponsor Len Blavatnik and the Blavatnik Family foundation, and the Sponsor Simons Foundation (Grant No. 825876). Publisher Copyright: © 2024 Copyright held by the owner/author(s). Publication rights licensed to ACM.
All Science Journal Classification (ASJC) codes
- Mathematics (miscellaneous)