Searching on a line: A complete characterization of the optimal solution

We revisit the problem of searching for a target at an unknown location on a line when given upper and lower bounds on the distance D that separates the initial position of the searcher from the target. Prior to this work, only asymptotic bounds were known for the optimal competitive ratio achievable by any search strategy in the worst case. We present the first tight bounds on the exact optimal competitive ratio achievable, parameterized in terms of the given bounds on D, along with an optimal search strategy that achieves this competitive ratio. We prove that this optimal strategy is unique. We characterize the conditions under which an optimal strategy can be computed exactly and, when it cannot, we explain how numerical methods can be used efficiently. In addition, we answer several related open questions, including the maximal reach problem, and we discuss how to generalize these results to m rays, for any m ? 2 .

[1]  Richard Bellman,et al.  Review: E. A. Coddington and N. Levinson, Theory of differential equations , 1956 .

[2]  Mihalis Yannakakis,et al.  Searching a Fixed Graph , 1996, ICALP.

[3]  Andrzej Pelc,et al.  Asynchronous deterministic rendezvous in bounded terrains , 2010, Theor. Comput. Sci..

[4]  Ricardo A. Baeza-Yates,et al.  Searching in the Plane , 1993, Inf. Comput..

[5]  M. Goldberg A Minimization Problem , 1981 .

[6]  Alejandro López-Ortiz,et al.  The ultimate strategy to search on m rays? , 2001, Theor. Comput. Sci..

[7]  Prosenjit Bose,et al.  Revisiting the Problem of Searching on a Line , 2013, ESA.

[8]  V. S. Subrahmanian,et al.  Search Theory: A Game Theoretic Perspective , 2013 .

[9]  Andrzej Pelc,et al.  Asynchronous Deterministic Rendezvous in Graphs , 2005, MFCS.

[10]  Michael Ian Shamos,et al.  Computational geometry: an introduction , 1985 .

[11]  V. Baston,et al.  Rendezvous search on a graph , 1999 .

[12]  Victor Y. Pan,et al.  Numerical methods for roots of polynomials , 2007 .

[13]  Andrzej Pelc,et al.  Anonymous Meeting in Networks , 2013, SODA.

[14]  V. Hoggatt,et al.  DIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS , 2010 .

[15]  Bengt J. Nilsson,et al.  Parallel searching on m rays , 1999, Comput. Geom..

[16]  Rolf Klein,et al.  How to Find a Point on a Line Within a Fixed Distance , 1999, Discret. Appl. Math..

[17]  Michael A. Bender,et al.  The power of a pebble: exploring and mapping directed graphs , 1998, STOC '98.

[18]  Jurek Czyzowicz,et al.  Tell Me Where I Am So I Can Meet You Sooner , 2010, ICALP.

[19]  Shmuel Gal,et al.  The theory of search games and rendezvous , 2002, International series in operations research and management science.