Folklore Sampling is Optimal for Exact Hopsets: Confirming the √n Barrier

For a graph G, a D-diameter-reducing exact hopset is a small set of additional edges H that, when added to G, maintains its graph metric but guarantees that all node pairs have a shortest path in G \cup H using at most D edges. A shortcut set is the analogous concept for reachability rather than dis...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Proceedings / annual Symposium on Foundations of Computer Science S. 701 - 720
Hauptverfasser: Bodwin, Greg, Hoppenworth, Gary
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: IEEE 06.11.2023
Schlagworte:
Computer science
graph algorithms
graph data structures
graph theory
Heuristic algorithms
History
Measurement
ISSN:2575-8454
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:For a graph G, a D-diameter-reducing exact hopset is a small set of additional edges H that, when added to G, maintains its graph metric but guarantees that all node pairs have a shortest path in G \cup H using at most D edges. A shortcut set is the analogous concept for reachability rather than distances. These objects have been studied since the early '90s, due to applications in parallel, distributed, dynamic, and streaming graph algorithms.For most of their history, the state-of-the-art construction for either object was a simple folklore algorithm, based on randomly sampling nodes to hit long paths in the graph. However, recent breakthroughs of Kogan and Parter [SODA '22] and Bernstein and Wein [SODA '23] have finally improved over the folklore algorithm for shortcut sets and for (1+\varepsilon)-approximate hopsets. For either object, it is now known that one can use O(n) hop-edges to reduce diameter to \widetilde{O}(n^{1 / 3}), improving over the folklore diameter bound of \widetilde{O}(n^{1 / 2}). The only setting in which folklore sampling remains unimproved is for exact hopsets. Can these improvements be continued?We settle this question negatively by constructing graphs on which any exact hopset of O(n) edges has diameter \widetilde{\Omega}(n^{1 / 2}). This improves on the previous lower bound of \Omega(n^{1 / 3}) by Kogan and Parter [FOCS '22]. Using similar ideas, we also polynomially improve the current lower bounds for shortcut sets, constructing graphs on which any shortcut set of O(n) edges reduces diameter to \widetilde{\Omega}(n^{1 / 4}). This improves on the previous lower bound of \Omega(n^{1 / 6}) by Huang and Pettie [SIAM J. Disc. Math. '18]. We also extend our constructions to provide lower bounds against O(p)-size exact hopsets and shortcut sets for other values of p; in particular, we show that folklore sampling is near-optimal for exact hopsets in the entire range of parameters p \in[1, n^{2}].
ISSN:2575-8454
DOI:10.1109/FOCS57990.2023.00046