33,135 research outputs found
A Faster Distributed Single-Source Shortest Paths Algorithm
We devise new algorithms for the single-source shortest paths (SSSP) problem
with non-negative edge weights in the CONGEST model of distributed computing.
While close-to-optimal solutions, in terms of the number of rounds spent by the
algorithm, have recently been developed for computing SSSP approximately, the
fastest known exact algorithms are still far away from matching the lower bound
of rounds by Peleg and Rubinovich [SIAM
Journal on Computing 2000], where is the number of nodes in the network
and is its diameter. The state of the art is Elkin's randomized algorithm
[STOC 2017] that performs rounds. We
significantly improve upon this upper bound with our two new randomized
algorithms for polynomially bounded integer edge weights, the first performing
rounds and the second performing rounds. Our bounds also compare favorably to the
independent result by Ghaffari and Li [STOC 2018]. As side results, we obtain a
-approximation -round algorithm for directed SSSP and a new work/depth trade-off for exact
SSSP on directed graphs in the PRAM model.Comment: Presented at the the 59th Annual IEEE Symposium on Foundations of
Computer Science (FOCS 2018
Fast reroute paths algorithms
In order to keep services running despite link or node failure in MPLS networks, RSVP-TE fast reroute (FRR) schemes use precomputed backup label-switched path tunnels for local repair of LSP tunnels. In the event of failure, the redirection of traffic occurs onto backup LSP tunnels that have the same quality of service constraints as original paths. Local repair of LSP tunnels notably differ from traditional (1:1) dedicated path protection schemes in that traffic is diverted near the point of failure which speeds up the protection process by not having to notify the source and then resend the lost traffic. This gain in protection delay is crucial for MPLS networks which would otherwise suffer from an important recovery latency. In this paper, we investigate the algorithmic aspects of computing original paths along with their back-up so that they satisfy quality-of-service constraints (namely, delay) for single link or multiple link failure. In the case of single link failure, we propose an algorithm in O(nm+n 2log(n)) that computes shortest guaranteed paths with their backup towards a single destination. In the case of directed graphs, we show that this algorithm is optimal by proving that computing shortest guaranteed paths is as hard as to compute multiple source shortest paths in directed graphs. In the case of undirected graphs, we propose a faster algorithm with time complexity O(mlog(n)+n 2). We also provide a distributed algorithm based on Bellman-Ford distance computation which converges in 3n rounds at wors
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
Scalable Online Betweenness Centrality in Evolving Graphs
Betweenness centrality is a classic measure that quantifies the importance of
a graph element (vertex or edge) according to the fraction of shortest paths
passing through it. This measure is notoriously expensive to compute, and the
best known algorithm runs in O(nm) time. The problems of efficiency and
scalability are exacerbated in a dynamic setting, where the input is an
evolving graph seen edge by edge, and the goal is to keep the betweenness
centrality up to date. In this paper we propose the first truly scalable
algorithm for online computation of betweenness centrality of both vertices and
edges in an evolving graph where new edges are added and existing edges are
removed. Our algorithm is carefully engineered with out-of-core techniques and
tailored for modern parallel stream processing engines that run on clusters of
shared-nothing commodity hardware. Hence, it is amenable to real-world
deployment. We experiment on graphs that are two orders of magnitude larger
than previous studies. Our method is able to keep the betweenness centrality
measures up to date online, i.e., the time to update the measures is smaller
than the inter-arrival time between two consecutive updates.Comment: 15 pages, 9 Figures, accepted for publication in IEEE Transactions on
Knowledge and Data Engineerin
Route Planning in Transportation Networks
We survey recent advances in algorithms for route planning in transportation
networks. For road networks, we show that one can compute driving directions in
milliseconds or less even at continental scale. A variety of techniques provide
different trade-offs between preprocessing effort, space requirements, and
query time. Some algorithms can answer queries in a fraction of a microsecond,
while others can deal efficiently with real-time traffic. Journey planning on
public transportation systems, although conceptually similar, is a
significantly harder problem due to its inherent time-dependent and
multicriteria nature. Although exact algorithms are fast enough for interactive
queries on metropolitan transit systems, dealing with continent-sized instances
requires simplifications or heavy preprocessing. The multimodal route planning
problem, which seeks journeys combining schedule-based transportation (buses,
trains) with unrestricted modes (walking, driving), is even harder, relying on
approximate solutions even for metropolitan inputs.Comment: This is an updated version of the technical report MSR-TR-2014-4,
previously published by Microsoft Research. This work was mostly done while
the authors Daniel Delling, Andrew Goldberg, and Renato F. Werneck were at
Microsoft Research Silicon Valle
Faster Distributed Shortest Path Approximations via Shortcuts
A long series of recent results and breakthroughs have led to faster and better distributed approximation algorithms for single source shortest paths (SSSP) and related problems in the CONGEST model. The runtime of all these algorithms, however, is Omega~(sqrt{n}), regardless of the network topology, even on nice networks with a (poly)logarithmic network diameter D. While this is known to be necessary for some pathological networks, most topologies of interest are arguably not of this type.
We give the first distributed approximation algorithms for shortest paths problems that adjust to the topology they are run on, thus achieving significantly faster running times on many topologies of interest. The running time of our algorithms depends on and is close to Q, where Q is the quality of the best shortcut that exists for the given topology. While Q = Theta~(sqrt{n} + D) for pathological worst-case topologies, many topologies of interest have Q = Theta~(D), which results in near instance optimal running times for our algorithm, given the trivial Omega(D) lower bound.
The problems we consider are as follows:
- an approximate shortest path tree and SSSP distances,
- a polylogarithmic size distance label for every node such that from the labels of any two nodes alone one can determine their distance (approximately), and
- an (approximately) optimal flow for the transshipment problem.
Our algorithms have a tunable tradeoff between running time and approximation ratio. Our fastest algorithms have an arbitrarily good polynomial approximation guarantee and an essentially optimal O~(Q) running time. On the other end of the spectrum, we achieve polylogarithmic approximations in O~(Q * n^epsilon) rounds for any epsilon > 0. It seems likely that eventually, our non-trivial approximation algorithms for the SSSP tree and transshipment problem can be bootstrapped to give fast Q * 2^O(sqrt{log n log log n}) round (1+epsilon)-approximation algorithms using a recent result by Becker et al
- …