Abstract
We study the problem of gossip in dynamic networks controlled by an adversary that can modify the network arbitrarily from one round to another, provided that the network is always connected. In the gossip problem, there are n tokens arbitrarily distributed among the n network nodes, and the goal is to disseminate all the n tokens to every node. Our focus is on token-forwarding algorithms, which do not manipulate tokens in any way other than storing, copying, and forwarding them. An important open question is whether gossip can be realized by a distributed protocol that can do significantly better than an easily achievable bound of \(O(n^2)\) rounds.
In this paper, we study oblivious adversaries, i.e., those that are oblivious to the random choices made by the protocol. We consider Rand-Diff, a natural distributed algorithm in which neighbors exchange a token chosen uniformly at random from the difference of their token sets. We present an \(\tilde{\varOmega }(n^{3/2})\) lower bound for Rand-Diff under an oblivious adversary. We also present an \(\tilde{\varOmega }(n^{4/3})\) lower bound under a stronger notion of oblivious adversary for a class of randomized distributed algorithms—symmetric knowledge-based algorithms— in which nodes make token transmission decisions based entirely on the sets of tokens they possess over time. On the positive side, we present a centralized algorithm that completes gossip in \(\tilde{O}(n^{3/2})\) rounds with high probability, under any oblivious adversary. We also show an \(\tilde{O}(n^{5/3})\) upper bound for Rand-Diff in a restricted class of oblivious adversaries, which we call paths-respecting, that may be of independent interest.
J.A. was supported by IIT Madras New Faculty Seed Grant, IIT Madras Exploratory Research Project, and Indo-German Max Planck Center for Computer Science (IMPECS). G.P. was partially supported by NSF grants CCF-1527867 and CCF-1540512. M.L. and R.R were partially supported by grants NSF CCF-1422715, NSF CCF-1535929, and ONR N00014-12-1-1001.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
In each round of the strongly adaptive adversary model, each node first chooses a token to broadcast to all its neighbors, and then the adversary chooses a connected network for that round with the knowledge of the tokens chosen by each node.
- 2.
The notation \(\tilde{\varOmega }\) hides polylogarithmic factors in the denominator and \(\tilde{O}\) hides polylogarithmic factors in the numerator.
- 3.
Actually, [15] shows the \(O(n \mathrm {polylog}(n))\) bound applies even for a weaker protocol called Sym-Diff, where the token exchanged between two neighbouring nodes is a random token from the symmetric difference of the token sets of the two nodes.
- 4.
Throughout, by “with high probability” or whp, we mean with probability at least \(1 - 1/n^c\), where the constant c can be made sufficiently large by adjusting other parameters in the analysis.
- 5.
Indeed, an infrastructure-based model captures many real-world scenarios involving an underlying communication network with dynamics restricted to the network edges. This is unlike the case of a general oblivious adversary where the graph can change arbitrarily from round to round.
References
Augustine, J., Pandurangan, G., Robinson, P., Upfal, E.: Towards robust and efficient computation in dynamic peer-to-peer networks. In: SODA, pp. 551–569 (2012)
Augustine, J., Avin, C., Liaee, M., Pandurangan, G., Rajaraman, R.: Information spreading in dynamic networks under oblivious adversaries (2016). arXiv:1603.06109
Augustine, J., Molla, A.R., Morsy, E., Pandurangan, G., Robinson, P., Upfal, E.: Storage and search in dynamic peer-to-peer networks. In: SPAA, pp. 53–62 (2013)
Augustine, J., Pandurangan, G., Robinson, P.: Fast byzantine agreement in dynamic networks. In: PODC, pp. 74–83 (2013)
Augustine, J., Pandurangan, G., Robinson, P., Roche, S., Upfal, E.: Enabling robust and efficient distributed computation in dynamic peer-to-peer networks. In: FOCS, pp. 350–369 (2015)
Avin, C., Koucký, M., Lotker, Z.: How to explore a fast-changing world (cover time of a simple random walk on evolving graphs). In: Aceto, L., Damgård, I., Goldberg, L.A., Halldórsson, M.M., Ingólfsdóttir, A., Walukiewicz, I. (eds.) ICALP 2008, Part I. LNCS, vol. 5125, pp. 121–132. Springer, Heidelberg (2008)
Baumann, H., Crescenzi, P., Fraigniaud, P.: Parsimonious flooding in dynamic graphs. In: PODC, pp. 260–269 (2009)
Baumann, H., Crescenzi, P., Fraigniaud, P.: Parsimonious flooding in dynamic graphs. Distrib. Comput. 24(1), 31–44 (2011)
Bollobás, B., Riordan, O.: The diameter of a scale-free random graph. Combinatorica 24(1), 5–34 (2004)
Broder, A., Kumar, R., Maghoul, F., Raghavan, P., Rajagopalan, S., Stata, R., Tomkins, A., Wiener, J.: Graph structure in the web. Comput. Netw. 33(1–6), 309–320 (2000)
Casteigts, A., Flocchini, P., Quattrociocchi, W., Santoro, N.: Time-varying graphs and dynamic networks. Int. J. Parallel Emergent Distrib. Syst. 27(5), 387–408 (2012)
Clementi, A.E.F., Monti, A., Pasquale, F., Silvestri, R.: Broadcasting in dynamic radio networks. J. Comput. Syst. Sci. 75(4), 213–230 (2009)
Clementi, A.E.F., Macci, C., Monti, A., Pasquale, F., Silvestri, R.: Flooding time in edge-markovian dynamic graphs. In: PODC, pp. 213–222 (2008)
Cooper, C., Frieze, A.: Crawling on simple models of web graphs. Internet Math. 1, 57–90 (2003)
Dutta, C., Pandurangan, G., Rajaraman, R., Sun, Z., Viola, E.: On the complexity of information spreading in dynamic networks. In: SODA, pp. 717–736 (2013)
Ferreira, A.: Building a reference combinatorial model for manets. IEEE Netw. 18(5), 24–29 (2004)
Ferreira, A., Goldman, A., Monteiro, J.: On the evaluation of shortest journeys in dynamic networks. In: NCA, pp. 3–10 (2007)
Flaxman, A., Frieze, A.M., Upfal, E.: Efficient communication in an ad-hoc network. J. Algorithms 52(1), 1–7 (2004)
Georgiou, C., Gilbert, S., Guerraoui, R., Kowalski, D.R.: On the complexity of asynchronous gossip. In: PODC, pp. 135–144 (2008)
Gurevich, M., Keidar, I.: Correctness of gossip-based membership under message loss. In: PODC, pp. 151–160 (2009)
Haeupler, B.: Analyzing network coding gossip made easy. In: STOC, pp. 293–302 (2011)
Haeupler, B., Karger, D.: Faster information dissemination in dynamic networks via network coding. In: PODC, pp. 381–390 (2011)
Haeupler, B., Kuhn, F.: Lower bounds on information dissemination in dynamic networks. In: Aguilera, M.K. (ed.) DISC 2012. LNCS, vol. 7611, pp. 166–180. Springer, Heidelberg (2012)
Jarry, A., Lotker, Z.: Connectivity in evolving graph with geometric properties. In: DIALM-POMC, pp. 24–30 (2004)
Kempe, D., Kleinberg, J., Kumar, A.: Connectivity and inference problems for temporal networks. JCSS 64(4), 820–842 (2002)
Kuhn, F., Lynch, N., Oshman, R.: Distributed computation in dynamic networks. In: STOC, pp. 513–522 (2010)
Kuhn, F., Oshman, R., Moses, Y.: Coordinated consensus in dynamic networks. In: PODC, pp. 1–10 (2011)
Leighton, F.T.: Introduction to Parallel Algorithms and Architectures: Arrays, Trees, and Hypercubes. Morgan-Kaufmann (1991)
Liben-Nowell, D., Novak, J., Kumar, R., Raghavan, P., Tomkins, A.: Geographic routing in social networks. PNAS 102(33), 11623–11628 (2005)
O’Dell, R., Wattenhofer, R.: Information dissemination in highly dynamic graphs. In: DIALM-POMC, pp. 104–110 (2005)
Pandurangan, G.: Distributed algorithmic foundations of dynamic networks. In: Halldórsson, M.M. (ed.) SIROCCO 2014. LNCS, vol. 8576, pp. 18–22. Springer, Heidelberg (2014)
Peleg, D.: Distributed Computing: A Locality-Sensitive Approach. SIAM (2000)
Das Sarma, A., Molla, A.R., Pandurangan, G.: Fast distributed computation in dynamic networks via random walks. In: Aguilera, M.K. (ed.) DISC 2012. LNCS, vol. 7611, pp. 136–150. Springer, Heidelberg (2012)
Sarwate, A.D., Dimakis, A.G.: The impact of mobility on gossip algorithms. In: INFOCOM, pp. 2088–2096 (2009)
Topkis, D.M.: Concurrent broadcast for information dissemination. IEEE Trans. Soft. Eng. 11, 1107–1112 (1985)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Augustine, J., Avin, C., Liaee, M., Pandurangan, G., Rajaraman, R. (2016). Information Spreading in Dynamic Networks Under Oblivious Adversaries. In: Gavoille, C., Ilcinkas, D. (eds) Distributed Computing. DISC 2016. Lecture Notes in Computer Science(), vol 9888. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-53426-7_29
Download citation
DOI: https://doi.org/10.1007/978-3-662-53426-7_29
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-53425-0
Online ISBN: 978-3-662-53426-7
eBook Packages: Computer ScienceComputer Science (R0)