攘• 攘 Name: Wisc ID:
CS 577: Introduction to Algorithms Homework 7 Out: 03/23/21 Due: 03/30/21
-_-
Ground Rules
• Answer the questions in the boxes provided on the question sheets. If you run out of room for an answer, add a page to the end of the document. Do not feel obligated to fill the entire solution box. The size of the box does not correspond to the intended solution length.
• The homework is to be done and submitted individually. You may discuss the homework with others in either section but you must write up the solution on your own.
• Youarenotallowedtoconsultanymaterialoutsideofassignedtextbooksandmaterialtheinstructorspostonthe course websites. In particular, consulting the internet will be considered plagiarism and penalized appropriately.
• The homework is due at 11:59 PM CT on the due date. No extensions to the due date will be given under any circumstances.
• Homework must be submitted electronically on Gradescope. Problem 1
You are a police officer trying to crack a case. You want to check whether an important file is in the evidence room. Files have IDs that are positive integers and the evidence room contains n files in sorted order of their IDs. Unfortunately, you do not have direct access to the evidence room; the only one who has access is Randy, who is corrupt and wants to make things hard for you. In the following we assume that x is the file ID you are looking for.
1. You know that the evidence room is organized as a sorted list of n elements. If Randy was not corrupt you would probably do binary search by asking him to give you the median file of the list. Unfortunately, you can only give Randy two indices l, u and he returns to you a file with index chosen uniformly at random from the range {l,…,u}. That is you can call
RANDY(l, u) = (i, ai), where i is a uniformly random integer chosen from l, . . . , u inclusive and ai is the ID of the corresponding file.
You solve the problem by doing something similar to binary search. You start by calling RANDY(1, n). Let’s assume that Randy returns (i, ai). You compare x to ai.
• If x = ai you found the file you were looking for. • Ifx
You continue recursively until you have either found the file or conclude that the file is not present in the evidence room.
1
Show that the above algorithm accesses O(log n) files in expectation before it terminates.
2
2. With his trick in the previous question Randy was not able to slow you down very much1. Now he decides to disallow “range” queries as above and only allows either sequential access to the files or access to a uniformly random file from the entire set. In particular, you now have two ways of accessing the list:
• By looking at a uniformly random element of the list. That is by calling
RANDY() = ai, where i is chosen uniformly at random from 1, . . . , n, inclusive.
Observe that you only receive the file ID, not the index of the file.
• By asking Randy to give you the file directly following one he returned to you in some previous call. For example if you first call RANDY() and get back ai you are allowed to call NEXT(ai) and get back ai+1. Note that the list wraps around, so that NEXT(an) returns a1. If you haven’t already obtained ai in some previous call you may not call NEXT(ai).
To facilitate analyzing this setting, think of the files as being organized in the form of a circular sorted linked list where every file points to the one with the next higher ID.
(a) As a warm up, let us analyze the following setting. You are given a circle of unit circumference. You pick k points on the circle independently and uniformly at random and snip the circle at those points, obtaining k different arcs. Determine the expected length of any single arc.
(Hint: Note that the length of each arc is identically distributed, so each has the same expectation. What is the sum of their expectations?)
1This randomized binary search is in expectation roughly as fast as the usual deterministic one. 3
(b) Develop a randomized algorithm for finding the file with ID x that makes at most O(pn) calls to the functions NEXT() and RANDY() in expectation and always returns the correct answer. Analyze the running time of the algorithm. A proof of correctness is not necessary.
(Hint: Your algorithm will perform some random accesses and some amount of linear search. Use part (a) to analyze the number of steps in the linear search)
4