TY - GEN
T1 - Beating Matrix Multiplication for n1/3-Directed Shortcuts
AU - Kogan, Shimon
AU - Parter, Merav
N1 - Publisher Copyright: © Shimon Kogan and Merav Parter; licensed under Creative Commons License CC-BY 4.0
PY - 2022/7/1
Y1 - 2022/7/1
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85133477209&partnerID=8YFLogxK
U2 - 10.4230/LIPIcs.ICALP.2022.82
DO - 10.4230/LIPIcs.ICALP.2022.82
M3 - منشور من مؤتمر
T3 - Leibniz International Proceedings in Informatics, LIPIcs
BT - 49th EATCS International Conference on Automata, Languages, and Programming, ICALP 2022
A2 - Bojanczyk, Mikolaj
A2 - Merelli, Emanuela
A2 - Woodruff, David P.
PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
T2 - 49th EATCS International Conference on Automata, Languages, and Programming, ICALP 2022
Y2 - 4 July 2022 through 8 July 2022
ER -