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

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

6 Citations (Scopus)

Abstract

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).
Original languageEnglish
Title of host publicationProceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA)
EditorsNikhil Bansal
Pages212-239
Number of pages28
ISBN (Electronic)978-1-61197-755-4
DOIs
Publication statusPublished - 16 Jan 2023
Event34th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2023 - Florence, Italy
Duration: 22 Jan 202325 Jan 2023

Publication series

SeriesProceedings
NumberPRDA23

Conference

Conference34th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2023
Country/TerritoryItaly
CityFlorence
Period22/1/2325/1/23

Funding

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)

All Science Journal Classification (ASJC) codes

  • Software
  • General Mathematics

Fingerprint

Dive into the research topics of 'Faster and Unified Algorithms for Diameter Reducing Shortcuts and Minimum Chain Covers'. Together they form a unique fingerprint.

Cite this