Approximating cycles in directed graphs: Fast algorithms for girth and roundtrip spanners
Name
1.9781611975031.91.pdf
Description
Published version
Size
551.02 KB
Format
Unknown
Checksum (MD5)
e74e665b7be64416f8ab1757e1e7bb52
Author(s) • • • •
Pachocki, J
Roditty, L
Sidford, A
Tov, R
Williams, Virginia Vassilevska
Date Issued
January 1, 2018
Journal
Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms
Publisher
Society for Industrial and Applied Mathematics
Version
Final published version
Abstract
© Copyright 2018 by SIAM. The girth of a graph, i.e. the length of its shortest cycle, is a fundamental graph parameter. Unfortunately all known algorithms for computing, even approximately, the girth and girth-related structures in directed weighted m-edge and n-node graphs require (minfn!;mng) time (for 2 ≤ ω < 2:373). In this paper, we drastically improve these runtimes as follows: Multiplicative Approximations in Nearly Linear Time: We give an algorithm that in Õ (m) time computes an Õ (1)-multiplicative approximation of the girth as well as an Õ (1)-multiplicative roundtrip spanner with Õ (n) edges with high probability (w.h.p). Nearly Tight Additive Approximations: For unweighted graphs and any a 2 (0; 1) we give an algorithm that in Õ (mn1-) time computes an O(na)-additive approximation of the girth, w.h.p. We show that the runtime of our algorithm cannot be significantly improved without a breakthrough in combinatorial boolean matrix multiplication. We also show that if the girth is O(na), then the same guarantee can be achieved via a deterministic algorithm. Our main technical contribution to achieve these results is the first nearly linear time algorithm for computing roundtrip covers, a directed graph decomposition concept key to previous roundtrip spanner constructions. Previously it was not known how to compute these significantly faster than (mn) time. Given the traditional difficulty in efficiently processing directed graphs, we hope our techniques may find further applications.
MIT Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use.
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1137/1.9781611975031.91