TY - GEN
T1 - Fast distributed algorithms for girth, cycles and small subgraphs
AU - Censor-Hillel, Keren
AU - Fischer, Orr
AU - Gonen, Tzlil
AU - Le Gall, François
AU - Leitersdorf, Dean
AU - Oshman, Rotem
N1 - Publisher Copyright:
© Keren Censor-Hillel, Orr Fischer, Tzlil Gonen, François Le Gall, Dean Leitersdorf, and Rotem Oshman; licensed under Creative Commons License CC-BY
PY - 2020/10/1
Y1 - 2020/10/1
N2 - In this paper we give fast distributed graph algorithms for detecting and listing small subgraphs, and for computing or approximating the girth. Our algorithms improve upon the state of the art by polynomial factors, and for girth, we obtain a constant-time algorithm for additive +1 approximation in Congested Clique, and the first parametrized algorithm for exact computation in Congest. In the Congested Clique model, we first develop a technique for learning small neighborhoods, and apply it to obtain an O(1)-round algorithm that computes the girth with only an additive +1 error. Next, we introduce a new technique (the partition tree technique) allowing for efficiently listing all copies of any subgraph, which is deterministic and improves upon the state-of the-art for non-dense graphs. We give two concrete applications of the partition tree technique: First we show that for constant k, it is possible to solve C2k-detection in O(1) rounds in the Congested Clique, improving on prior work, which used fast matrix multiplication and thus had polynomial round complexity. Second, we show that in triangle-free graphs, the girth can be exactly computed in time polynomially faster than the best known bounds for general graphs. We remark that no analogous result is currently known for sequential algorithms. In the Congest model, we describe a new approach for finding cycles, and instantiate it in two ways: first, we show a fast parametrized algorithm for girth with round complexity Õ(min{g · n1−1/Θ(g), n}) for any girth g; and second, we show how to find small even-length cycles C2k for k = 3, 4, 5 in O(n1−1/k) rounds. This is a polynomial improvement upon the previous running times; for example, our C6-detection algorithm runs in O(n2/3) rounds, compared to O(n3/4) in prior work. Finally, using our improved C6-freeness algorithm, and the barrier on proving lower bounds on triangle-freeness of Eden et al., we show that improving the current Ω(∼ √n) lower bound for C6-freeness of Korhonen et al. by any polynomial factor would imply strong circuit complexity lower bounds.
AB - In this paper we give fast distributed graph algorithms for detecting and listing small subgraphs, and for computing or approximating the girth. Our algorithms improve upon the state of the art by polynomial factors, and for girth, we obtain a constant-time algorithm for additive +1 approximation in Congested Clique, and the first parametrized algorithm for exact computation in Congest. In the Congested Clique model, we first develop a technique for learning small neighborhoods, and apply it to obtain an O(1)-round algorithm that computes the girth with only an additive +1 error. Next, we introduce a new technique (the partition tree technique) allowing for efficiently listing all copies of any subgraph, which is deterministic and improves upon the state-of the-art for non-dense graphs. We give two concrete applications of the partition tree technique: First we show that for constant k, it is possible to solve C2k-detection in O(1) rounds in the Congested Clique, improving on prior work, which used fast matrix multiplication and thus had polynomial round complexity. Second, we show that in triangle-free graphs, the girth can be exactly computed in time polynomially faster than the best known bounds for general graphs. We remark that no analogous result is currently known for sequential algorithms. In the Congest model, we describe a new approach for finding cycles, and instantiate it in two ways: first, we show a fast parametrized algorithm for girth with round complexity Õ(min{g · n1−1/Θ(g), n}) for any girth g; and second, we show how to find small even-length cycles C2k for k = 3, 4, 5 in O(n1−1/k) rounds. This is a polynomial improvement upon the previous running times; for example, our C6-detection algorithm runs in O(n2/3) rounds, compared to O(n3/4) in prior work. Finally, using our improved C6-freeness algorithm, and the barrier on proving lower bounds on triangle-freeness of Eden et al., we show that improving the current Ω(∼ √n) lower bound for C6-freeness of Korhonen et al. by any polynomial factor would imply strong circuit complexity lower bounds.
KW - CONGEST
KW - Congested clique
KW - Cycles
KW - Distributed graph algorithms
KW - Girth
UR - http://www.scopus.com/inward/record.url?scp=85109492602&partnerID=8YFLogxK
U2 - 10.4230/LIPIcs.DISC.2020.33
DO - 10.4230/LIPIcs.DISC.2020.33
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:85109492602
T3 - Leibniz International Proceedings in Informatics, LIPIcs
BT - 34th International Symposium on Distributed Computing, DISC 2020
A2 - Attiya, Hagit
PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
T2 - 34th International Symposium on Distributed Computing, DISC 2020
Y2 - 12 October 2020 through 16 October 2020
ER -