| CSC 161.01 | Grinnell College | Fall, 2019 |
![]() |
CSC 161.01
Imperative Problem Solving with Lab |
![]() |
This reading introduces the concept of a tree data structure, describes a binary search tree as a specific type of tree, and considers how such a tree structure might be implemented in Java.
A general tree is defined recursively as follows:
If I is a data element and if T1, T2, T3, ..., Tn are n trees, then
is also a tree.
I is called the root or root node, and each Ti is called a subtree of the tree. Nodes that have only null subtrees are called leaves or leaf nodes.
Since this definition is recursive, it may be applied multiple times to construct more complex trees, such as the one shown below:
In this example, e, k, l, m, n, h, o, p, and q are leaves (or trees with null subtrees); a is the root of the overall tree. f is the root of a tree with k and l as subtrees, etc. Similarly, b is the root of a tree with two subtrees, one containing e and one containing f, k, and l.
A binary search tree or BST is a special type of tree, in which
A schematic view of such a tree follows:
The implementation of a binary search tree in Java follows a similar approach to the implementation of lists in either C or Java. First, we consider each data element in a tree to be an object of a TreeNode class. Then we define a BSTree class which combines the nodes into an overall structure.
For a binary search tree (or any binary tree, for that matter), each node will contain data, and each node will have a left and right field to designate the relevant subtrees — although either or both of the subtrees could be null. Thus, a TreeNode should have fields data, left, and right, together with constructors and methods to access and modify these fields.
For the most part, the code for TreeNode can be parallel to QueueNode from the lab on queues with singly-linked lists. However, binary search trees require that nodes conform to a special ordering — all nodes in a left subtree must have data smaller than in a root node, while all nodes in a right subtree must have larger (or equal) data. In order to maintain this property throughout the tree, we must be able to test the relative ordering of data. That is, the data stored in a TreeNode must implement the Comparable interface.
Class TreeNode shows a typical declaration for such a node class.
Before implementing any class, we must identify the appropriate operations. Some common operations for a Binary Search Tree class include:
In the following discussion, we outline an algorithm for several of these operations, sometimes describing an iterative approach and sometimes using recursiion; often either iteration or recursion could be used for these operations.
For our implementation, we also need an image of how a BSTree class will package tree information. Again, we use the discussion of lists as a model — considering various tree nodes to point to their subtrees within the BSTree. Thus, the BSTree class itself only need specify the initial node or root. Thus, the first binary search tree identified in this lab might be annotated as follows as a BSTree object:
Class BSTree implements a binary search tree, including several methods already identified.
The reader is encouraged to review various elements of the code in conjunction with the following commentary on the various methods.
As with lists, an initial binary search tree will be empty. This may be implemented by setting the root field to null.
Searching in a binary search tree proceeds downward from the root. Following the recursive patterns that are familiar from Scheme, we identify the following cases:
A recursive algorithm starts at the root and applies the following steps for each node:
The above sequence of events is called an in-order traversal of a tree. Similarly, printing the data at the node, then the left subtree, and then the right subtree is called a pre-order traversal. Printing the data in the node last gives a post-order traversal.
For variety, we use an iterative approach to insert entries into a tree. To start, a simple base case checks whether the tree is empty. If so, a new node is generated, initialized with the relevant data, and identified as the new root.
To understand the rest of the insertion process, consider the insertion of the number 153 into the following tree (which repeats the tree given above).
To insert 153, we start at the top of the tree. Checking that 153 comes after the value in the root (123), we advance to the right subtree. We now check that 153 comes before 285, so we advance to the left subtree of 285. Again, we compare 153 with value 185, and realize we should move left. Here, however, we discover there are no further nodes. Thus, we create a new node, place 153 in that node, and identify the new node as the left child of 185's node.
In the code for insert, the variable ptr keeps track of where we are as we work downward node-by-node from the root. To test if an item (newEntry for the BSTree code) comes before the value in a node, we use the following sequence:
To illustrate the use of a binary tree structure, consider the application of developing a campus directory that contains both students and faculty. In this context, directory information might be stored in an Entry class with two subclasses, Student and Faculty:
This class hierarchy allows students and faculty to be intermixed within a campus directory. For efficiency in searching the directory for a name, the entries will be stored in a binary search tree (class BSTree). This requires the Entry class to implement Comparable. A simple implementation of these classes is reasonably straight forward:
With this framework, class DirectoryBST illustrates how a binary search tree might be used (with class BSTree) to store and retrieve information with a campus directory.
In this application, note that a user would search a directory by name, and a successful search would return additional information about the individual.
|
created 18 April 2000 revised 24 March 2005 revised 5 April 2012 modest editing 22 April 2012 |
|
| For more information, please contact Henry M. Walker at walker@cs.grinnell.edu. |