Best-of-two-worlds analysis of online search

TL;DR

This paper introduces a new measure for analyzing online search strategies, demonstrating that aggressive exploration strategies outperform conservative ones in the linear search problem, providing insights beyond traditional competitive analysis.

Contribution

The authors propose a novel exploration rate measure for search strategies, showing that aggressive strategies are optimal among 9-competitive strategies and differ from traditional doubling strategies.

Findings

Aggressive exploration strategies are optimal among 9-competitive strategies.

Traditional doubling strategies are less effective than aggressive ones.

Optimal strategies must mimic aggressive exploration early on.

Abstract

In search problems, a mobile searcher seeks to locate a target that hides in some unknown position of the environment. Such problems are typically considered to be of an on-line nature, in that the input is unknown to the searcher, and the performance of a search strategy is usually analyzed by means of the standard framework of the competitive ratio, which compares the cost incurred by the searcher to an optimal strategy that knows the location of the target. However, one can argue that even for simple search problems, competitive analysis fails to distinguish between strategies which, intuitively, should have different performance in practice. Motivated by the above, in this work we introduce and study measures supplementary to competitive analysis in the context of search problems. In particular, we focus on the well-known problem of linear search, informally known as the cow-path problem, for which there is an infinite number of strategies that achieve an optimal competitive ratio equal to 9. We propose a measure that reflects the rate at which the line is being explored by the searcher, and which can be seen as an extension of the bijective ratio over an uncountable set of requests. Using this measure we show that a natural strategy that explores the line aggressively is optimal among all 9-competitive strategies. This provides, in particular, a strict separation from the competitively optimal doubling strategy, which is much more conservative in terms of exploration. We also provide evidence that this aggressiveness is requisite for optimality, by showing that any optimal strategy must mimic the aggressive strategy in its first few explorations.