Chapter 4

Sorting

Applications of Sorting: Numbers

4.1. The Grinch is given the job of partitioning [math]\displaystyle{ 2n }[/math] players into two teams of [math]\displaystyle{ n }[/math] players each. Each player has a numerical rating that measures how good he or she is at the game. The Grinch seeks to divide the players as unfairly as possible, so as to create the biggest possible talent imbalance between the teams. Show how the Grinch can do the job in [math]\displaystyle{ O(n log n) }[/math] time.

Solution

4.2. For each of the following problems, give an algorithm that finds the desired numbers within the given amount of time. To keep your answers brief, feel free to use algorithms from the book as subroutines. For the example, [math]\displaystyle{ S = {6, 13, 19, 3, 8} }[/math], 19 - 3 maximizes the difference, while 8 - 6 minimizes the difference.

(a) Let [math]\displaystyle{ S }[/math] be an unsorted array of [math]\displaystyle{ n }[/math] integers. Give an algorithm that finds the pair [math]\displaystyle{ x, y \in S }[/math] that maximizes [math]\displaystyle{ |x-y| }[/math]. Your algorithm must run in [math]\displaystyle{ O(n) }[/math] worst-case time.

(b) Let [math]\displaystyle{ S }[/math] be a sorted array of [math]\displaystyle{ n }[/math] integers. Give an algorithm that finds the pair [math]\displaystyle{ x, y \in S }[/math] that maximizes [math]\displaystyle{ |x - y| }[/math]. Your algorithm must run in [math]\displaystyle{ O(1) }[/math] worst-case time.

(c) Let [math]\displaystyle{ S }[/math] be an unsorted array of [math]\displaystyle{ n }[/math] integers. Give an algorithm that finds the pair [math]\displaystyle{ x, y \in S }[/math] that minimizes [math]\displaystyle{ |x - y| }[/math], for [math]\displaystyle{ x \neq y }[/math]. Your algorithm must run in [math]\displaystyle{ O(n log n) }[/math] worst-case time.

(d) Let [math]\displaystyle{ S }[/math] be a sorted array of [math]\displaystyle{ n }[/math] integers. Give an algorithm that finds the pair [math]\displaystyle{ x, y \in S }[/math] that minimizes [math]\displaystyle{ |x - y| }[/math], for [math]\displaystyle{ x \neq y }[/math]. Your algorithm must run in [math]\displaystyle{ O(n) }[/math] worst-case time.

4.3. Take a list of [math]\displaystyle{ 2n }[/math] real numbers as input. Design an [math]\displaystyle{ O(n log n) }[/math] algorithm that partitions the numbers into [math]\displaystyle{ n }[/math] pairs, with the property that the partition minimizes the maximum sum of a pair. For example, say we are given the numbers (1,3,5,9). The possible partitions are ((1,3),(5,9)), ((1,5),(3,9)), and ((1,9),(3,5)). The pair sums for these partitions are (4,14), (6,12), and (10,8). Thus, the third partition has 10 as its maximum sum, which is the minimum over the three partitions.

Solution

4.4. Assume that we are given [math]\displaystyle{ n }[/math] pairs of items as input, where the first item is a number and the second item is one of three colors (red, blue, or yellow). Further assume that the items are sorted by number. Give an [math]\displaystyle{ O(n) }[/math] algorithm to sort the items by color (all reds before all blues before all yellows) such that the numbers for identical colors stay sorted.

For example: (1,blue), (3,red), (4,blue), (6,yellow), (9,red) should become (3,red), (9,red), (1,blue), (4,blue), (6,yellow).

4.5. The mode of a bag of numbers is the number that occurs most frequently in the set. The set {4, 6, 2, 4, 3, 1} has a mode of 4. Give an efficient and correct algorithm to compute the mode of a bag of [math]\displaystyle{ n }[/math] numbers.

Solution

4.6. Given two sets [math]\displaystyle{ S_1 }[/math] and [math]\displaystyle{ S_2 }[/math] (each of size [math]\displaystyle{ n }[/math]), and a number [math]\displaystyle{ x }[/math], describe an [math]\displaystyle{ O(n log n) }[/math] algorithm for finding whether there exists a pair of elements, one from [math]\displaystyle{ S_1 }[/math] and one from [math]\displaystyle{ S_2 }[/math], that add up to [math]\displaystyle{ x }[/math]. (For partial credit, give a [math]\displaystyle{ \Theta(n^2) }[/math] algorithm for this problem.)

4.7. Give an efficient algorithm to take the array of citation counts (each count is a non-negative integer) of a researcher’s papers, and compute the researcher’s [math]\displaystyle{ h }[/math]-index. By definition, a scientist has index [math]\displaystyle{ h }[/math] if [math]\displaystyle{ h }[/math] of his or her [math]\displaystyle{ n }[/math] papers have been cited at least [math]\displaystyle{ h }[/math] times, while the other [math]\displaystyle{ n-h }[/math] papers each have no more than [math]\displaystyle{ h }[/math] citations.

Solution

4.8. Outline a reasonable method of solving each of the following problems. Give the order of the worst-case complexity of your methods.

(a) You are given a pile of thousands of telephone bills and thousands of checks sent in to pay the bills. Find out who did not pay.

(b) You are given a printed list containing the title, author, call number, and publisher of all the books in a school library and another list of thirty publishers. Find out how many of the books in the library were published by each company.

(c) You are given all the book checkout cards used in the campus library during the past year, each of which contains the name of the person who took out the book. Determine how many distinct people checked out at least one book.

4.9. Given a set [math]\displaystyle{ S }[/math] of [math]\displaystyle{ n }[/math] integers and an integer [math]\displaystyle{ T }[/math], give an [math]\displaystyle{ O(n^{k-1}log n) }[/math] algorithm to test whether [math]\displaystyle{ k }[/math] of the integers in [math]\displaystyle{ S }[/math] add up to [math]\displaystyle{ T }[/math].

Solution

4.10. We are given a set of [math]\displaystyle{ S }[/math] containing [math]\displaystyle{ n }[/math] real numbers and a real number [math]\displaystyle{ x }[/math], and seek efficient algorithms to determine whether two elements of [math]\displaystyle{ S }[/math] exist whose sum is exactly [math]\displaystyle{ x }[/math].

(a) Assume that [math]\displaystyle{ S }[/math] is unsorted. Give an [math]\displaystyle{ O(n log n) }[/math] algorithm for the problem.

(b) Assume that [math]\displaystyle{ S }[/math] is sorted. Give an [math]\displaystyle{ O(n) }[/math] algorithm for the problem.

4.11. Design an [math]\displaystyle{ O(n) }[/math] algorithm that, given a list of [math]\displaystyle{ n }[/math] elements, finds all the elements that appear more than [math]\displaystyle{ n/2 }[/math] times in the list. Then, design an [math]\displaystyle{ O(n) }[/math] algorithm that, given a list of [math]\displaystyle{ n }[/math] elements, finds all the elements that appear more than [math]\displaystyle{ n/4 }[/math] times.

Solution

Applications of Sorting: Intervals and Sets

4.12. Give an efficient algorithm to compute the union of sets [math]\displaystyle{ A }[/math] and [math]\displaystyle{ B }[/math], where [math]\displaystyle{ n = max(|A|, |B|) }[/math]. The output should be an array of distinct elements that form the union of the sets.

(a) Assume that [math]\displaystyle{ A }[/math] and [math]\displaystyle{ B }[/math] are unsorted arrays. Give an [math]\displaystyle{ O(n log n) }[/math] algorithm for the problem.

(b) Assume that [math]\displaystyle{ A }[/math] and [math]\displaystyle{ B }[/math] are sorted arrays. Give an [math]\displaystyle{ O(n) }[/math] algorithm for the problem.

4.13. A camera at the door tracks the entry time [math]\displaystyle{ a_i }[/math] and exit time [math]\displaystyle{ b_i }[/math] (assume [math]\displaystyle{ b_i \gt a_i }[/math]) for each of [math]\displaystyle{ n }[/math] persons [math]\displaystyle{ p_i }[/math] attending a party. Give an [math]\displaystyle{ O(n log n) }[/math] algorithm that analyzes this data to determine the time when the most people were simultaneously present at the party. You may assume that all entry and exit times are distinct (no ties).

Solution

4.14. Given a list [math]\displaystyle{ I }[/math] of [math]\displaystyle{ n }[/math] intervals, specified as [math]\displaystyle{ (x_i, y_i) }[/math] pairs, return a list where the overlapping intervals are merged. For [math]\displaystyle{ I = {(1, 3),(2, 6),(8, 10),(7, 18)} }[/math] the output should be [math]\displaystyle{ {(1, 6),(7, 18)} }[/math]. Your algorithm should run in worst-case [math]\displaystyle{ O(n log n) }[/math] time complexity.

4.15. You are given a set [math]\displaystyle{ S }[/math] of [math]\displaystyle{ n }[/math] intervals on a line, with the [math]\displaystyle{ i }[/math]th interval described by its left and right endpoints [math]\displaystyle{ (l_i, r_i) }[/math]. Give an [math]\displaystyle{ O(n log n) }[/math] algorithm to identify a point [math]\displaystyle{ p }[/math] on the line that is in the largest number of intervals.

As an example, for [math]\displaystyle{ S = {(10, 40),(20, 60),(50, 90),(15, 70)} }[/math] no point exists in all four intervals, but [math]\displaystyle{ p = 50 }[/math] is an example of a point in three intervals. You can assume an endpoint counts as being in its interval.

Solution

4.16. You are given a set [math]\displaystyle{ S }[/math] of [math]\displaystyle{ n }[/math] segments on the line, where segment [math]\displaystyle{ S_i }[/math] ranges from [math]\displaystyle{ l_i }[/math] to [math]\displaystyle{ r_i }[/math]. Give an efficient algorithm to select the fewest number of segments whose union completely covers the interval from 0 to [math]\displaystyle{ m }[/math].

Heaps

4.17

4.18

4.19

4.20

Quicksort

4.21

4.22

4.23

4.24

4.25

4.26

4.27

Mergesort

4.28

4.29

4.30

Other Sorting Alogrithims

4.31

4.32

4.33

4.34

4.35

4.36

4.37

4.38

Lower Bounds

4.39

4.40

Searching

4.41

4.42

Implementaion Challenges

4.43

4.44

4.45

4.46

Interview Problems

4.47

4.48

4.49

4.50

4.51

4.52

4.53

Back to Chapter List