Abstract: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. 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 diameter bound of $\widetilde{O}(n^{1/2})$ for shortcut sets and for $(1+\epsilon)$-approximate hopsets. For both objects it is now known that one can use $O(n)$ hop-edges to reduce diameter to $\widetilde{O}(n^{1/3})$. The only setting where 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 $\widetilde{\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 $p \in [1, n^2]$.

Folklore Confirmed

Iterative-free Program Analysis

A New Algorithm for Identifying Loops in Decompilation

The Long Way to Deforestation (Technical Report): A Type Inference and Elaboration Technique for Removing Intermediate Data Structures

Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs

Control Flow Obfuscation Scheme for LLVM Intermediate Languages

Node-Set Analysis for Linked Recursive Data Structures

Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis

Catamorphic Approach to Program Analysis

The Fine-Grained Complexity of CFL Reachability

Breaking Abstractions And Unstructuring Data Structures

Canonical decompositions in monadically stable and bounded shrubdepth graph classes

Confluence up to Garbage in Graph Transformation

NFReducer: Redundant Logic Elimination for Network Functions with Runtime Configurations

Folklore Sampling is Optimal for Exact Hopsets: Confirming the $\sqrt{n}$ Barrier

Graph polynomials: some questions on the edge

Loop-Oriented Programming: A New Code Reuse Attack to Bypass Modern Defenses

A categorical foundation for structured reversible flowchart languages: Soundness and adequacy

Annotating Control-Flow Graphs for Formalized Test Coverage Criteria

Control-flow Flattening Preserves the Constant-Time Policy (Extended Version)

Evaluating Restricted First-Order Counting Properties on Nowhere Dense Classes and Beyond