DeepAI AI Chat
Log In Sign Up

Deterministic Sensitivity Oracles for Diameter, Eccentricities and All Pairs Distances

by   Davide Bilò, et al.
Università degli Studi dell'Aquila
Hasso Plattner Institute
Indian Institute of Technology Delhi
The Academic College of Tel Aviv Yaffo

We construct data structures for extremal and pairwise distances in directed graphs in the presence of transient edge failures. Henzinger et al. [ITCS 2017] initiated the study of fault-tolerant (sensitivity) oracles for the diameter and vertex eccentricities. We extend this with a special focus on space efficiency. We present several new data structures, among them the first fault-tolerant eccentricity oracle for dual failures in subcubic space. We further prove lower bounds that show limits to approximation vs. space and diameter vs. space trade-offs for fault-tolerant oracles. They highlight key differences between data structures for undirected and directed graphs. Initially, our oracles are randomized leaning on a sampling technique frequently used in sensitivity analysis. Building on the work of Alon, Chechik, and Cohen [ICALP 2019] as well as Karthik and Parter [SODA 2021], we develop a hierarchical framework to derandomize fault-tolerant data structures. We first apply it to our own diameter and eccentricity oracles and then show its versatility by derandomizing algorithms from the literature: the distance sensitivity oracle of Ren [JCSS 2022] and the Single-Source Replacement Path algorithm of Chechik and Magen [ICALP 2020]. This way, we obtain the first deterministic distance sensitivity oracle with subcubic preprocessing time.


page 3

page 7

page 9

page 15

page 17

page 19

page 21

page 25


Fault-Tolerant ST-Diameter Oracles

We study the problem of estimating the ST-diameter of a graph that is su...

Space-Efficient Fault-Tolerant Diameter Oracles

We design f-edge fault-tolerant diameter oracles (f-FDOs). We preprocess...

Compact Distance Oracles with Large Sensitivity and Low Stretch

An f-edge fault-tolerant distance sensitive oracle (f-DSO) with stretch ...

Planar Reachability Under Single Vertex or Edge Failures

In this paper we present an efficient reachability oracle under single-e...

Pairwise Reachability Oracles and Preservers under Failures

In this paper, we consider reachability oracles and reachability preserv...

Fault-tolerant and Transactional Stateful Serverless Workflows (extended version)

This paper introduces Beldi, a library and runtime system for writing an...