Close
Register
Close Window

BM40A1500 Data Structures and Algorithms

Chapter 4 Recursion and Binary Trees

Show Source |    | About   «  4.2. Writing a recursive function   ::   Contents   ::   4.4. Binary Trees  »

4.3. Tracing Recursive Code

When writing a recursive function, you should think in a top-down manner. Do not worry about how the recursive call solves the sub-problem. Simply accept that it will solve it correctly. Use this result as though you had called some library function, to correctly solve the original problem.

When you have to read or trace a recursive function, then you do need to consider how the function is doing its work. Tracing a few recursive functions is a great way to learn how recursion behaves. But after you become comfortable with tracing, you will rarely need to work through so many details again. You will begin to develop confidence about how recursion works.

You know that information can be passed in (using a function parameter) from one recursive call to another, on ever smaller problems, until a base case is reached in the winding phase. Then, a return value is passed back as the series of recursive calls unwinds. Sometimes people forget about the “unwinding” phase.

Settings

Proficient Saving... Error Saving
Server Error
Resubmit

During the winding phase, any parameter passed through the recursive call flows forward until the base case is reached. During the unwinding phase, the return value of the function (if there is one) flows backwards to the calling copy of the function. In the following example, a recursive function to compute factorial has information flowing forward during the winding phase, and backward during the unwinding phase.

Settings

Proficient Saving... Error Saving
Server Error
Resubmit

The recursive function may have information flow for more than one parameter. For example, a recursive function that sums the values in an array recursively may pass the array itself and the index through the recursive call in the winding phase and returns back the summed value so far in the unwinding phase.

Settings

Proficient Saving... Error Saving
Server Error
Resubmit

4.3.1. A Domino Analogy

Settings

Proficient Saving... Error Saving
Server Error
Resubmit

This recursive model for the domino effect can be used as a template for the solution to all linear recursive functions. Think of tipping over each domino as performing a further step of computation toward the final solution. Remember these rules:

1. Since the first domino has to be tipped over manually, the solution for the base case is computed non-recursively.

2. Before any given domino can be tipped over, all preceding dominos have to be tipped over.

4.3.2. Towers of Hanoi

Here is another example of recursion, based on a famous puzzle called “Towers of Hanoi”. The natural algorithm to solve this problem has multiple recursive calls. It cannot be rewritten easily using loops. “Towers of Hanoi” comes from an ancient Vietnamese legend. A group of monks is tasked with moving a tower of 64 disks of different sizes according to certain rules. The legend says that, when the monks will have finished moving all of the disks, the world will end.

The Towers of Hanoi puzzle begins with three poles and \(n\) rings, where all rings start on the leftmost pole (labeled Pole A). The rings each have a different size, and are stacked in order of decreasing size with the largest ring at the bottom, as shown in part (a) of the figure. The problem is to move the rings from the leftmost pole to the middle pole (labeled Pole B) in a series of steps. At each step the top ring on some pole is moved to another pole. What makes this puzzle interesting is the limitation on where rings may be moved: A ring may never be moved on top of a smaller ring.

How can you solve this problem? It is easy if you don’t think too hard about the details. Instead, consider that all rings are to be moved from Pole A to Pole B. It is not possible to do this without first moving the bottom (largest) ring to Pole B. To do that, Pole B must be empty, and only the bottom ring can be on Pole A. The remaining \(n-1\) rings must be stacked up in order on Pole C, as shown in part (b) of the figure. How can you do this? Assume that a function \(X\) is available to solve the problem of moving the top \(n-1\) rings from Pole A to Pole C. Then move the bottom ring from Pole A to Pole B. Finally, again use function \(X\) to move the remaining \(n-1\) rings from Pole C to Pole B. In both cases, “function \(X\)” is simply the Towers of Hanoi function called on a smaller version of the problem.

The secret to success is relying on the Towers of Hanoi algorithm to do the work for you. You need not be concerned about the gory details of how the Towers of Hanoi subproblem will be solved. That will take care of itself provided that two things are done. First, there must be a base case (what to do if there is only one ring) so that the recursive process will not go on forever. Second, the recursive call to Towers of Hanoi can only be used to solve a smaller problem, and then only one of the proper form (one that meets the original definition for the Towers of Hanoi problem, assuming appropriate renaming of the poles).

Here is an implementation for the recursive Towers of Hanoi algorithm. Function move(start, goal) takes the top ring from Pole start and moves it to Pole goal. If move were to print the values of its parameters, then the result of calling TOHr would be a list of ring-moving instructions that solves the problem.

# Compute the moves to solve a Tower of Hanoi puzzle.
# Function move does (or prints) the actual move of a disk
# from one pole to another.
# n: The number of disks
# start: The start pole
# goal: The goal pole
# temp: The other pole
def TOHr(n, start, goal, temp):
    if n == 0: return             # Base case
    TOHr(n-1, start, temp, goal)  # Recursive call: n-1 rings
    move(start, goal)             # Move bottom disk to goal
    TOHr(n-1, temp, goal, start)  # Recursive call: n-1 rings

This next slideshow explains the solution to the Towers of Hanoi problem.

Settings

Proficient Saving... Error Saving
Server Error
Resubmit

   «  4.2. Writing a recursive function   ::   Contents   ::   4.4. Binary Trees  »

nsf
Close Window