Analysis of a single-agent search