Divide and Conquer

Binary Search

5.1. Suppose you are given a sorted array [math]\displaystyle{ A }[/math] of size n that has been circularly shifted [math]\displaystyle{ k }[/math] positions to the right. For example, [35, 42, 5, 15, 27, 29] is a sorted array that has been circularly shifted [math]\displaystyle{ k = 2 }[/math] positions, while [27, 29, 35, 42, 5, 15] has been shifted [math]\displaystyle{ k = 4 }[/math] positions.

• Suppose you know what [math]\displaystyle{ k }[/math] is. Give an [math]\displaystyle{ O(1) }[/math] algorithm to find the largest number in [math]\displaystyle{ A }[/math].

• Suppose you do not know what [math]\displaystyle{ k }[/math] is. Give an [math]\displaystyle{ O(lg n) }[/math] algorithm to find the largest number in [math]\displaystyle{ A }[/math]. For partial credit, you may give an [math]\displaystyle{ O(n) }[/math] algorithm.

Solution

5.2. A sorted array of size n contains distinct integers between [math]\displaystyle{ 1 }[/math] and [math]\displaystyle{ n + 1 }[/math] , with one element missing. Give an [math]\displaystyle{ O(log n) }[/math] algorithm to find the missing integer, without using any extra space.

5.3 Consider the numerical Twenty Questions game. In this game, the first player thinks of a number in the range 1 to [math]\displaystyle{ n }[/math]. The second player has to figure out this number by asking the fewest number of true/false questions. Assume that nobody cheats.

(a) What is an optimal strategy if [math]\displaystyle{ n }[/math] in known?

(b) What is a good strategy if [math]\displaystyle{ n }[/math] is not known?

Solution

5.4. You are given a unimodal array of [math]\displaystyle{ n }[/math] distinct elements, meaning that its entries are in increasing order up until its maximum element, after which its elements are in decreasing order. Give an algorithm to compute the maximum element of a unimodal array that runs in [math]\displaystyle{ O(log n) }[/math] time.

5.5. Suppose that you are given a sorted sequence of distinct integers [math]\displaystyle{ [a_1, a_2, . . . , a_n] }[/math]. Give an [math]\displaystyle{ O(lg n) }[/math] algorithm to determine whether there exists an index [math]\displaystyle{ i }[/math] such that [math]\displaystyle{ a_i = i }[/math]. For example, in [-10, -3, 3, 5, 7], [math]\displaystyle{ a_3 = 3 }[/math]. In [2, 3, 4, 5, 6, 7], there is no such [math]\displaystyle{ i }[/math].

Solution

5.6. Suppose that you are given a sorted sequence of distinct integers [math]\displaystyle{ a = [a_1, a_2, . . . , a_n] }[/math], drawn from 1 to [math]\displaystyle{ m }[/math] where [math]\displaystyle{ n \lt m }[/math]. Give an [math]\displaystyle{ O(lg n) }[/math] algorithm to find an integer [math]\displaystyle{ \leq m }[/math] that is not present in [math]\displaystyle{ a }[/math]. For full credit, find the smallest such integer [math]\displaystyle{ x }[/math] such that [math]\displaystyle{ 1 \leq x \leq m }[/math].

5.7. Let [math]\displaystyle{ M }[/math] be an [math]\displaystyle{ n * m }[/math] integer matrix in which the entries of each row are sorted in increasing order (from left to right) and the entries in each column are in increasing order (from top to bottom). Give an efficient algorithm to find the position of an integer [math]\displaystyle{ x }[/math] in [math]\displaystyle{ M }[/math], or to determine that [math]\displaystyle{ x }[/math] is not there. How many comparisons of [math]\displaystyle{ x }[/math] with matrix entries does your algorithm use in worst case?

Solution