Advertisement

Parallel Search with No Coordination

  • Amos KormanEmail author
  • Yoav Rodeh
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10641)

Abstract

We consider a parallel version of a classical Bayesian search problem. k agents are looking for a treasure that is placed in one of the boxes indexed by \(\mathbb {N}^+\) according to a known distribution p. The aim is to minimize the expected time until the first agent finds it. Searchers run in parallel where at each time step each searcher can “peek” into a box. A basic family of algorithms which are inherently robust is non-coordinating algorithms. Such algorithms act independently at each searcher, differing only by their probabilistic choices. We are interested in the price incurred by employing such algorithms when compared with the case of full coordination.

We first show that there exists a non-coordination algorithm, that knowing only the relative likelihood of boxes according to p, has expected running time of at most \(10+4(1+\frac{1}{k})^2 T\), where T is the expected running time of the best fully coordinated algorithm. This result is obtained by applying a refined version of the main algorithm suggested by Fraigniaud, Korman and Rodeh in STOC’16, which was designed for the context of linear parallel search.

We then describe an optimal non-coordinating algorithm for the case where the distribution p is known. The running time of this algorithm is difficult to analyse in general, but we calculate it for several examples. In the case where p is uniform over a finite set of boxes, then the algorithm just checks boxes uniformly at random among all non-checked boxes and is essentially 2 times worse than the coordinating algorithm. We also show simple algorithms for Pareto distributions over M boxes. That is, in the case where \(p(x) \sim 1/x^b\) for \(0< b < 1\), we suggest the following algorithm: at step t choose uniformly from the boxes unchecked in \(\left\{ 1, \ldots , \min (M, {\left\lfloor {t/\sigma } \right\rfloor }) \right\} \), where \(\sigma = b/(b + k - 1)\). It turns out this algorithm is asymptotically optimal, and runs about \(2+b\) times worse than the case of full coordination.

References

  1. 1.
    Alon, N., Avin, C., Koucky, M., Kozma, G., Lotker, Z., Tuttle, M.R.: Many random walks are faster than one. In: Proceedings of the Twentieth Annual Symposium on Parallelism in Algorithms and Architectures, SPAA 2008, New York, NY, USA, pp. 119–128. ACM (2008)Google Scholar
  2. 2.
    Alpern, S., Fokkink, R., Gasieniec, L.A., Lindelauf, R., Subrahmanian, V.S. (eds.): Search Theory: A Game Theoretic Perspective. Springer, New York (2013).  https://doi.org/10.1007/978-1-4614-6825-7 zbMATHGoogle Scholar
  3. 3.
    Alpern, S., Gal, S.: The Theory of Search Games and Rendezvous. International Series in Operations Research & Management Science. Springer, Heidelberg (2003).  https://doi.org/10.1007/b100809 zbMATHGoogle Scholar
  4. 4.
    Baezayates, R.A., Culberson, J.C., Rawlins, G.J.E.: Searching in the plane. Inf. Comput. 106(2), 234–252 (1993)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Beck, A.: On the linear search problem. Israel J. Math. 2(4), 221–228 (1964)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Blackwell, D.: Notes on Dynamic Programming. Unpublished notes, University of California, Berkeley (1962)Google Scholar
  7. 7.
    Cooper, C., Frieze, A.M., Radzik, T.: Multiple random walks in random regular graphs. SIAM J. Discrete Math. 23(4), 1738–1761 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Czyzowicz, J., Kranakis, E., Krizanc, D., Narayanan, L., Opatrny, J.: Search on a line with faulty robots. In: Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, PODC 2016, New York, NY, USA, pp. 405–414. ACM (2016)Google Scholar
  9. 9.
    Czyzowicz, J., Kranakis, E., Krizanc, D., Narayanan, L., Opatrny, J., Shende, S.M.: Linear search with terrain-dependent speeds. CoRR, abs/1701.03047 (2017)Google Scholar
  10. 10.
    Das, S.: Mobile agents in distributed computing: network exploration. Bull. Eur. Assoc. Theor. Comput. Sci. (EATCS) 109, 54–69 (2013)Google Scholar
  11. 11.
    David, A., Shmuel, Z.: Optimal sequential search: a Bayesian approach. Ann. Stat. 13(3), 1213–1221 (1985)MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    Efremenko, K., Reingold, O.: How well do random walks parallelize? In: Dinur, I., Jansen, K., Naor, J., Rolim, J. (eds.) APPROX/RANDOM -2009. LNCS, vol. 5687, pp. 476–489. Springer, Heidelberg (2009).  https://doi.org/10.1007/978-3-642-03685-9_36 CrossRefGoogle Scholar
  13. 13.
    Elsässer, R., Sauerwald, T.: Tight bounds for the cover time of multiple random walks. Theor. Comput. Sci. 412(24), 2623–2641 (2011)MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    Feinerman, O., Korman, A.: Memory lower bounds for randomized collaborative search and implications for biology. In: Aguilera, M.K. (ed.) DISC 2012. LNCS, vol. 7611, pp. 61–75. Springer, Heidelberg (2012).  https://doi.org/10.1007/978-3-642-33651-5_5 CrossRefGoogle Scholar
  15. 15.
    Feinerman, O., Korman, A., Lotker, Z., Sereni, J.-S.: Collaborative search on the plane without communication. In: ACM Symposium on Principles of Distributed Computing, PODC 2012, Funchal, Madeira, Portugal, 16–18 July 2012, pp. 77–86 (2012)Google Scholar
  16. 16.
    Flocchini, P., Prencipe, G., Santoro, N.: Distributed Computing by Oblivious Mobile Robots. Morgan & Claypool Publishers, San Rafael (2012)zbMATHGoogle Scholar
  17. 17.
    Fraigniaud, P., Korman, A., Rodeh, Y.: Parallel exhaustive search without coordination. In: Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2016, Cambridge, MA, USA, 18–21 June 2016, pp. 312–323 (2016)Google Scholar
  18. 18.
  19. 19.
    Kao, M.-Y., Reif, J.H., Tate, S.R.: Searching in an unknown environment: an optimal randomized algorithm for the cow-path problem. In: Proceedings of the Fourth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 1993, Philadelphia, PA, USA, pp. 441–447. Society for Industrial and Applied Mathematics (1993)Google Scholar
  20. 20.
    Korman, A., Rodeh, Y.: Parallel search with no coordination. CoRR, abs/1705.05704 (2017)Google Scholar
  21. 21.
    Chew, M.C.: A sequential search procedure. Ann. Math. Stat. 38(2), 494–502 (1967)MathSciNetCrossRefzbMATHGoogle Scholar
  22. 22.
    Prencipe, G.: Autonomous mobile robots: a distributed computing perspective. In: Flocchini, P., Gao, J., Kranakis, E., Meyer auf der Heide, F. (eds.) ALGOSENSORS 2013. LNCS, vol. 8243, pp. 6–21. Springer, Heidelberg (2014).  https://doi.org/10.1007/978-3-642-45346-5_2 CrossRefGoogle Scholar
  23. 23.
    Stone, L.D.: Theory of Optimal Search, 2nd edn. Topics in Operations Research Series. Military Applications Section (1989)Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.CNRSUniversity Paris DiderotParisFrance
  2. 2.Weizmann Institute of ScienceRehovotIsrael

Personalised recommendations