Deterministic Replacement Path Covering

by   Karthik C. S., et al.

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 G, a vertex pair (s,t) ∈ V(G)× V(G), and a set of edge faults F ⊆ E(G), a replacement path P(s,t,F) is an s-t shortest path in G ∖ F. For integer parameters L,f, a replacement path covering (RPC) is a collection of subgraphs of G, denoted by 𝒢_L,f={G_1,…, G_r }, such that for every set F of at most f faults (i.e., |F|≤ f) and every replacement path P(s,t,F) of at most L edges, there exists a subgraph G_i∈𝒢_L,f that contains all the edges of P and does not contain any of the edges of F. The covering value of the RPC 𝒢_L,f is then defined to be the number of subgraphs in 𝒢_L,f. We present efficient deterministic constructions of (L,f)-RPCs 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). We also provide an almost matching lower bound for the value of these coverings. A key 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 the our deterministic algorithm nearly match the randomized bounds. This resolves the open problem of Alon, Chechik and Cohen (ICALP 2019).


Deterministic Combinatorial Replacement Paths and Distance Sensitivity Oracles

In this work we derandomize two central results in graph algorithms, rep...

Near Optimal Algorithm for Fault Tolerant Distance Oracle and Single Source Replacement Path problem

In a graph G with a source s, we design a distance oracle that can answe...

Restorable Shortest Path Tiebreaking for Edge-Faulty Graphs

The restoration lemma by Afek, Bremler-Barr, Kaplan, Cohen, and Merritt ...

Patch Graph Rewriting

The basic principle of graph rewriting is the stepwise replacement of su...

Multiple Source Replacement Path Problem

One of the classical line of work in graph algorithms has been the Repla...

Canadian Traveller Problem with Predictions

In this work, we consider the k-Canadian Traveller Problem (k-CTP) under...

Deterministic Fault-Tolerant Connectivity Labeling Scheme with Adaptive Query Processing Time

The f-fault-toleratant connectivity labeling (f-FTC labeling) is a schem...

Please sign up or login with your details

Forgot password? Click here to reset