Beating Matrix Multiplication for n1/3-Directed Shortcuts

Shimon Kogan*, Merav Parter*

*Corresponding author for this work

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

10 Citations (Scopus)

Abstract

For an n-vertex digraph G = (V, E) and integer parameter D, 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. A recent work [Kogan and Parter, SODA 2022] presented shortcutting algorithms with improved diameter vs. size tradeoffs. Most notably, obtaining linear size D-shortcuts for D = Oe(n1/3), breaking the √n-diameter barrier. These algorithms run in O(nω) time, as they are based on the computation of the transitive closure of the graph. We present a new algorithmic approach for D-shortcuts, that matches the bounds of [Kogan and Parter, SODA 2022], while running in o(nω) time for every D ≥ n1/3. Our approach is based on a reduction to the min-cost max-flow problem, which can be solved in Oe(m + n3/2) time due to the recent breakthrough result of [Brand et al., STOC 2021]. We also demonstrate the applicability of our techniques to computing the minimal chain covers and dipath decompositions for directed acyclic graphs. For an n-vertex m-edge digraph G = (V, E), our key results are: An Õ(n1/3 · m + n3/2)-time algorithm for computing D-shortcuts of linear size for D = Õ(n1/3), and an Õ(n1/4 · m + n7/4)-time algorithm for computing D-shortcuts of Õ(n3/4) edges for D = Õ(n1/2). For a DAG G, we provide Õ(m + n3/2)-time algorithms for computing its minimum chain covers, maximum antichain, and decomposition into dipaths and independent sets. This improves considerably over the state-of-the-art bounds by [Caceres et al., SODA 2022] and [Grandoni et al., SODA 2021]. Our results also provide a new connection between shortcutting sets and the seemingly less related problems of minimum chain covers and the maximum antichains in DAGs.

Original languageEnglish
Title of host publication49th EATCS International Conference on Automata, Languages, and Programming, ICALP 2022
EditorsMikolaj Bojanczyk, Emanuela Merelli, David P. Woodruff
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
ISBN (Electronic)9783959772358
DOIs
Publication statusPublished - 1 Jul 2022
Event49th EATCS International Conference on Automata, Languages, and Programming, ICALP 2022 - Paris, France
Duration: 4 Jul 20228 Jul 2022

Publication series

SeriesLeibniz International Proceedings in Informatics, LIPIcs
Volume229
ISSN1868-8969

Conference

Conference49th EATCS International Conference on Automata, Languages, and Programming, ICALP 2022
Country/TerritoryFrance
CityParis
Period4/7/228/7/22

Funding

Funding This project is partially 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

Fingerprint

Dive into the research topics of 'Beating Matrix Multiplication for n1/3-Directed Shortcuts'. Together they form a unique fingerprint.

Cite this