Distributed Computing

, Volume 30, Issue 3, pp 169–191 | Cite as

Searching without communicating: tradeoffs between performance and selection complexity

  • Christoph Lenzen
  • Nancy Lynch
  • Calvin Newport
  • Tsvetomira Radeva
Article

Abstract

We consider the ANTS problem (Feinerman et al.) in which a group of agents collaboratively search for a target in a two-dimensional plane. Because this problem is inspired by the behavior of biological species, we argue that in addition to studying the time complexity of solutions it is also important to study the selection complexity, a measure of how likely a given algorithmic strategy is to arise in nature due to selective pressures. Intuitively, the larger the \(\chi \) value, the more complicated the algorithm, and therefore the less likely it is to arise in nature. In more detail, we propose a new selection complexity metric \(\chi \), defined for algorithm \({\mathscr {A}}\) such that \(\chi ({\mathscr {A}}) = b + \log \ell \), where b is the number of memory bits used by each agent and \(\ell \) bounds the fineness of available probabilities (agents use probabilities of at least \(1/2^\ell \)). In this paper, we study the trade-off between the standard performance metric of speed-up, which measures how the expected time to find the target improves with n, and our new selection metric. Our goal is to determine the thresholds of algorithmic complexity needed to enable efficient search. In particular, consider n agents searching for a treasure located within some distance D from the origin (where n is sub-exponential in D). For this problem, we identify the threshold \(\log \log D\) to be crucial for our selection complexity metric. We first prove a new upper bound that achieves a near-optimal speed-up for \(\chi ({\mathscr {A}}) \approx \log \log D + \mathscr {O}(1)\). In particular, for \(\ell \in \mathscr {O}(1)\), the speed-up is asymptotically optimal. By comparison, the existing results for this problem (Feinerman et al.) that achieve similar speed-up require \(\chi ({\mathscr {A}}) = \varOmega (\log D)\). We then show that this threshold is tight by describing a lower bound showing that if \(\chi ({\mathscr {A}}) < \log \log D - \omega (1)\), then with high probability the target is not found in \(D^{2-o(1)}\) moves per agent. Hence, there is a sizable gap with respect to the straightforward \(\varOmega (D^2/n + D)\) lower bound in this setting.

Keywords

Distributed algorithms Biology-inspired algorithms Search algorithms Markov chains 

References

  1. 1.
    Afek, Y., Alon, N., Barad, O., Hornstein, E., Barkai, N., Bar-Joseph, Z.: A biological solution to a fundamental distributed computing problem. Science 331(6014), 183–185 (2011)MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    Albers, S., Henzinger, M.R.: Exploring unknown environments. SIAM J. Comput. 29(4), 1164–1188 (2000)MathSciNetCrossRefMATHGoogle Scholar
  3. 3.
    Alon, N., Avin, C., Kouckỳ, M., Kozma, G., Lotker, Z., Tuttle, M.R.: Many random walks are faster than one. Comb., Prob. Comput. 20(04), 481–502 (2011)MathSciNetCrossRefMATHGoogle Scholar
  4. 4.
    Ambuhl, C., Gasieniec, L., Pelc, A., Radzik, T., Zhang, X.: Tree exploration with logarithmic memory. ACM Trans. Algorithms 7(2), 17 (2011)MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Arbilly, M., Motro, U., Feldman, M.W., Lotem, A.: Co-evolution of learning complexity and social foraging strategies. J. Theor. Biol. 267(4), 573–581 (2010)MathSciNetCrossRefGoogle Scholar
  6. 6.
    Bender, M.A., Fernández, A., Ron, D., Sahai, A., Vadhan, S.: The power of a pebble: Exploring and mapping directed graphs. In: Proceedings of the ACM Symposium on Theory of Computing, pp. 269–278. ACM (1998)Google Scholar
  7. 7.
    Brauer, A.: On a problem of partitions. Am. J. Math. 64(1), 299–312 (1942)CrossRefMATHGoogle Scholar
  8. 8.
    Deng, X., Papadimitriou, C.H.: Exploring an unknown graph. In: Proceedings of the Symposium on Foundations of Computer Science, pp. 355–361. IEEE (1990)Google Scholar
  9. 9.
    Diks, K., Fraigniaud, P., Kranakis, E., Pelc, A.: Tree exploration with little memory. In: Proceedings of the ACM-SIAM Symposium on Discrete Algorithms, pp. 588–597. Society for Industrial and Applied Mathematics (2002)Google Scholar
  10. 10.
    Emek, Y., Langner, T., Uitto, J., Wattenhofer, R.: Solving the ANTS problem with asynchronous finite state machines. In: Proceedings of the International Colloquium, pp. 471–482 (2014)Google Scholar
  11. 11.
    Emek, Y., Wattenhofer, R.: Stone age distributed computing. In: Proceedings of the ACM Symposium on Principles of Distributed Computing, pp. 137–146. ACM (2013)Google Scholar
  12. 12.
    Feinerman, O., Korman, A.: Memory lower bounds for randomized collaborative search and implications for biology. In: Distributed Computing, pp. 61–75. Springer (2012)Google Scholar
  13. 13.
    Feinerman, O., Korman, A.: Theoretical distributed computing meets biology: A review. In: Distributed Computing and Internet Technology, pp. 1–18. Springer (2013)Google Scholar
  14. 14.
    Feinerman, O., Korman, A., Lotker, Z., Sereni, J.S.: Collaborative search on the plane without communication. In: Proceedings of the ACM Symposium on Principles of Distributed Computing, pp. 77–86. ACM (2012)Google Scholar
  15. 15.
    Feller, W.: An Introduction to Probability Theory and Its Applications, vol. 2. Wiley, Hoboken (2008)MATHGoogle Scholar
  16. 16.
    Fraigniaud, P., Gasieniec, L., Kowalski, D.R., Pelc, A.: Collective tree exploration. Networks 48(3), 166–177 (2006)MathSciNetCrossRefMATHGoogle Scholar
  17. 17.
    Giraldeau, L.A., Caraco, T.: Social Foraging Theory. Princeton University Press, Princeton (2000)Google Scholar
  18. 18.
    Harkness, R., Maroudas, N.: Central place foraging by an ant (Cataglyphis bicolor Fab.): a model of searching. Anim. Behav. 33(3), 916–928 (1985)CrossRefGoogle Scholar
  19. 19.
    Holder, K., Polis, G.: Optimal and central-place foraging theory applied to a desert harvester ant Pogonomyrmex californicus. Oecologia 72(3), 440–448 (1987)CrossRefGoogle Scholar
  20. 20.
    Lenzen, C., Lynch, N., Newport, C., Radeva, T.: Trade-offs between selection complexity and performance when searching the plane without communication. In: Proceedings of the ACM Symposium on Principles of Distributed Computing, pp. 252–261. ACM (2014)Google Scholar
  21. 21.
    McLeman, M., Pratt, S., Franks, N.: Navigation using visual landmarks by the ant leptothorax albipennis. Insectes Sociaux 49(3), 203–208 (2002)CrossRefGoogle Scholar
  22. 22.
    O’Brien, C.: Solving ANTS with loneliness detection and constant memory. M.Eng Thesis, MIT EECS Department (2014)Google Scholar
  23. 23.
    Panaite, P., Pelc, A.: Exploring unknown undirected graphs. J. Algorithms 33(2), 281–295 (1999)MathSciNetCrossRefMATHGoogle Scholar
  24. 24.
    Reingold, O.: Undirected connectivity in log-space. J. ACM (JACM) 55(4), 17 (2008)MathSciNetCrossRefMATHGoogle Scholar
  25. 25.
    Robinson, E.J., Jackson, D.E., Holcombe, M., Ratnieks, F.L.: Insect communication: “no entry” signal in ant foraging. Nature 438(7067), 442–442 (2005)CrossRefGoogle Scholar
  26. 26.
    Rosenthal, J.S.: Rates of convergence for data augmentation on finite sample spaces. Ann. Appl. Probab. 3(3), 819–839 (1993)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2016

Authors and Affiliations

  • Christoph Lenzen
    • 1
  • Nancy Lynch
    • 2
  • Calvin Newport
    • 3
  • Tsvetomira Radeva
    • 2
  1. 1.Max Planck Institute for InformaticsSaarbrückenGermany
  2. 2.Massachusetts Institute of TechnologyCambridgeUSA
  3. 3.Georgetown UniversityWashingtonUSA

Personalised recommendations