122 research outputs found
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
Network Design with Coverage Costs
We study network design with a cost structure motivated by redundancy in data
traffic. We are given a graph, g groups of terminals, and a universe of data
packets. Each group of terminals desires a subset of the packets from its
respective source. The cost of routing traffic on any edge in the network is
proportional to the total size of the distinct packets that the edge carries.
Our goal is to find a minimum cost routing. We focus on two settings. In the
first, the collection of packet sets desired by source-sink pairs is laminar.
For this setting, we present a primal-dual based 2-approximation, improving
upon a logarithmic approximation due to Barman and Chawla (2012). In the second
setting, packet sets can have non-trivial intersection. We focus on the case
where each packet is desired by either a single terminal group or by all of the
groups, and the graph is unweighted. For this setting we present an O(log
g)-approximation.
Our approximation for the second setting is based on a novel spanner-type
construction in unweighted graphs that, given a collection of g vertex subsets,
finds a subgraph of cost only a constant factor more than the minimum spanning
tree of the graph, such that every subset in the collection has a Steiner tree
in the subgraph of cost at most O(log g) that of its minimum Steiner tree in
the original graph. We call such a subgraph a group spanner.Comment: Updated version with additional result
Global Computation in a Poorly Connected World: Fast Rumor Spreading with No Dependence on Conductance
In this paper, we study the question of how efficiently a collection of
interconnected nodes can perform a global computation in the widely studied
GOSSIP model of communication. In this model, nodes do not know the global
topology of the network, and they may only initiate contact with a single
neighbor in each round. This model contrasts with the much less restrictive
LOCAL model, where a node may simultaneously communicate with all of its
neighbors in a single round. A basic question in this setting is how many
rounds of communication are required for the information dissemination problem,
in which each node has some piece of information and is required to collect all
others. In this paper, we give an algorithm that solves the information
dissemination problem in at most rounds in a network
of diameter , withno dependence on the conductance. This is at most an
additive polylogarithmic factor from the trivial lower bound of , which
applies even in the LOCAL model. In fact, we prove that something stronger is
true: any algorithm that requires rounds in the LOCAL model can be
simulated in rounds in the GOSSIP model. We thus
prove that these two models of distributed computation are essentially
equivalent
Improved Approximation for the Directed Spanner Problem
We prove that the size of the sparsest directed k-spanner of a graph can be
approximated in polynomial time to within a factor of ,
for all k >= 3. This improves the -approximation recently
shown by Dinitz and Krauthgamer
Spanner Approximations in Practice
A multiplicative -spanner is a subgraph of with the
same vertices and fewer edges that preserves distances up to the factor
, i.e., for all vertices , .
While many algorithms have been developed to find good spanners in terms of
approximation guarantees, no experimental studies comparing different
approaches exist. We implemented a rich selection of those algorithms and
evaluate them on a variety of instances regarding, e.g., their running time,
sparseness, lightness, and effective stretch
- …