25 research outputs found
The Sparsest Additive Spanner via Multiple Weighted BFS Trees
Spanners are fundamental graph structures that sparsify graphs at the cost of small stretch. In particular, in recent years, many sequential algorithms constructing additive all-pairs spanners were designed, providing very sparse small-stretch subgraphs. Remarkably, it was then shown that the known (+6)-spanner constructions are essentially the sparsest possible, that is, larger additive stretch cannot guarantee a sparser spanner, which brought the stretch-sparsity trade-off to its limit. Distributed constructions of spanners are also abundant. However, for additive spanners, while there were algorithms constructing (+2) and (+4)-all-pairs spanners, the sparsest case of (+6)-spanners remained elusive.
We remedy this by designing a new sequential algorithm for constructing a (+6)-spanner with the essentially-optimal sparsity of O~(n^{4/3}) edges. We then show a distributed implementation of our algorithm, answering an open problem in [Keren Censor{-}Hillel et al., 2016].
A main ingredient in our distributed algorithm is an efficient construction of multiple weighted BFS trees. A weighted BFS tree is a BFS tree in a weighted graph, that consists of the lightest among all shortest paths from the root to each node. We present a distributed algorithm in the CONGEST model, that constructs multiple weighted BFS trees in |S|+D-1 rounds, where S is the set of sources and D is the diameter of the network graph
Improved Purely Additive Fault-Tolerant Spanners
Let be an unweighted -node undirected graph. A \emph{-additive
spanner} of is a spanning subgraph of such that distances in
are stretched at most by an additive term w.r.t. the corresponding
distances in . A natural research goal related with spanners is that of
designing \emph{sparse} spanners with \emph{low} stretch.
In this paper, we focus on \emph{fault-tolerant} additive spanners, namely
additive spanners which are able to preserve their additive stretch even when
one edge fails. We are able to improve all known such spanners, in terms of
either sparsity or stretch. In particular, we consider the sparsest known
spanners with stretch , , and , and reduce the stretch to , ,
and , respectively (while keeping the same sparsity).
Our results are based on two different constructions. On one hand, we show
how to augment (by adding a \emph{small} number of edges) a fault-tolerant
additive \emph{sourcewise spanner} (that approximately preserves distances only
from a given set of source nodes) into one such spanner that preserves all
pairwise distances. On the other hand, we show how to augment some known
fault-tolerant additive spanners, based on clustering techniques. This way we
decrease the additive stretch without any asymptotic increase in their size. We
also obtain improved fault-tolerant additive spanners for the case of one
vertex failure, and for the case of edge failures.Comment: 17 pages, 4 figures, ESA 201
Multiple-Edge-Fault-Tolerant Approximate Shortest-Path Trees
Let be an -node and -edge positively real-weighted undirected
graph. For any given integer , we study the problem of designing a
sparse \emph{f-edge-fault-tolerant} (-EFT) {\em -approximate
single-source shortest-path tree} (-ASPT), namely a subgraph of
having as few edges as possible and which, following the failure of a set
of at most edges in , contains paths from a fixed source that are
stretched at most by a factor of . To this respect, we provide an
algorithm that efficiently computes an -EFT -ASPT of size . Our structure improves on a previous related construction designed for
\emph{unweighted} graphs, having the same size but guaranteeing a larger
stretch factor of , plus an additive term of .
Then, we show how to convert our structure into an efficient -EFT
\emph{single-source distance oracle} (SSDO), that can be built in
time, has size , and is able to report,
after the failure of the edge set , in time a
-approximate distance from the source to any node, and a
corresponding approximate path in the same amount of time plus the path's size.
Such an oracle is obtained by handling another fundamental problem, namely that
of updating a \emph{minimum spanning forest} (MSF) of after that a
\emph{batch} of simultaneous edge modifications (i.e., edge insertions,
deletions and weight changes) is performed. For this problem, we build in time a \emph{sensitivity} oracle of size , that
reports in time the (at most ) edges either exiting from
or entering into the MSF. [...]Comment: 16 pages, 4 figure
Restorable Shortest Path Tiebreaking for Edge-Faulty Graphs
The restoration lemma by Afek, Bremler-Barr, Kaplan, Cohen, and Merritt
[Dist. Comp. '02] proves that, in an undirected unweighted graph, any
replacement shortest path avoiding a failing edge can be expressed as the
concatenation of two original shortest paths. However, the lemma is
tiebreaking-sensitive: if one selects a particular canonical shortest path for
each node pair, it is no longer guaranteed that one can build replacement paths
by concatenating two selected shortest paths. They left as an open problem
whether a method of shortest path tiebreaking with this desirable property is
generally possible.
We settle this question affirmatively with the first general construction of
restorable tiebreaking schemes. We then show applications to various problems
in fault-tolerant network design. These include a faster algorithm for subset
replacement paths, more efficient fault-tolerant (exact) distance labeling
schemes, fault-tolerant subset distance preservers and additive spanners
with improved sparsity, and fast distributed algorithms that construct these
objects. For example, an almost immediate corollary of our restorable
tiebreaking scheme is the first nontrivial distributed construction of sparse
fault-tolerant distance preservers resilient to three faults
Deterministic Algorithms for Decremental Approximate Shortest Paths: Faster and Simpler
In the decremental -approximate Single-Source Shortest Path
(SSSP) problem, we are given a graph with ,
undergoing edge deletions, and a distinguished source , and we are
asked to process edge deletions efficiently and answer queries for distance
estimates for each , at any stage,
such that . In the decremental -approximate
All-Pairs Shortest Path (APSP) problem, we are asked to answer queries for
distance estimates for every . In
this article, we consider the problems for undirected, unweighted graphs.
We present a new \emph{deterministic} algorithm for the decremental
-approximate SSSP problem that takes total update time . Our algorithm improves on the currently best algorithm for dense
graphs by Chechik and Bernstein [STOC 2016] with total update time
and the best existing algorithm for sparse graphs with running
time [SODA 2017] whenever .
In order to obtain this new algorithm, we develop several new techniques
including improved decremental cover data structures for graphs, a more
efficient notion of the heavy/light decomposition framework introduced by
Chechik and Bernstein and the first clustering technique to maintain a dynamic
\emph{sparse} emulator in the deterministic setting.
As a by-product, we also obtain a new simple deterministic algorithm for the
decremental -approximate APSP problem with near-optimal total
running time matching the time complexity of the
sophisticated but rather involved algorithm by Henzinger, Forster and Nanongkai
[FOCS 2013].Comment: Appeared in SODA'2
Optimal Output Sensitive Fault Tolerant Cuts
In this paper we consider two classic cut-problems, Global Min-Cut and Min k-Cut, via the lens of fault tolerant network design. In particular, given a graph G on n vertices, and a positive integer f, our objective is to compute an upper bound on the size of the sparsest subgraph H of G that preserves edge connectivity of G (denoted by ?(G)) in the case of Global Min-Cut, and ?(G,k) (denotes the minimum number of edges whose removal would partition the graph into at least k connected components) in the case of Min k-Cut, upon failure of any f edges of G. The subgraph H corresponding to Global Min-Cut and Min k-Cut is called f-FTCS and f-FT-k-CS, respectively. We obtain the following results about the sizes of f-FTCS and f-FT-k-CS.
- There exists an f-FTCS with (n-1)(f+?(G)) edges. We complement this upper bound with a matching lower bound, by constructing an infinite family of graphs where any f-FTCS must have at least ((n-?(G)-1)(?(G)+f-1))/2+(n-?(G)-1)+/?(G)(?(G)+1))/2 edges.
- There exists an f-FT-k-CS with min{(2f+?(G,k)-(k-1))(n-1), (f+?(G,k))(n-k)+?} edges. We complement this upper bound with a lower bound, by constructing an infinite family of graphs where any f-FT-k-CS must have at least ((n-?(G,k)-1)(?(G,k)+f-k+1))/2)+n-?(G,k)+k-3+((?(G,k)-k+3)(?(G,k)-k+2))/2 edges. Our upper bounds exploit the structural properties of k-connectivity certificates. On the other hand, for our lower bounds we construct an infinite family of graphs, such that for any graph in the family any f-FTCS (or f-FT-k-CS) must contain all its edges. We also add that our upper bounds are constructive. That is, there exist polynomial time algorithms that construct H with the aforementioned number of edges