Towards Optimal Multiple Selection

Kanela Kaligosi, Kurt Mehlhorn, J. Ian Munro, Peter Sanders

Abstract: The multiple selection problem asks for the elements of rank r 1, r 2, ..., r k from a linearly ordered set of n elements. Let B denote the information theoretic lower bound on the number of element comparisons needed for multiple selection. We first show that a variant of multiple quickselect — a well known, simple, and practical generalization of quicksort — solves this problem with $B+\mathcal{O}(n)$ expected comparisons. We then develop a deterministic divide-and-conquer algorithm that solves the problem in $\mathcal{O}(B)$ time and $B+o(B)+\mathcal{O}(n)$ element comparisons.