Abstract
The broadcast congested clique model is a message-passing model of distributed computation where n nodes communicate with each other in synchronous rounds. The joint input to the n nodes is an undirected graph G on the same set of nodes, with each node receiving the list of its immediate neighbors in G. In each round each node sends the same message to all other nodes, depending on its own input, on the messages it has received so far, and on a public sequence of random bits. One parameter of this model is an upper bound b on the size of the messages, also known as bandwidth. In this paper we introduce another parameter to the model. We study the situation where the nodes, initially, instead of knowing their immediate neighbors, know their neighborhood up to a fixed radius r.
In this new framework we study one of the hardest problems in distributed graph algorithms, this is, the problem of detecting, in G, an induced cycle of length at most k (\(\textsc {Cycle}_{\le k}\)) and the problem of detecting in G an induced cycle of length at least k \(+\) 1 (\(\textsc {Cycle}_{>k}\)). For \(r=1\), we exhibit a deterministic, one-round algorithm for solving \(\textsc {Cycle}_{\le k}\) with \(b = \mathcal {O}(n^{2/k} \log n)\) if k is even, and \(b = \mathcal {O}(n^{2/(k-1)}\log n)\) if k is odd. We also prove, assuming the Erdős Girth Conjecture, that this result is tight for \(k \ge 4\), up to logarithmic factors. More precisely, if each node, instead of being able to see only its immediate neighbors, is allowed to see up to distance \(r={\lfloor k/4 \rfloor }\), and if we also allowed randomization and multiple rounds, then the number of rounds R needed to solve \(\textsc {Cycle}_{\le k}\) must be such that \(R\cdot b = \varOmega ( n^{2/k})\) if k is even, and \(R\cdot b = \varOmega ( n^{2/(k-1)})\) if k is odd.
On the other hand, we show that, if each node is allowed to see up to distance \(r={\lfloor k/2 \rfloor + 1}\), then a polylogarithmic bandwidth is sufficient for solving \(\textsc {Cycle}_{>k}\) with only two rounds. Nevertheless, if nodes were allowed to see up to distance \(r=\lfloor k/3 \rfloor \), then any one-round algorithm that solves \(\textsc {Cycle}_{>k}\) needs the bandwidth b to be at least \(\varOmega (n/\log n)\).
Additional support from CONICYT via Basal in Applied Mathematics (P.M. and I.R.) and Fondecyt 1170021 (I.R.).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
This conjecture states that there exist graphs with n vertices and \(\varOmega (n^{1+1/k})\) edges not containing cycles of length less than or equal to 2k.
References
Ahn, K.J., Guha, S., McGregor, A.: Analyzing graph structure via linear measurements. In: Proceedings of the 23rd Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2012, pp. 459–467 (2012)
Ahn, K.J., Guha, S., McGregor, A.: Graph sketches: sparsification, spanners, and subgraphs. In: Proceedings of the 31st Symposium on Principles of Database Systems, PODS 2012, pp. 5–14 (2012)
Angluin, D.: Local and global properties in networks of processors. In: Proceedings of the Twelfth Annual ACM Symposium on Theory of Computing, pp. 82–93. ACM (1980)
Arfaoui, H., Fraigniaud, P., Ilcinkas, D., Mathieu, F.: Distributedly testing cycle-freeness. In: Kratsch, D., Todinca, I. (eds.) WG 2014. LNCS, vol. 8747, pp. 15–28. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-12340-0_2
Awerbuch, B., Goldreich, O., Vainish, R., Peleg, D.: A trade-off between information and communication in broadcast protocols. J. ACM 37(2), 238–256 (1990)
Becker, F., Kosowski, A., Matamala, M., Nisse, N., Rapaport, I., Suchan, K., Todinca, I.: Allowing each node to communicate only once in a distributed system: shared whiteboard models. Distrib. Comput. 28(3), 189–200 (2015)
Becker, F., Matamala, M., Nisse, N., Rapaport, I., Suchan, K., Todinca, I.: Adding a referee to an interconnection network: what can(not) be computed in one round. In: Proceedings of the 25th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2011, pp. 508–514 (2011)
Becker, F., Montealegre, P., Rapaport, I., Todinca, I.: The simultaneous number-in-hand communication model for networks: private coins, public coins and determinism. In: Halldórsson, M.M. (ed.) SIROCCO 2014. LNCS, vol. 8576, pp. 83–95. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-09620-9_8
Birmelé, E.: Tree-width and circumference of graphs. J. Graph Theory 43(1), 24–25 (2003)
Bondy, J.A., Simonovits, M.: Cycles of even length in graphs. J. Comb. Theory, Ser. B 16(2), 97–105 (1974)
Brandstädt, A., Spinrad, J.P., et al.: Graph classes: a survey, vol. 3. Siam (1999)
Censor-Hillel, K., Kaski, P., Korhonen, J.H., Lenzen, C., Paz, A., Suomela, J.: Algebraic methods in the congested clique. In: Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, PODC 2015, pp. 143–152 (2015)
Chandrasekharan, N., Sitharama Iyengar, S.: NC algorithms for recognizing chordal graphs and k trees. IEEE Trans. Comput. 37(10), 1178–1183 (1988)
Drucker, A., Kuhn, F., Oshman, R.: On the power of the congested clique model. In: ACM Symposium on Principles of Distributed Computing, PODC 2014, pp. 367–376 (2014)
Erdős, P.: Extremal problems in graph theory. In: Theory of Graphs and its Applications. Proceedings of the Symposium, Smolenice (1964)
Guha, S., McGregor, A., Tench, D.: Vertex and hyperedge connectivity in dynamic graph streams. In: Proceedings of the 34th ACM Symposium on Principles of Database Systems, pp. 241–247. ACM (2015)
Hegeman, J.W., Pemmaraju, S.V., Sardeshmukh, V.B.: Near-constant-time distributed algorithms on a congested clique. In: Kuhn, F. (ed.) DISC 2014. LNCS, vol. 8784, pp. 514–530. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-45174-8_35
Holzer, S., Pinsker, N.: Approximation of distances and shortest paths in the broadcast congest clique. In: 19th International Conference on Principles of Distributed Systems, OPODIS 2015, Leibniz International Proceedings in Informatics (LIPIcs), vol. 46, pp. 1–16 (2016)
Jowhari, H., Saglam, M., Tardos, G.: Tight bounds for lp samplers, finding duplicates in streams, and related problems. In: Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2011, pp. 49–58 (2011)
Jurdzinski, T., Nowicki, K.: MST in O(1) rounds of the congested clique. Preprint arXiv:1707.08484 (2017)
Kari, J., Matamala, M., Rapaport, I., Salo, V.: Solving the induced subgraph problem in the randomized multiparty simultaneous messages model. In: Scheideler, C. (ed.) Structural Information and Communication Complexity. LNCS, vol. 9439, pp. 370–384. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-25258-2_26
Lazebnik, F., Ustimenko, V.A., Woldar, A.J.: A new series of dense graphs of high girth. Bull. Am. Math. Soc. 32(1), 73–79 (1995)
Linial, N.: Locality in distributed graph algorithms. SIAM J. Com. 21(1), 193–201 (1992)
Montealegre, P., Todinca, I.: Brief anouncement: deterministic graph connectivity in the broadcast congested clique. In: Proceedings of the 35th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, PODC 2016 (2016)
Naor, M., Stockmeyer, L.: What can be computed locally? SIAM J. Comput. 24(6), 1259–1277 (1995)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Becker, F., Montealegre, P., Rapaport, I., Todinca, I. (2018). The Impact of Locality on the Detection of Cycles in the Broadcast Congested Clique Model. In: Bender, M., Farach-Colton, M., Mosteiro, M. (eds) LATIN 2018: Theoretical Informatics. LATIN 2018. Lecture Notes in Computer Science(), vol 10807. Springer, Cham. https://doi.org/10.1007/978-3-319-77404-6_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-77404-6_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-77403-9
Online ISBN: 978-3-319-77404-6
eBook Packages: Computer ScienceComputer Science (R0)