Results 1 
6 of
6
Quickselect and Dickman function
 Combinatorics, Probability and Computing
, 2000
"... We show that the limiting distribution of the number of comparisons used by Hoare's quickselect algorithm when given a random permutation of n elements for finding the mth smallest element, where m = o(n), is the Dickman function. The limiting distribution of the number of exchanges is also de ..."
Abstract

Cited by 25 (1 self)
 Add to MetaCart
(Show Context)
We show that the limiting distribution of the number of comparisons used by Hoare's quickselect algorithm when given a random permutation of n elements for finding the mth smallest element, where m = o(n), is the Dickman function. The limiting distribution of the number of exchanges is also derived. 1 Quickselect Quickselect is one of the simplest and e#cient algorithms in practice for finding specified order statistics in a given sequence. It was invented by Hoare [19] and uses the usual partitioning procedure of quicksort: choose first a partitioning key, say x; regroup the given sequence into two parts corresponding to elements whose values are less than and larger than x, respectively; then decide, according to the size of the smaller subgroup, which part to continue recursively or to stop if x is the desired order statistics; see Figure 1 for an illustration in terms of binary search trees. For more details, see Guibas [15] and Mahmoud [26]. This algorithm , although ine#cient in the worst case, has linear mean when given a sequence of n independent and identically distributed continuous random variables, or equivalently, when given a random permutation of n elements, where, here and throughout this paper, all n! permutations are equally likely. Let C n,m denote the number of comparisons used by quickselect for finding the mth smallest element in a random permutation, where the first partitioning stage uses n 1 comparisons. Knuth [23] was the first to show, by some di#erencing argument, that E(C n,m ) = 2 (n + 3 + (n + 1)H n (m + 2)Hm (n + 3 m)H n+1m ) , n, where Hm = 1#k#m k 1 . A more transparent asymptotic approximation is E(C n,m ) (#), (#) := 2 #), # Part of the work of this author was done while he was visiting School of C...
Distributional convergence for the number of symbol comparisons used by QuickSort
, 2012
"... Most previous studies of the sorting algorithm QuickSort have used the number of key comparisons as a measure of the cost of executing the algorithm. Here we suppose that the n independent and identically distributed (iid) keys are each represented as a sequence of symbols from a probabilistic sourc ..."
Abstract

Cited by 10 (4 self)
 Add to MetaCart
(Show Context)
Most previous studies of the sorting algorithm QuickSort have used the number of key comparisons as a measure of the cost of executing the algorithm. Here we suppose that the n independent and identically distributed (iid) keys are each represented as a sequence of symbols from a probabilistic source and that QuickSort operates on individual symbols, and we measure the execution cost as the number of symbol comparisons. Assuming only a mild “tameness ” condition on the source, we show that there is a limiting distribution for the number of symbol comparisons after normalization: first centering by the mean and then dividing by n. Additionally, under a condition that grows more restrictive as p increases, we have convergence of moments of orders p and smaller. In particular, we have convergence in distribution and convergence of moments of every order whenever the source is memoryless, i.e., whenever each key is generated as an infinite string of iid symbols. This is somewhat surprising: Even for the classical model that each key is an iid string of unbiased (“fair”) bits, the mean exhibits periodic fluctuations of order n.
A Gaussian limit process for optimal FIND algorithms
, 2013
"... We consider versions of the FIND algorithm where the pivot element used is the median of a subset chosen uniformly at random from the data. For the median selection we assume that subsamples of size asymptotic to c · nα are chosen, where 0 < α ≤ 1 2, c> 0 and n is the size of the data set to b ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
(Show Context)
We consider versions of the FIND algorithm where the pivot element used is the median of a subset chosen uniformly at random from the data. For the median selection we assume that subsamples of size asymptotic to c · nα are chosen, where 0 < α ≤ 1 2, c> 0 and n is the size of the data set to be split. We consider the complexity of FIND as a process in the rank to be selected and measured by the number of key comparisons required. After normalization we show weak convergence of the complexity to a centered Gaussian process as n → ∞, which depends on α. The proof relies on a contraction argument for probability distributions on càdlàg functions. We also identify the covariance function of the Gaussian limit process and discuss path and tail properties. AMS 2010 subject classifications. Primary 60F17, 68P10; secondary 60G15, 60C05, 68Q25. Key words. FIND algorithm, Quickselect, complexity, key comparisons, functional limit theorem,
DOI: 10.3150/10BEJ297 Renorming divergent perpetuities
"... We consider a sequence of random variables (Rn) defined by the recurrence Rn = Qn + MnRn−1, n ≥ 1, where R0 is arbitrary and (Qn,Mn), n ≥ 1, are i.i.d. copies of a twodimensional random vector (Q, M), and (Qn,Mn) is independent of Rn−1. It is well known that if ElnM  < 0andEln +Q  < ∞, th ..."
Abstract
 Add to MetaCart
(Show Context)
We consider a sequence of random variables (Rn) defined by the recurrence Rn = Qn + MnRn−1, n ≥ 1, where R0 is arbitrary and (Qn,Mn), n ≥ 1, are i.i.d. copies of a twodimensional random vector (Q, M), and (Qn,Mn) is independent of Rn−1. It is well known that if ElnM  < 0andEln +Q  < ∞, then the ∏ k−1 j=1 Mj,and sequence (Rn) converges in distribution to a random variable R given by R d = ∑ ∞ k=1 Qk usually referred to as perpetuity. In this paper we consider a situation in which the sequence (Rn) itself does not converge. We assume that ElnM  exists but that it is nonnegative and we ask if in this situation the sequence (Rn), after suitable normalization, converges in distribution to a nondegenerate limit.