16 research outputs found
Fully dynamic (2 + epsilon) approximate all-pairs shortest paths with fast query and close to linear update time
For any fixed 1 > [epsilon] > 0 we present a fully dynamic algorithm for maintaining (2 + [epsilon])-approximate all-pairs shortest paths in undirected graphs with positive edge weights. We use a randomized (Las Vegas) update algorithm (but a deterministic query procedure), so the time given is the expected amortized update time. Our query time O(log log log n). The update time is O[over ~](mnO(1/[sqrt](log n)) log (nR)), where R is the ratio between the heaviest and the lightest edge weight in the graph (so R = 1 in unweighted graphs). Unfortunately, the update time does have the drawback of a super-polynomial dependence on e. it grows as (3/[epsilon])[sqrt]log n/log(3/[epsilon]) = n [sqrt]log (3/[epsilon])/log n. Our algorithm has a significantly faster update time than any other algorithm with sub-polynomial query time. For exact distances, the state of the art algorithm has an update time of O[over ~](n[superscript 2]). For approximate distances, the best previous algorithm has a O(kmn[superscript 1/k]) update time and returns (2 k - 1) stretch paths. Thus, it needs an update time of O(m[sqrt](n)) to get close to our approximation, and it has to return O([sqrt](log n)) approximate distances to match our update time
Almost Shortest Paths with Near-Additive Error in Weighted Graphs
Let be a weighted undirected graph with vertices and
edges, and fix a set of sources . We study the problem of
computing {\em almost shortest paths} (ASP) for all pairs in in
both classical centralized and parallel (PRAM) models of computation. Consider
the regime of multiplicative approximation of , for an arbitrarily
small constant . In this regime existing centralized algorithms
require time, where is the
matrix multiplication exponent. Existing PRAM algorithms with polylogarithmic
depth (aka time) require work .
Our centralized algorithm has running time , and its PRAM
counterpart has polylogarithmic depth and work , for an
arbitrarily small constant . For a pair , it
provides a path of length that satisfies , where is the weight of the
heaviest edge on some shortest path. Hence our additive term depends
linearly on a {\em local} maximum edge weight, as opposed to the global maximum
edge weight in previous works. Finally, our .
We also extend a centralized algorithm of Dor et al. \cite{DHZ00}. For a
parameter , this algorithm provides for {\em unweighted}
graphs a purely additive approximation of for {\em all pairs
shortest paths} (APASP) in time . Within the same
running time, our algorithm for {\em weighted} graphs provides a purely
additive error of , for every vertex pair , with defined as above.
On the way to these results we devise a suit of novel constructions of
spanners, emulators and hopsets
Near-Optimal Approximate Shortest Paths and Transshipment in Distributed and Streaming Models
We present a method for solving the transshipment problem - also known as
uncapacitated minimum cost flow - up to a multiplicative error of in undirected graphs with non-negative edge weights using a
tailored gradient descent algorithm. Using to hide
polylogarithmic factors in (the number of nodes in the graph), our gradient
descent algorithm takes iterations, and in each
iteration it solves an instance of the transshipment problem up to a
multiplicative error of . In particular, this allows
us to perform a single iteration by computing a solution on a sparse spanner of
logarithmic stretch. Using a randomized rounding scheme, we can further extend
the method to finding approximate solutions for the single-source shortest
paths (SSSP) problem. As a consequence, we improve upon prior work by obtaining
the following results: (1) Broadcast CONGEST model: -approximate SSSP using rounds, where is the (hop) diameter of the network.
(2) Broadcast congested clique model: -approximate
transshipment and SSSP using rounds. (3)
Multipass streaming model: -approximate transshipment and
SSSP using space and passes. The
previously fastest SSSP algorithms for these models leverage sparse hop sets.
We bypass the hop set construction; computing a spanner is sufficient with our
method. The above bounds assume non-negative edge weights that are polynomially
bounded in ; for general non-negative weights, running times scale with the
logarithm of the maximum ratio between non-zero weights.Comment: Accepted to SIAM Journal on Computing. Preliminary version in DISC
2017. Abstract shortened to fit arXiv's limitation to 1920 character
On Efficient Distributed Construction of Near Optimal Routing Schemes
Given a distributed network represented by a weighted undirected graph
on vertices, and a parameter , we devise a distributed
algorithm that computes a routing scheme in
rounds, where is the hop-diameter of the network. The running time matches
the lower bound of rounds (which holds for any
scheme with polynomial stretch), up to lower order terms. The routing tables
are of size , the labels are of size , and
every packet is routed on a path suffering stretch at most . Our
construction nearly matches the state-of-the-art for routing schemes built in a
centralized sequential manner. The previous best algorithms for building
routing tables in a distributed small messages model were by \cite[STOC
2013]{LP13} and \cite[PODC 2015]{LP15}. The former has similar properties but
suffers from substantially larger routing tables of size ,
while the latter has sub-optimal running time of
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