The **tree** ADT stores elements hierarchically.
There is a distinguished **root** node. All other nodes
have a **parent** of which they are a
**child**. We use nodes and positions interchangeably
for trees.

The definition above precludes an empty tree. This is a matter of taste some authors permit empty trees, others do not.

Some more definitions.

- Nodes with the same parent are called
**siblings**. - A node without children is called
**external**by the authors. Also common is to call such nodes**leaves**. - A node with children is called
**internal**. - An
**ancestor**of a node is either the node itself or an ancestor of the parent of the node. This says that the ancestors include the node, the node's parent, the parent's parent, ... up to the root. - A node v is a
**descendent**of a node u if v is an ancestor of u. - The
**subtree rooted**at v is the tree consisting of all the descendents of v. - A tree is
**ordered**if there is a linear ordering of the children of each node. That is, there is a first child, a second child, etc. - A
**binary**tree is one in which all nodes have at most two children. - A
**proper**binary tree is one in which no node has exactly one child. This means that all internal nodes have two children. - In a binary tree we label each child as either a
**left child**or as a**right child**. - The subtree routed at the left child of v is called the
**left subtree**of v. - Similarly we define the
**right subtree**of v. - The
**depth**of a node is the number of ancestors not including the node itself. - The
**height**of a node is the length of a longest path to a leaf. - The
**height**of a tree is the height of the root.

We order the children of a binary tree so that the left child comes before the right child.

There are many examples of trees. You learned tree-structured file
systems in 202. However, despite what the book says, for Unix/Linux
at least the file system does *not* form a tree (due to hard
and symbolic links).

These notes can be thought of as a tree with nodes corresponding to the chapters, sections, subsections, etc.

Games like chess are analyzed in terms of trees. The root is the current position. For each node its children are the positions resulting from the possible moves. Chess playing programs often limit the depth so that the number of examined moves is not too large.

The leaves are constants or variables and the internal nodes are binary arithmetic operations (+,-,*,/). The tree is a proper ordered binary tree (since we are considering binary operators). The value of a leaf is the value of the constant or variable. The value of an internal node is obtained by applying the operator to the values of the children (in order).

Evaluate an arithmetic expression tree on the board.

**Homework:** R-2.2, but made easier by replacing 21
by 10. If you wish you can do the problem in the book instead (I
think it is harder).

We have three **accessor methods** (i.e., methods that
permit us to access the nodes of the tree.

- root(): Return the root of the tree.
- parent(v): Return the parent of the node v. Error if v is the root.
- children(v): Return an iterator of the children of v (in order if the tree is ordered).

We have four **query methods** that test status.

- isInternal(v): Tests if v is internal.
- isLeaf(v): Tests if v is a leaf.
- isExternal(v): Same as isLeaf(v).
- isRoot(v): Tests if v is the root.

Finally **generic methods** that are useful but not
related to the tree structure.

- size(): Return the number of nodes
- elements(): Return an iterator of all the elements stored in nodes (in no particular order).
- positions: Return an iterator of all the nodes of the tree (nodes of a tree correspond to position in a linked list).
- swapElements(v,w): Swap the elements in nodes v and w.
- replaceElement(v,e): Replace with e and return the element stored at v.

**Traversing** a tree is a systematic method for
accessing or "visiting" each node. We will see and analyze three tree
traversal algorithms, inorder, preorder, and postorder. They differ in
when we visit an internal node relative to its children. In
preorder we visit the node first, in postorder we visit it last, and
in inorder, which is only defined for binary trees, we visit the node
between visiting the left and right children.

**Recursion will be a very big deal in traversing
trees!!**

On the right are three trees. The left one just has a root, the right has a root with one leaf as a child, and the middle one has six nodes. For each node, the element in that node is shown inside the box. All three roots are labeled and 2 other nodes are also labeled. That is, we give a name to the position, e.g. the left most root is position v. We write the name of the position under the box. We call the left tree T0 to remind us it has height zero. Similarly the other two are labeled T2 and T1 respectively.

Our goal in this motivation is to calculate the sum the elements in all the nodes of each tree. The answers are, from left to right, 8, 28, and 9.

For a start, lets write an algorithm called treeSum0 that calculates the sum for trees of height zero. In fact the algorithm, will contain two parameters, the tree and a node (position) in that tree, and our algorithm will calculate the sum in the subtree rooted at the given position assuming the position is at height 0. Note this is trivial: since the node has height zero, it has no children and the sum desired is simply the element in this node. So legal invocations would include treeSum0(T0,s) and treeSum0(T2,t). Illegal invocations would include treeSum0(T0,t) and treeSum0(T1,r).

Algorithm treeSum0(T,v) Inputs: T a tree; v a height 0 node of T Output: The sum of the elements of the subtree routed at v Sum←v.element() return Sum

Now lets write treeSum1(T,v), which calculates the sum for a node at height 1. It will use treeSum0 to calculate the sum for each child.

Algorithm treeSum1(T,v) Inputs: T a tree; v a height 1 node of T Output: the sum of the elements of the subtree routed at v Sum←v.element() for each child c of v Sum←Sum+treeSum0(T,c) return Sum

OK. How about height 2?

Algorithm treeSum2(T,v) Inputs: T a tree; v a height 2 node of T Output: the sum of the elements of the subtree routed at v Sum←v.element() for each child c of v Sum←Sum+treeSum0(T,c) return Sum

So all we have to do is to write treeSum3, treSum4, ... , where treSum3 invokes treeSum2, treeSum4 invokes treeSum3, ... .

That would be, literally, an infinite amount of work.

Do a diff of treeSum1 and treeSum2.

What do you find are the differences.

In the Algorithm line and in the first comment a 1 becomes a 2.

Why can't we write treeSumI and let I vary?

Because it is illegal to have a varying name for an algorithm.

The solution is to make the I a parameter and write

Algorithm treeSum(i,T,v) Inputs: i≥0; T a tree; v a height i node of T Output: the sum of the elements of the subtree routed at v Sum←v.element() for each child c of v Sum←Sum+treeSum(i-1,T,c) return Sum

This is **wrong**, why?

Because treeSum(0,T,v) invokes treeSum(-1,c,v), which doesn't
exist because i<0

But treeSum(0,T,v) doesn't have to call anything since v can't have any children (the height of v is 0). So we get

Algorithm treeSum(i,T,v) Inputs: i≥0; T a tree; v a height i node of T Output: the sum of the elements of the subtree routed at v Sum←v.element() if i>0 then for each child c of v Sum←Sum+treeSum(i-1,T,c) return Sum

The last two algorithms are recursive; they call themselves. Note that when treeSum(3,T,v) calls treeSum(2,T,c), the new treeSum has new variables Sum and c.

We are pretty happy with our treeSum routine, but ...

The algorithm is **wrong!** Why?

The children of a height i node need not all be of height i-1.
For example s is hight 2, but its left child w is height 0.

But the only real use we are making of i is to prevent us from recursing when we are at a leaf (the i>0 test). But we can use isInternal instead, giving our final algorithm

Algorithm treeSum(T,v) Inputs: T a tree; v a node of T Output: the sum of the elements of the subtree routed at v Sum←v.element() if T.isInternal(v) then for each child c of v Sum←Sum+treeSum(T,c) return Sum