Abstract
A (β, ϵ)-hopset for a weighted undirected n-vertex graph G = (V, E) is a set of edges, whose addition to the graph guarantees that every pair of vertices has a path between them that contains at most β edges, whose length is within 1 + ϵ of the shortest path. In her seminal paper, Cohen [8, JACM 2000] introduced the notion of hopsets in the context of parallel computation of approximate shortest paths, and since then it has found numerous applications in various other settings, such as dynamic graph algorithms, distributed computing, and the streaming model. Cohen [8] devised efficient algorithms for constructing hopsets with polylogarithmic in n number of hops. Her constructions remain the state-of-the-art since the publication of her paper in STOC'94, i.e., for more than two decades. In this paper we exhibit the first construction of sparse hopsets with a constant number of hops. We also find efficient algorithms for hopsets in various computational settings, improving the best known constructions. Generally, our hopsets strictly outperform the hopsets of [8], both in terms of their parameters, and in terms of the resources required to construct them. We demonstrate the applicability of our results for the fundamental problem of computing approximate shortest paths from s sources. Our results improve the running time for this problem in the parallel, distributed and streaming models, for a vast range of s.
Original language | American English |
---|---|
Title of host publication | Proceedings - 57th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2016 |
Pages | 128-137 |
Number of pages | 10 |
Volume | 2016-December |
ISBN (Electronic) | 9781509039333 |
DOIs | |
State | Published - 14 Dec 2016 |
Event | 57th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2016 - New Brunswick, United States Duration: 9 Oct 2016 → 11 Oct 2016 |
Conference
Conference | 57th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2016 |
---|---|
Country/Territory | United States |
City | New Brunswick |
Period | 9/10/16 → 11/10/16 |
Keywords
- Graphs
- Hopsets
- Shortest paths
All Science Journal Classification (ASJC) codes
- General Computer Science