CSC 344
Homework 3

Assigned Mar 19, due Apr 9

Problems from the textbook
Making change

Consider the problem of making change using pennies, nickels, dimes, and quarters (i.e. coin values 1, 5, 10, 25).

  1. Give a greedy algorithm (in pseudocode) which, for any specified number of cents, makes that amount of change with as few coins as possible. (1 point)

  2. The aforementioned greedy algorithm works fine in the U.S, but it doesn't necessarily work with other coin values. Give an example of a set of coin values for which the aforementioned greedy algorithm does not choose the fewest possible coins. (1 point)

  3. Extra credit: What properties of a set of coin values would guarantee that the greedy algorithm works? (2 more points)

Fast exponentiation

Write and analyze an algorithm which, given two numbers a and n, computes an. You may assume that n is a non-negative integer. A brute-force approach to this takes O(n) time; give me a significantly more efficient solution. (2 points)

Pegs and holes

You are given a board with n holes of various sizes drilled in it, and n bolts to be inserted into them. You are guaranteed that there is a bolt exactly matching the size of each hole, but none of the bolts or holes are labelled, and you don't have a measuring device, nor any way to compare two holes or two pegs together. The only thing you can do is try a peg in a hole to learn whether it's too large, too small, or just right.

Give an algorithm to match each bolt to the appropriate hole, in time O(n log(n)). (3 points)

A curly problem

Consider the following sorting algorithm:

stooge-sort (A, i, j) {
   if A[i] > A[j]
      swap A[i] and A[j]
   if i+1 ≥ j
      return
   let k = floor((j-i+1)/3)     // one third the length, rounded down
   stooge-sort (A, i, j-k)      // sort first two thirds
   stooge-sort (A, i+k, j)      // sort last two thirds
   stooge-sort (A, i, j-k)      // sort first two thirds again
  1. Convince me that the algorithm correctly sorts the elements of A from position i to j inclusive. (2 points)
  2. Give and solve a recurrence for its worst-case run-time, writing the result in θ notation.
    Compare this running time with that of the other sorting algorithms you've seen. Is it a good algorithm? (1 point)

Chip testing

An electronic chip is designed in such a manner that any two chips can be connected to test one another; each chip reports whether the other one is good or bad. A good chip always reports correctly whether the other chip is good or bad, but a bad chip's report cannot be trusted. Thus there are four possible outcomes:
Chip A saysChip B saysConclusion
B is goodA is goodEither both are good, or both are bad
B is goodA is badA (and possibly B) is bad
B is badA is goodB (and possibly A) is bad
B is badA is badAt least one is bad

  1. Suppose more than half of the n chips are good. Describe an algorithm you could use to reduce the problem to one of at most approximately n/2 size, using approximately n/2 tests. (Note: the new problem must still satisfy the assumption that more than half of the chips are good, or it doesn't count as the same problem.)
  2. Still assuming that more than half of the n chips are good, describe an algorithm to find exactly which chips are good, using θ(n) tests. (This will require stating and solving a recurrence.)
  3. Assume that at least half of the chips are bad. Convince me (i.e. "prove") that under these circumstances, there is no way to tell which ones are good and which are bad. Hint: imagine that the bad chips are all controlled by a single malevolent demon who's trying to lead you to a wrong answer. Describe an algorithm this demon could use to fool you, no matter what algorithm you use.
Programming:

Implement, test, and debug either the coin-changing algorithm or the fast-exponentiation algorithm (from above) in a real programming language.

The part of the program that does the real work should be callable from other parts of the program, e.g. with known test cases or to actually use the results for some other purpose.


Last modified: Mon Mar 19 10:22:05 EDT 2007
Stephen Bloch / sbloch@adelphi.edu