Skip to main content
Engineering LibreTexts

11.3: Discussion and Exercises

  • Page ID
    8483
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    Sorting is the fundamental algorithmic problem in computer science, and it has a long history. Knuth [48] attributes the merge-sort algorithm to von Neumann (1945). Quicksort is due to Hoare [39]. The original heap-sort algorithm is due to Williams [78], but the version presented here (in which the heap is constructed bottom-up in \(O(\mathtt{n})\) time) is due to Floyd [28]. Lower-bounds for comparison-based sorting appear to be folklore. The following table summarizes the performance of these comparison-based algorithms:

    comparisons in-place
    Merge-sort \(\mathtt{n}\log \mathtt{n}\) worst-case No
    Quicksort \(1.38\mathtt{n}\log \mathtt{n}\) \({}+ O(\mathtt{n})\) expected Yes
    Heap-sort \(2\mathtt{n}\log \mathtt{n}\) \({}+ O(\mathtt{n})\) worst-case Yes

    Each of these comparison-based algorithms has its advantages and disadvantages. Merge-sort does the fewest comparisons and does not rely on randomization. Unfortunately, it uses an auxilliary array during its merge phase. Allocating this array can be expensive and is a potential point of failure if memory is limited. Quicksort is an in-place algorithm and is a close second in terms of the number of comparisons, but is randomized, so this running time is not always guaranteed. Heap-sort does the most comparisons, but it is in-place and deterministic.

    There is one setting in which merge-sort is a clear-winner; this occurs when sorting a linked-list. In this case, the auxiliary array is not needed; two sorted linked lists are very easily merged into a single sorted linked-list by pointer manipulations (see Exercise \(\PageIndex{2}\)).

    The counting-sort and radix-sort algorithms described here are due to Seward [68, Section 2.4.6]. However, variants of radix-sort have been used since the 1920s to sort punch cards using punched card sorting machines. These machines can sort a stack of cards into two piles based on the existence (or not) of a hole in a specific location on the card. Repeating this process for different hole locations gives an implementation of radix-sort.

    Finally, we note that counting sort and radix-sort can be used to sort other types of numbers besides non-negative integers. Straightforward modifications of counting sort can sort integers, in any interval \(\{a,\ldots,b\}\), in \(O(\mathtt{n}+b-a)\) time. Similarly, radix sort can sort integers in the same interval in \(O(\mathtt{n}(\log_{\mathtt{n}}(b-a))\) time. Finally, both of these algorithms can also be used to sort floating point numbers in the IEEE 754 floating point format. This is because the IEEE format is designed to allow the comparison of two floating point numbers by comparing their values as if they were integers in a signed-magnitude binary representation [2].

    Exercise \(\PageIndex{1}\)

    Illustrate the execution of merge-sort and heap-sort on an input array containing \(1,7,4,6,2,8,3,5\). Give a sample illustration of one possible execution of quicksort on the same array.

    Exercise \(\PageIndex{2}\)

    Implement a version of the merge-sort algorithm that sorts a DLList without using an auxiliary array. (See Exercise 3.4.13.)

    Exercise \(\PageIndex{3}\)

    Some implementations of \(\mathtt{quickSort(a,i,n,c)}\) always use \(\mathtt{a[i]}\) as a pivot. Give an example of an input array of length \(\mathtt{n}\) in which such an implementation would perform \(\binom{\mathtt{n}}{2}\) comparisons.

    Exercise \(\PageIndex{4}\)

    Some implementations of \(\mathtt{quickSort(a,i,n,c)}\) always use \(\mathtt{a[i+n/2]}\) as a pivot. Given an example of an input array of length \(\mathtt{n}\) in which such an implementation would perform \(\binom{\mathtt{n}}{2}\) comparisons.

    Exercise \(\PageIndex{5}\)

    Show that, for any implementation of \(\mathtt{quickSort(a,i,n,c)}\) that chooses a pivot deterministically, without first looking at any values in \(\mathtt{a[i]},\ldots,\mathtt{a[i+n-1]}\), there exists an input array of length \(\mathtt{n}\) that causes this implementation to perform \(\binom{\mathtt{n}}{2}\) comparisons.

    Exercise \(\PageIndex{6}\)

    Design a Comparator, \(\mathtt{c}\), that you could pass as an argument to \(\mathtt{quickSort(a,i,n,c)}\) and that would cause quicksort to perform \(\binom{\mathtt{n}}{2}\) comparisons. (Hint: Your comparator does not actually need to look at the values being compared.)

    Exercise \(\PageIndex{7}\)

    Analyze the expected number of comparisons done by Quicksort a little more carefully than the proof of Theorem 11.1.3. In particular, show that the expected number of comparisons is \(2\mathtt{n}H_\mathtt{n} -\mathtt{n} + H_\mathtt{n}\).

    Exercise \(\PageIndex{8}\)

    Describe an input array that causes heap sort to perform at least \(2\mathtt{n}\log \mathtt{n}-O(\mathtt{n})\) comparisons. Justify your answer.

    Exercise \(\PageIndex{9}\)

    The heap sort implementation described here sorts the elements into reverse sorted order and then reverses the array. This last step could be avoided by defining a new Comparator that negates the results of the input Comparator, \(\mathtt{c}\). Explain why this would not be a good optimization. (Hint: Consider how many negations would need to be done in relation to how long it takes to reverse the array.)

    Exercise \(\PageIndex{10}\)

    Find another pair of permutations of \(1,2,3\) that are not correctly sorted by the comparison tree in Figure 11.1.6.

    Exercise \(\PageIndex{11}\)

    Prove that \(\log \mathtt{n}! = \mathtt{n}\log \mathtt{n}-O(\mathtt{n})\).

    Exercise \(\PageIndex{12}\)

    Prove that a binary tree with \(k\) leaves has height at least \(\log k\).

    Exercise \(\PageIndex{13}\)

    Prove that, if we pick a random leaf from a binary tree with \(k\) leaves, then the expected height of this leaf is at least \(\log k\).

    Exercise \(\PageIndex{14}\)

    The implementation of \(\mathtt{radixSort(a,k)}\) given here works when the input array, \(\mathtt{a}\) contains only non-negative integers. Extend this implementation so that it also works correctly when \(\mathtt{a}\) contains both negative and non-negative integers.


    This page titled 11.3: Discussion and Exercises is shared under a CC BY license and was authored, remixed, and/or curated by Pat Morin (Athabasca University Press) .

    • Was this article helpful?