progressive-search algorithms for large