QuickXsort: A Fast Sorting Scheme in Theory and Practice

Edelkamp, Stefan, Weiss, Armin and Wild, Sebastian ORCID: 0000-0002-6061-9177
(2020) QuickXsort: A Fast Sorting Scheme in Theory and Practice. ALGORITHMICA, 82 (3). pp. 509-588.

[img] Text
1811.01259v1.pdf - Submitted version

Download (4MB) | Preview


QuickXsort is a highly efficient in-place sequential sorting scheme that mixes Hoare's Quicksort algorithm with X, where X can be chosen from a wider range of other known sorting algorithms, like Heapsort, Insertionsort and Mergesort. Its major advantage is that QuickXsort can be in-place even if X is not. In this work we provide general transfer theorems expressing the number of comparisons of QuickXsort in terms of the number of comparisons of X. More specifically, if pivots are chosen as medians of (not too fast) growing size samples, the average number of comparisons of QuickXsort and X differ only by $o(n)$-terms. For median-of-$k$ pivot selection for some constant $k$, the difference is a linear term whose coefficient we compute precisely. For instance, median-of-three QuickMergesort uses at most $n \lg n - 0.8358n + O(\log n)$ comparisons. Furthermore, we examine the possibility of sorting base cases with some other algorithm using even less comparisons. By doing so the average-case number of comparisons can be reduced down to $n \lg n- 1.4106n + o(n)$ for a remaining gap of only $0.0321n$ comparisons to the known lower bound (while using only $O(\log n)$ additional space and $O(n \log n)$ time overall). Implementations of these sorting strategies show that the algorithms challenge well-established library implementations like Musser's Introsort.

Item Type: Article
Uncontrolled Keywords: Sorting, Quicksort, Mergesort, Heapsort, QuickMergesort, QuickHeapsort, Average-case analysis, Recurrence, Continuous master theorem, Variance, MergeInsertion
Depositing User: Symplectic Admin
Date Deposited: 15 Aug 2019 14:40
Last Modified: 15 Mar 2024 16:14
DOI: 10.1007/s00453-019-00634-0
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3051857