1,149 research outputs found
Distributed Approximation of Minimum Routing Cost Trees
We study the NP-hard problem of approximating a Minimum Routing Cost Spanning
Tree in the message passing model with limited bandwidth (CONGEST model). In
this problem one tries to find a spanning tree of a graph over nodes
that minimizes the sum of distances between all pairs of nodes. In the
considered model every node can transmit a different (but short) message to
each of its neighbors in each synchronous round. We provide a randomized
-approximation with runtime for
unweighted graphs. Here, is the diameter of . This improves over both,
the (expected) approximation factor and the runtime
of the best previously known algorithm.
Due to stating our results in a very general way, we also derive an (optimal)
runtime of when considering -approximations as done by the
best previously known algorithm. In addition we derive a deterministic
-approximation
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
A Novel Algorithm for the All-Best-Swap-Edge Problem on Tree Spanners
Given a 2-edge connected, unweighted, and undirected graph with
vertices and edges, a -tree spanner is a spanning tree of
in which the ratio between the distance in of any pair of vertices and the
corresponding distance in is upper bounded by . The minimum value
of for which is a -tree spanner of is also called the
{\em stretch factor} of . We address the fault-tolerant scenario in which
each edge of a given tree spanner may temporarily fail and has to be
replaced by a {\em best swap edge}, i.e. an edge that reconnects at a
minimum stretch factor. More precisely, we design an time and space
algorithm that computes a best swap edge of every tree edge. Previously, an
time and space algorithm was known for
edge-weighted graphs [Bil\`o et al., ISAAC 2017]. Even if our improvements on
both the time and space complexities are of a polylogarithmic factor, we stress
the fact that the design of a time and space algorithm would be
considered a breakthrough.Comment: The paper has been accepted for publication at the 29th International
Symposium on Algorithms and Computation (ISAAC 2018). 12 pages, 3 figure
On the Time Complexity of Information Dissemination via Linear Iterative Strategies
Given an arbitrary network of interconnected nodes, each with an initial value, we study the number of timesteps required for some (or all) of the nodes to gather all of the initial values via a linear iterative strategy. At each time-step in this strategy, each node in the network transmits a weighted linear combination of its previous transmission and the most recent transmissions of its neighbors. We show that for almost any choice of real-valued weights in the linear iteration (i.e., for all but a set of measure zero), the number of time-steps required for any node to accumulate all of the initial values is upper-bounded by the size of the largest tree in a certain subgraph of the network; we use this fact to show that the linear iterative strategy is time-optimal for information dissemination in certain networks. In the process of deriving our results, we also obtain a characterization of the observability index for a class of linear structured systems
Space-Efficient Fault-Tolerant Diameter Oracles
We design -edge fault-tolerant diameter oracles (-FDOs). We preprocess
a given graph on vertices and edges, and a positive integer , to
construct a data structure that, when queried with a set of
edges, returns the diameter of .
For a single failure () in an unweighted directed graph of diameter ,
there exists an approximate FDO by Henzinger et al. [ITCS 2017] with stretch
, constant query time, space , and a combinatorial
preprocessing time of .We
present an FDO for directed graphs with the same stretch, query time, and
space. It has a preprocessing time of .
The preprocessing time nearly matches a conditional lower bound for
combinatorial algorithms, also by Henzinger et al. With fast matrix
multiplication, we achieve a preprocessing time of . We further prove an information-theoretic lower bound
showing that any FDO with stretch better than requires bits
of space.
For multiple failures () in undirected graphs with non-negative edge
weights, we give an -FDO with stretch , query time ,
space, and preprocessing time . We
complement this with a lower bound excluding any finite stretch in
space. We show that for unweighted graphs with polylogarithmic diameter and up
to failures, one can swap approximation for query
time and space. We present an exact combinatorial -FDO with preprocessing
time , query time , and space . When using
fast matrix multiplication instead, the preprocessing time can be improved to
, where is the matrix multiplication
exponent.Comment: Full version of a paper to appear at MFCS'21. Abstract shortened to
meet ArXiv requirement
- …