28 research outputs found
Fault-Tolerant Spanners: Better and Simpler
A natural requirement of many distributed structures is fault-tolerance:
after some failures, whatever remains from the structure should still be
effective for whatever remains from the network. In this paper we examine
spanners of general graphs that are tolerant to vertex failures, and
significantly improve their dependence on the number of faults , for all
stretch bounds.
For stretch we design a simple transformation that converts every
-spanner construction with at most edges into an -fault-tolerant
-spanner construction with at most edges.
Applying this to standard greedy spanner constructions gives -fault tolerant
-spanners with edges. The previous
construction by Chechik, Langberg, Peleg, and Roddity [STOC 2009] depends
similarly on but exponentially on (approximately like ).
For the case and unit-length edges, an -approximation
algorithm is known from recent work of Dinitz and Krauthgamer [arXiv 2010],
where several spanner results are obtained using a common approach of rounding
a natural flow-based linear programming relaxation. Here we use a different
(stronger) LP relaxation and improve the approximation ratio to ,
which is, notably, independent of the number of faults . We further
strengthen this bound in terms of the maximum degree by using the \Lovasz Local
Lemma.
Finally, we show that most of our constructions are inherently local by
designing equivalent distributed algorithms in the LOCAL model of distributed
computation.Comment: 17 page
Vertex Fault Tolerant Additive Spanners
A {\em fault-tolerant} structure for a network is required to continue
functioning following the failure of some of the network's edges or vertices.
In this paper, we address the problem of designing a {\em fault-tolerant}
additive spanner, namely, a subgraph of the network such that
subsequent to the failure of a single vertex, the surviving part of still
contains an \emph{additive} spanner for (the surviving part of) , satisfying
for every
. Recently, the problem of constructing fault-tolerant additive
spanners resilient to the failure of up to \emph{edges} has been considered
by Braunschvig et. al. The problem of handling \emph{vertex} failures was left
open therein. In this paper we develop new techniques for constructing additive
FT-spanners overcoming the failure of a single vertex in the graph. Our first
result is an FT-spanner with additive stretch and
edges. Our second result is an FT-spanner with additive stretch and
edges. The construction algorithm consists of two main
components: (a) constructing an FT-clustering graph and (b) applying a modified
path-buying procedure suitably adopted to failure prone settings. Finally, we
also describe two constructions for {\em fault-tolerant multi-source additive
spanners}, aiming to guarantee a bounded additive stretch following a vertex
failure, for every pair of vertices in for a given subset of
sources . The additive stretch bounds of our constructions are 4
and 8 (using a different number of edges)
Optimal Vertex Fault Tolerant Spanners (for fixed stretch)
A -spanner of a graph is a sparse subgraph whose shortest path
distances match those of up to a multiplicative error . In this paper we
study spanners that are resistant to faults. A subgraph is an
vertex fault tolerant (VFT) -spanner if is a -spanner
of for any small set of vertices that might "fail." One
of the main questions in the area is: what is the minimum size of an fault
tolerant -spanner that holds for all node graphs (as a function of ,
and )? This question was first studied in the context of geometric
graphs [Levcopoulos et al. STOC '98, Czumaj and Zhao SoCG '03] and has more
recently been considered in general undirected graphs [Chechik et al. STOC '09,
Dinitz and Krauthgamer PODC '11].
In this paper, we settle the question of the optimal size of a VFT spanner,
in the setting where the stretch factor is fixed. Specifically, we prove
that every (undirected, possibly weighted) -node graph has a
-spanner resilient to vertex faults with edges, and this is fully optimal (unless the famous Erdos Girth
Conjecture is false). Our lower bound even generalizes to imply that no data
structure capable of approximating similarly can
beat the space usage of our spanner in the worst case. We also consider the
edge fault tolerant (EFT) model, defined analogously with edge failures rather
than vertex failures. We show that the same spanner upper bound applies in this
setting. Our data structure lower bound extends to the case (and hence we
close the EFT problem for -approximations), but it falls to for . We leave it as an open problem to
close this gap.Comment: To appear in SODA 201
Effective Edge-Fault-Tolerant Single-Source Spanners via Best (or Good) Swap Edges
Computing \emph{all best swap edges} (ABSE) of a spanning tree of a given
-vertex and -edge undirected and weighted graph means to select, for
each edge of , a corresponding non-tree edge , in such a way that the
tree obtained by replacing with enjoys some optimality criterion (which
is naturally defined according to some objective function originally addressed
by ). Solving efficiently an ABSE problem is by now a classic algorithmic
issue, since it conveys a very successful way of coping with a (transient)
\emph{edge failure} in tree-based communication networks: just replace the
failing edge with its respective swap edge, so as that the connectivity is
promptly reestablished by minimizing the rerouting and set-up costs. In this
paper, we solve the ABSE problem for the case in which is a
\emph{single-source shortest-path tree} of , and our two selected swap
criteria aim to minimize either the \emph{maximum} or the \emph{average
stretch} in the swap tree of all the paths emanating from the source. Having
these criteria in mind, the obtained structures can then be reviewed as
\emph{edge-fault-tolerant single-source spanners}. For them, we propose two
efficient algorithms running in and time, respectively, and we show that the guaranteed (either
maximum or average, respectively) stretch factor is equal to 3, and this is
tight. Moreover, for the maximum stretch, we also propose an almost linear time algorithm computing a set of \emph{good} swap edges,
each of which will guarantee a relative approximation factor on the maximum
stretch of (tight) as opposed to that provided by the corresponding BSE.
Surprisingly, no previous results were known for these two very natural swap
problems.Comment: 15 pages, 4 figures, SIROCCO 201
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