TY - GEN

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

AU - Kogan, Shimon

AU - Parter, Merav

N1 - We are grateful to Amir Abboud for useful discussions on the conditional optimality of our algorithm, and for suggesting the proof idea of Lemma A.1. This project is funded by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No. 949083)

PY - 2023/1/16

Y1 - 2023/1/16

N2 - 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, Õ(n1/3)-shortcuts with Õ(n) edges can be computed in time Õ(n1/3 · m); and Õ(n1/2)- shortcuts with Õ(n3/4) edges can be computed in time Õ(n1/4 · m). This improves the time bounds of Õ(n1/3 · m + n3/2) and Õ(n1/4 · m + n7/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 + m1+o(1) time. For sparse digraphs, we show faster Õ(k1/3 · n + n1+o(1))-time algorithms. This improves the time bounds of Õ(n3/2 + m) [KP, ICALP'22] and Õ(k2 · 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 + m1+o(1),n2), improving the general graph's size and time bounds for k = o(n2/3).

AB - 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, Õ(n1/3)-shortcuts with Õ(n) edges can be computed in time Õ(n1/3 · m); and Õ(n1/2)- shortcuts with Õ(n3/4) edges can be computed in time Õ(n1/4 · m). This improves the time bounds of Õ(n1/3 · m + n3/2) and Õ(n1/4 · m + n7/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 + m1+o(1) time. For sparse digraphs, we show faster Õ(k1/3 · n + n1+o(1))-time algorithms. This improves the time bounds of Õ(n3/2 + m) [KP, ICALP'22] and Õ(k2 · 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 + m1+o(1),n2), improving the general graph's size and time bounds for k = o(n2/3).

U2 - https://doi.org/10.1137/1.9781611977554.ch9

DO - https://doi.org/10.1137/1.9781611977554.ch9

M3 - منشور من مؤتمر

T3 - Proceedings

SP - 212

EP - 239

BT - Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA)

A2 - Bansal, Nikhil

ER -