Connectivity Labeling and Routing with Multiple Vertex Failures

TL;DR

This paper introduces new succinct labeling schemes for connectivity in graphs resilient to multiple vertex failures, achieving significantly smaller label sizes than previous methods and enabling efficient routing.

Contribution

It presents the first efficient $f$-vertex fault-tolerant connectivity labeling schemes with poly(f, log n) bits, improving over prior linear or super-polynomial bounds.

Findings

Randomized labels of $O(f^3 ext{log}^5 n)$ bits.

Derandomized labels of $O(f^7 ext{log}^{13} n)$ bits.

Routing schemes with poly(f, log n) size avoiding vertex failures.

Abstract

We present succinct labeling schemes for answering connectivity queries in graphs subject to a specified number of vertex failures. An $f$-vertex/edge fault tolerant ($f$-V/EFT) connectivity labeling is a scheme that produces succinct labels for the vertices (and possibly to the edges) of an $n$-vertex graph $G$, such that given only the labels of two vertices $s,t$ and of at most $f$ faulty vertices/edges $F$, one can infer if $s$ and $t$ are connected in $G-F$. The primary complexity measure is the maximum label length (in bits). The $f$-EFT setting is relatively well understood: [Dory and Parter, PODC 2021] gave a randomized scheme with succinct labels of $O(\log^3 n)$ bits, which was subsequently derandomized by [Izumi et al., PODC 2023] with $\tilde{O}(f^2)$-bit labels. As both noted, handling vertex faults is more challenging. The known bounds for the $f$-VFT setting are far away: [Parter and Petruschka, DISC 2022] gave $\tilde{O}(n^{1-1/2^{\Theta(f)}})$-bit labels, which is linear in $n$ already for $f =\Omega(\log\log n)$. In this work we present an efficient $f$-VFT connectivity labeling scheme using $poly(f, \log n)$ bits. Specifically, we present a randomized scheme with $O(f^3 \log^5 n)$-bit labels, and a derandomized version with $O(f^7 \log^{13} n)$-bit labels, compared to an $\Omega(f)$-bit lower bound on the required label length. Our schemes are based on a new low-degree graph decomposition that improves on [Duan and Pettie, SODA 2017], and facilitates its distributed representation into labels. Finally, we show that our labels naturally yield routing schemes avoiding a given set of at most $f$ vertex failures with table and header sizes of only $poly(f,\log n)$ bits. This improves significantly over the linear size bounds implied by the EFT routing scheme of Dory and Parter.