Skip to main content
Log in

Smoothed analysis of dynamic networks

  • Published:
Distributed Computing Aims and scope Submit manuscript

Abstract

In this paper, we generalize the technique of smoothed analysis to apply to distributed algorithms in dynamic networks in which the network graph can change from round to round. Whereas standard smoothed analysis studies the impact of small random perturbations of input values on algorithm performance metrics, our proposed dynamic network version of smoothed analysis studies the impact of random perturbations of the underlying changing network topologies. Similar to the original application of smoothed analysis, our goal is to study whether known strong lower bounds in these models are robust or fragile: do they withstand small (random) perturbations, or do such deviations push the graphs far enough from a precise pathological instance to enable much better performance? Fragile lower bounds are likely not relevant for real-world deployment, while robust lower bounds represent a true difficulty caused by dynamic behavior. We apply this technique to three standard dynamic network problems with known strong worst-case lower bounds: random walks, flooding, and aggregation. We prove that these bounds provide a spectrum of robustness when subjected to smoothing—some are fragile (random walks), some are moderately fragile (flooding), and some are robust (aggregation).

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

Notes

  1. Edit distance, in this paper, is the number of edge additions/deletions needed to transform one graph to another, assuming they share the same node set.

  2. The qualification that we are discussing “simple” random walks is important. As elaborated in Sect. 7, there are random walk variations that can perform better than simple walks in dynamic settings.

  3. The inequality can easily be proven by induction over the exponent: assuming the product so far satisfies \(p \ge 1/2\), we have \(p(1-x) \le p-x/2\).

  4. This is another technical difference between the aggregation problem and the other two problems studied in this paper. For flooding and random walks, the dynamic graphs were considered to be of indefinite size. The goal was to analyze the process in question until it met some termination criteria. For aggregation, however, the length of the dynamic graph matters as this is a problem that requires an algorithm to aggregate as much as it can in a fixed duration that can vary depending on the application scenario. An alternative version of this problem can ask how long an algorithm takes to aggregate to a single node in an infinite length dynamic graph. This version of the problem, however, is less interesting, as the hardest case is the graph with no edges, which when combined with smoothing reduces to a standard random graph style analysis.

  5. We can deal with odd n and/or \(\ell \) not a power of 2 by suffering only a constant factor cost to our final performance. For simplicity of presentation, we maintain these assumptions for now.

References

  1. Augustine, J., Pandurangan, G., Robinson, P., Upfal, E.: Towards robust and efficient computation in dynamic peer-to-peer networks. In: Proceedings of the ACM-SIAM Symposium on Discrete Algorithms (2012)

  2. Avin, C., Koucký, M., Lotker, Z.: How to explore a fast-changing world (cover time of a simple random walk on evolving graphs). In: Proceedings of the International Colloquium on Automata, Languages and Programming (2008)

  3. Boyd, S., Ghosh, A., Prabhakar, B., Shah, D.: Randomized gossip algorithms. IEEE/ACM Trans Netw. 14(SI), 2508–2530 (2006)

    MathSciNet  MATH  Google Scholar 

  4. Clementi, A., Silvestri, R., Trevisan, L.: Information spreading in dynamic graphs. In: Proceedings of the ACM Symposium on Principles of Distributed Computing (2012)

  5. Cornejo, A., Gilbert, S., Newport, C.: Aggregation in dynamic networks. In: Proceedings of the ACM Symposium on Principles of Distributed Computing (2012)

  6. Denysyuk, O., Rodrigues, L.: Random walks on evolving graphs with recurring topologies. In: Proceedings of the International Symposium on Distributed Computing (2014)

  7. Dutta, C., Pandurangan, G., Rajaraman, R., Sun, Z., Viola, E.: On the complexity of information spreading in dynamic networks. In: Proceedings of the ACM-SIAM Symposium on Discrete Algorithms (2013)

  8. Ghaffari, M., Lynch, N., Newport, C.: The cost of radio network broadcast for different models of unreliable links. In: Proceedings of the ACM Symposium on Principles of Distributed Computing (2013)

  9. Haeupler, B., Karger, D.: Faster information dissemination in dynamic networks via network coding. In: Proceedings of the ACM Symposium on Principles of Distributed Computing (2011)

  10. Karp, R., Schindelhauer, C., Shenker, S., Vocking, B.: Randomized rumor spreading. In: Proceedings of the Annual Symposium on the Foundations of Computer Science (2000)

  11. Kempe, D., Dobra, A., Gehrke, J.: Gossip-based computation of aggregate information. In: Proceedings of the Annual Symposium on the Foundations of Computer Science (2003)

  12. Kuhn, F., Lynch, N., Oshman, R.: Distributed computation in dynamic networks. In: Proceedings of the ACM Symposium on Theory of Computing (2010)

  13. Kuhn, F., Oshman, R.: Dynamic networks: models and algorithms. ACM SIGACT News 42(1), 82–96 (2011)

    Article  Google Scholar 

  14. Kuhn, F., Oshman, R., Moses, Y.: Coordinated consensus in dynamic networks. In: Proceedings of the ACM Symposium on Principles of Distributed Computing (2011)

  15. Lovász, L.: Random walks on graphs: a survey. In: Miklós, D., Sós, V.T., Szőnyi, T. (eds.) Combinatorics, Paul Erdős is Eighty, vol. 2, pp. 1–46. János Bolyai Mathematical Society (1996)

  16. Newport, C.: Lower bounds for structuring unreliable radio networks. In: Proceedings of the International Symposium on Distributed Computing (2014)

  17. O’Dell, R., Wattenhofer, R.: Information dissemination in highly dynamic graphs. In: Proceedings of the Workshop on Foundations of Mobile Computing (2005)

  18. Sarma, A.D., Molla, A.R., Pandurangan, G.: Fast distributed computation in dynamic networks via random walks. In: Proceedings of the International Symposium on Distributed Computing (2012)

  19. Spielman, D.A., Teng, S.: Smoothed analysis of algorithms: why the simplex algorithm usually takes polynomial time. J. ACM 51(3), 385–463 (2004)

    Article  MathSciNet  Google Scholar 

  20. Spielman, D.A., Teng, S.H.: Smoothed analysis: an attempt to explain the behavior of algorithms in practice. Commun. ACM 52(10), 76–84 (2009)

    Article  Google Scholar 

  21. Strogatz, S.H.: Exploring complex networks. Nature 410(6825), 268–276 (2001)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Calvin Newport.

Additional information

Michael Dinitz was supported in part by NSF Grants CCF-1464239 and CCF-1535887. Jeremy T. Fineman was supported in part by NSF Grants CCF-1218188 and CCF-1314633. Seth Gilbert was supported in part by Singapore MOE Tier 2 ARC Project 2014-T2-1-157. Calvin Newport was supported in part by NSF Grant CCF-1320279.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Dinitz, M., Fineman, J.T., Gilbert, S. et al. Smoothed analysis of dynamic networks. Distrib. Comput. 31, 273–287 (2018). https://doi.org/10.1007/s00446-017-0300-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00446-017-0300-8

Keywords

Navigation