English

Towards a General Framework for Searching on a Line and Searching on $m$ Rays

Data Structures and Algorithms 2014-11-05 v2

Abstract

Consider the following classical search problem: given a target point pp\in \Re, starting at the origin, find pp with minimum cost, where cost is defined as the distance travelled. Let DD be the distance of pp from the origin. When no lower bound on DD is given, no competitive search strategy exists. Demaine, Fekete and Gal (Online searching with turn cost, Theor. Comput. Sci., 361(2-3):342-355, 2006) considered the situation where no lower bound on DD is given but a fixed \emph{turn cost} t>0t>0 is charged every time the searcher changes direction. When the total cost is expressed as cD+ϕc D+\phi, where cc and ϕ\phi are positive constants, they showed that if cc is set to 99, then the optimal search strategy has a cost of 9D+2t9D+2t. Although their strategy is optimal for c=9c=9, we prove that the minimum cost in their framework is 5D+t+22D(2D+t)<9D+2t5D+t+2\sqrt{2D(2D+t)} < 9D+2t. Note that the minimum cost requires knowledge of DD. However, given DD, the optimal strategy has a smaller cost of 3D+t3D+t. Therefore, this problem cannot be solved optimally and exactly when no lower bound on DD is given. To resolve this issue, we introduce a general framework where the cost of moving distance xx away from the origin is α1x+β1\alpha_1 x+\beta_1 and the cost of moving distance yy towards the origin is α2y+β2\alpha_2 y+\beta_2 for constants α1,α2,β1,β2\alpha_1,\alpha_2,\beta_1,\beta_2. Given a lower bound λ\lambda on DD, we provide a provably optimal competitive search strategy when α1,α2,β1,β20\alpha_1,\alpha_2,\beta_1,\beta_2 \geq 0 and α1+α2>0\alpha_1+\alpha_2 > 0. Finally, we address the problem of searching for a target lying on one of mm rays extending from the origin where the cost is measured as the total distance travelled plus t0t \geq 0 times the number of turns. We provide a search strategy and compute its cost. We prove our strategy is optimal for small values of tt and conjecture it is always optimal.

Keywords

Cite

@article{arxiv.1408.6812,
  title  = {Towards a General Framework for Searching on a Line and Searching on $m$ Rays},
  author = {Prosenjit Bose and Jean-Lou De Carufel},
  journal= {arXiv preprint arXiv:1408.6812},
  year   = {2014}
}

Comments

Submitted to ACM-SIAM Symposium on Discrete Algorithms (SODA 2015)