Shimon Kogan

SODA Conference 2025 Conference Paper

Having Hope in Missing Spanners: New Distance Preservers and Light Hopsets

• Shimon Kogan
• Merav Parter

SODA Conference 2023 Conference Paper

Faster and Unified Algorithms for Diameter Reducing Shortcuts and Minimum Chain Covers

• Shimon Kogan
• Merav Parter

For an n -vertex m -edge digraph G, a D-shortcut is a small set H of directed edges taken from the transitive closure of G, satisfying that the diameter of G ∪ H is at most D. In a sequence of works [Kogan and Parter, SODA 2022 & ICALP 2022] provided shortcut algorithms with improved diameter vs. size tradeoffs. In this paper, we present faster and unified shortcut algorithms for general digraphs. These algorithms also yield improved tradeoffs for the family of bounded-width DAGs. We show: • A unified and faster shortcutting algorithm which implements the [KP, SODA'22] framework in almost optimal time, conditioned on the combinatorial Boolean Matrix Multiplication (BMM) conjecture. For example, Õ ( n 1/3 )-shortcuts with Õ ( n ) edges can be computed in time Õ ( n 1/3 · m ); and Õ ( n 1/2 )- shortcuts with Õ ( n 3/4 ) edges can be computed in time Õ ( n 1/4 · m ). This improves the time bounds of Õ ( n 1/3 · m + n 3/2 ) and Õ ( n 1/4 · m + n 7/4 ) respectively, by [KP, ICALP'22]. • An improved algorithm for computing a Minimum Chain Cover (MCC) of DAGs. For an n -vertex m -edge DAG G of width k, the algorithm runs in Õ (√k · n + m 1+ o (1) time. For sparse digraphs, we show faster Õ ( k 1/3 · n + n 1+ o (1) )-time algorithms. This improves the time bounds of Õ ( n 3/2 + m ) [KP, ICALP'22] and Õ ( k 2 · n + m ) [Caceres et al. , SODA 2022]. • An MCC-based shortcut algorithm for DAGs with improved size and time bounds, as a function of the width k. For example, providing a linear-size -√ k -shortcut in time Õ (min{√ k · m + m 1+o(1), n 2 }), improving the general graph's size and time bounds for k = o ( n 2/3 ).

FOCS Conference 2022 Conference Paper

Having Hope in Hops: New Spanners, Preservers and Lower Bounds for Hopsets

• Shimon Kogan
• Merav Parter

Hopsets and spanners are fundamental graph structures, playing a key role in shortest path computation, distributed communication, and more. A (near-exact) hopset for a given graph G is a (small) subset of weighted edges H that when added to the graph G reduces the number of hops (edges) of near-exact shortest paths. Spanners and distance preservers, on the other hand, ask for removing many edges from the graph while approximately preserving shortest path distances. We provide a general reduction scheme from graph hopsets to the known metric compression schemes of spanners, emulators and distance preservers. Consequently, we get new and improved upper bound constructions for the latter, as well as, new lower bound results for hopsets. Our main results include: •For n-vertex directed weighted graphs, one can provide $(1+\epsilon)$-approximate distance preservers 1 for p pairs in $V\times V$ with $O_{\epsilon}(n\cdot p^{2/5}+(np)^{2/3})$ edges. For $p\geq n^{5/4}$, this matches the state-of-the art bounds for reachability preservers by [Abboud and Bodwin, SODA 2018] and the lower bound for exact-distance preservers by [Bodwin, SODA 2016]. •For n-vertex undirected weighted graphs, one can provide $(1+\epsilon)$ distance preserves with $\overline{O}_{\epsilon}(n^{1+o(1)}+p\cdot n^{o(1)})$ edges. So far, such bounds could be obtained only for unweighted graphs. Consequently, we also get improved sourcewise spanners [Roditty, Thorup and Zwick, ICALP 2005] and spanners with slack [Chan, Dinitz and Gupta, ESA 2006]. •Exact hopsets of linear size admit a worst-case hopbound of $\beta=\Omega(n^{1/3})$. This holds even for undirected weighted graphs, improving upon the $\Omega(n^{1/6})$ lower bound by [Huang and Pettie, SIAM J. Discret. Math 2021]. Interestingly this matches the recent diameter bound achieved for linear directed shortcuts. 1 I. e. , subgraphs that preserve the pairwise distances up to a multiplicative stretch of (1+$\epsilon$). More conceptually, our work makes a significant progress on the tantalizing open problem concerning the formal connection between hopsets and spanners, e. g. , as posed by Elkin and Neiman [Bull. EATCS 2020].

SODA Conference 2022 Conference Paper

New Diameter-Reducing Shortcuts and Directed Hopsets: Breaking the Barrier

• Shimon Kogan
• Merav Parter

For an n -vertex digraph G = (V, E ), a shortcut set is a (small) subset of edges H taken from the transitive closure of G that, when added to G guarantees that the diameter of G ∪ H is small. Shortcut sets, introduced by Thorup in 1993, have a wide range of applications in algorithm design, especially in the context of parallel, distributed and dynamic computation on directed graphs. A folklore result in this context shows that every n -vertex digraph admits a shortcut set of linear size (i. e. , of O(n ) edges) that reduces the diameter to 1. Despite extensive research over the years, the question of whether one can reduce the diameter to with Õ(n ) shortcut edges has been left open. We provide the first improved diameter-sparsity tradeoff for this problem, breaking the diameter barrier. Specifically, we show an O ( n ω )-time randomized algorithm 2 for computing a linear shortcut set that reduces the diameter of the digraph to Õ ( n 1/3 ). This narrows the gap w. r. t the current diameter lower bound of Ω( n 1/6 ) by [Huang and Pettie, SWAT'18]. Moreover, we show that a diameter of O(n 1 / 2 ) can in fact be achieved with a sublinear number of O ( n 3/4 ) shortcut edges. Formally, letting S(n, D ) be the bound on the size of the shortcut set required in order to reduce the diameter of any n -vertex digraph to at most D, our algorithms yield: We also extend our algorithms to provide improved ( β, ∊ ) hopsets for n -vertex weighted directed graphs.