On Lower Bounds for Selecting the Median

We present a reformulation of the 2n+o(n) lower bound of Bent and John [Proceedings of the 17th Annual ACM Symposium on Theory of Computing, 1985, pp. 213--216] for the number of comparisons needed for selecting the median of n elements. Our reformulation uses a weight function. Apart from giving a more intuitive proof for the lower bound, the new formulation opens up possibilities for improving it. We use the new formulation to show that any pair-forming median finding algorithm, i.e., a median finding algorithm that starts by comparing $\lfloor n/2\rfloor$ disjoint pairs of elements must perform, in the worst case, at least 2.01 n + o(n) comparisons. This provides strong evidence that selecting the median requires at least cn+o(n) comparisons for some c> 2.

[1]  Samuel W. Bent,et al.  Finding the median requires 2n comparisons , 1985, STOC '85.

[2]  Mike Paterson,et al.  Progress in Selection , 1996, SWAT.

[3]  Vaughan R. Pratt,et al.  On Lower Bounds for Computing the i-th Largest Element , 1973, SWAT.

[4]  Uri Zwick,et al.  Selecting the median , 1995, SODA '95.

[5]  Manuel Blum,et al.  Time Bounds for Selection , 1973, J. Comput. Syst. Sci..

[6]  Uri Zwick,et al.  Median Selection Requires (2+epsilon)n Comparisons , 2001, SIAM J. Discret. Math..

[7]  Arnold Schönhage,et al.  Finding the Median , 1976, J. Comput. Syst. Sci..

[8]  Martin Aigner Producing posets , 1981, Discret. Math..

[9]  Selmer M. Johnson,et al.  A Tournament Problem , 1959 .

[10]  Harold N. Gabow,et al.  A Counting Approach to Lower Bounds for Selection Problems , 1979, JACM.

[11]  Chee Yap New lower bounds for medians and related problems , 1976 .