Skip to main content
\(\newcommand{\identity}{\mathrm{id}} \newcommand{\notdivide}{{\not{\mid}}} \newcommand{\notsubset}{\not\subset} \newcommand{\lcm}{\operatorname{lcm}} \newcommand{\gf}{\operatorname{GF}} \newcommand{\inn}{\operatorname{Inn}} \newcommand{\aut}{\operatorname{Aut}} \newcommand{\Hom}{\operatorname{Hom}} \newcommand{\cis}{\operatorname{cis}} \newcommand{\chr}{\operatorname{char}} \newcommand{\Null}{\operatorname{Null}} \renewcommand{\vec}[1]{\mathbf{#1}} \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&} \)

Section10.4Binary Trees

Subsection10.4.1Definition of a binary tree

An ordered rooted tree is a rooted tree whose subtrees are put into a definite order and are, themselves, ordered rooted trees. An empty tree and a single vertex with no descendants (no subtrees) are ordered rooted trees.

Example10.4.1Distinct Ordered Rooted Trees

The trees in Figure 10.4.2 are identical rooted trees, with root 1, but as ordered trees, they are different.

Two different ordered rooted trees
Figure10.4.2Two different ordered rooted trees

If a tree rooted at \(v\) has \(p\) subtrees, we would refer to them as the first, second,..., \(p^{th}\) subtrees. If we restrict the number of subtrees of each vertex to be less than or equal to two, we have a binary ordered tree. There is a subtle difference between binary ordered trees and binary trees, which we define next.

Definition10.4.3Binary Tree

  1. A tree consisting of no vertices (the empty tree) is a binary tree

  2. A vertex together with two subtrees that are both binary trees is a binary tree. The subtrees are called the left and right subtrees of the binary tree.

The difference between binary trees and binary ordered trees is that every vertex of a binary tree has exactly two subtrees (one or both of which may be empty), while a vertex of an ordered tree may have any number of subtrees. The two trees in Figure 10.4.4 would be considered identical as ordered trees; however, they are different binary trees. Tree (a) has an empty right subtree and Tree (b) has an empty left subtree.

Two different binary trees
Figure10.4.4Two different binary trees
List10.4.5Terminology and General Facts about Binary Trees
  1. A vertex of a binary tree with two empty subtrees is called a leaf. All other vertices are called \textit{ internal vertices}.

  2. The number of leaves in a binary tree can vary from one up to roughly half the number of vertices in the tree (see Exercise 4 of this section).

  3. The maximum number of vertices at level \(k\) of a binary tree is \(2^k\) , \(k\geq 0\) (see Exercise 6 of this section).

  4. A full binary tree is a tree for which each vertex has either zero or two empty subtrees. In other words, each vertex has either two or zero children. See Exercise 10.4.6.7 of this section for a general fact about full binary trees.

Subsection10.4.2Traversals of Binary Trees

The traversal of a binary tree consists of visiting each vertex of the tree in some prescribed order. Unlike graph traversals, the consecutive vertices that are visited are not always connected with an edge. The most common binary tree traversals are differentiated by the order in which the root and its subtrees are visited. The three traversals are best described recursively and are:

Preorder Traversal:

  1. Visit the root of the tree.

  2. Preorder traverse the left subtree.

  3. Preorder traverse the right subtree.

Inorder Traversal:

  1. Inorder traverse the left subtree.

  2. Visit the root of the tree.

  3. Inorder traverse the right subtree.

Postorder Traversal:

  1. Postorder traverse the left subtree.

  2. Postorder traverse the right subtree.

  3. Visit the root of the tree.

Any traversal of an empty tree consists of doing nothing.

Example10.4.6Traversal Examples

For the tree in Figure 10.4.7, the orders in which the vertices are visited are:

  • A-B-D-E-C-F-G, for the preorder traversal.

  • D-B-E-A-F-C-G, for the inorder traversal.

  • D-E-B-F-G-C-A, for the postorder traversal.

A Complete Binary Tree to Level 2
Figure10.4.7A Complete Binary Tree to Level 2

Binary Tree Sort. Given a collection of integers (or other objects than can be ordered), one technique for sorting is a binary tree sort. If the integers are \(a_1\), \(a_2, \ldots \), \(a_n\), \(n\geq 1\), we first execute the following algorithm that creates a binary tree:

If the integers to be sorted are 25, 17, 9, 20, 33, 13, and 30, then the tree that is created is the one in Figure 10.4.9. The inorder traversal of this tree is 9, 13, 17, 20, 25, 30, 33, the integers in ascending order. In general, the inorder traversal of the tree that is constructed in the algorithm above will produce a sorted list. The preorder and postorder traversals of the tree have no meaning here.

Binary Sorting Tree
Figure10.4.9A Binary Sorting Tree

Subsection10.4.3Expression Trees

A convenient way to visualize an algebraic expression is by its expression tree. Consider the expression \[X = a*b - c/d + e.\] Since it is customary to put a precedence on multiplication/divisions, \(X\) is evaluated as \(((a*b) -(c/d)) + e\). Consecutive multiplication/divisions or addition/subtractions are evaluated from left to right. We can analyze \(X\) further by noting that it is the sum of two simpler expressions \((a*b) - (c/d)\) and \(e\). The first of these expressions can be broken down further into the difference of the expressions \(a*b\) and \(c/d\). When we decompose any expression into \((\textrm{left expression})\textrm{operation} (\textrm{right expression})\), the expression tree of that expression is the binary tree whose root contains the operation and whose left and right subtrees are the trees of the left and right expressions, respectively. Additionally, a simple variable or a number has an expression tree that is a single vertex containing the variable or number. The evolution of the expression tree for expression \(X\) appears in Figure 10.4.10.

Building an Expression Tree
Figure10.4.10Building an Expression Tree
Example10.4.11Some Expression Trees

  1. If we intend to apply the addition and subtraction operations in \(X\) first, we would parenthesize the expression to \(a*(b - c)/(d + e)\). Its expression tree appears in Figure 10.4.12(a).

  2. The expression trees for \(a^2-b^2\) and for \((a + b)*(a - b)\) appear in Figure 10.4.12(b) and Figure 10.4.12(c).

Expression Tree Examples
Figure10.4.12Expression Tree Examples

The three traversals of an operation tree are all significant. A binary operation applied to a pair of numbers can be written in three ways. One is the familiar infix form, such as \(a + b\) for the sum of \(a\) and \(b\text{.}\) Another form is prefix, in which the same sum is written \(+a b\). The final form is postfix, in which the sum is written \(a b+\). Algebraic expressions involving the four standard arithmetic operations \((+,-,*, \text{and} /)\) in prefix and postfix form are defined as follows:

List10.4.13Prefix and postfix forms of an algebraic expression
Prefix

  1. A variable or number is a prefix expression

  2. Any operation followed by a pair of prefix expressions is a prefix expression.

Postfix

  1. A variable or number is a postfix expression

  2. Any pair of postfix expressions followed by an operation is a postfix expression.

The connection between traversals of an expression tree and these forms is simple:

  1. The preorder traversal of an expression tree will result in the prefix form of the expression.

  2. The postorder traversal of an expression tree will result in the postfix form of the expression.

  3. The inorder traversal of an operation tree will not, in general, yield the proper infix form of the expression. If an expression requires parentheses in infix form, an inorder traversal of its expression tree has the effect of removing the parentheses.

Example10.4.14Traversing an Expression Tree

The preorder traversal of the tree in Figure 10.4.10 is \(+-*ab/cd e\), which is the prefix version of expression \(X\text{.}\) The postorder traversal is \(ab*cd/-e+\). Note that since the original form of \(X\) needed no parentheses, the inorder traversal, \(a*b-c/d+e\), is the correct infix version.

Subsection10.4.4Counting Binary Trees

We close this section with a formula for the number of different binary trees with \(n\) vertices. The formula is derived using generating functions. Although the complete details are beyond the scope of this text, we will supply an overview of the derivation in order to illustrate how generating functions are used in advanced combinatorics.

Let \(B(n)\) be the number of different binary trees of size \(n\) (\(n\) vertices), \(n \geq 0\). By our definition of a binary tree, \(B(0) = 1\). Now consider any positive integer \(n + 1\), \(n \geq 0\). A binary tree of size \(n + 1\) has two subtrees, the sizes of which add up to \(n\text{.}\) The possibilities can be broken down into \(n + 1\) cases:

Case 0: Left subtree has size 0; right subtree has size \(n\text{.}\)

Case 1: Left subtree has size 1; right subtree has size \(n - 1\).

\(\quad \quad \)\(\vdots\)

Case \(k\text{:}\) Left subtree has size \(k\text{;}\) right subtree has size \(n - k\).

\(\quad \quad \)\(\vdots\)

Case \(n\text{:}\) Left subtree has size \(n\text{;}\) right subtree has size 0.

In the general Case \(k\text{,}\) we can count the number of possibilities by multiplying the number of ways that the left subtree can be filled, \(B(k)\), by the number of ways that the right subtree can be filled. \(B(n-k)\). Since the sum of these products equals \(B(n + 1)\), we obtain the recurrence relation for \(n\geq 0\): \begin{equation*} \begin{split} B(n+1) &= B(0)B(n)+ B(1)B(n-1)+ \cdots + B(n)B(0)\\ &=\sum_{k=0}^n B(k) B(n-k) \end{split} \end{equation*}

Now take the generating function of both sides of this recurrence relation: \begin{gather} \sum_{n=0}^{\infty } B(n+1) z^n= \sum_{n=0}^{\infty } \left(\sum_{k=0}^n B(k) B(n-k)\right)z^n\label{mrow-36}\tag{10.4.1} \end{gather} or \begin{gather} G(B\uparrow ; z) = G(B*B; z) = G(B; z) ^2\label{mrow-37}\tag{10.4.2} \end{gather}

Recall that \(G(B\uparrow;z) =\frac{G(B;z)-B(0)}{z}=\frac{G(B;z)-1}{z}\) If we abbreviate \(G(B; z)\) to \(G\), we get \[\frac{G-1}{z}= G^2 \Rightarrow z G^2- G + 1 = 0\] Using the quadratic equation we find two solutions: \begin{gather} G_1 = \frac{1+\sqrt{1-4 z}}{2z} \textrm{ and}\label{mrow-38}\tag{10.4.3}\\ G_2 = \frac{1-\sqrt{1-4 z}}{2z}\label{mrow-39}\tag{10.4.4} \end{gather}

The gap in our deviation occurs here since we don't presume calculus. If we expand \(G_1\) as an extended power series, we find \begin{gather} G_1 = \frac{1+\sqrt{1-4 z}}{2z}=\frac{1}{z}-1-z-2 z^2-5 z^3-14 z^4-42 z^5+\cdots\label{mrow-40}\tag{10.4.5} \end{gather}

The coefficients after the first one are all negative and there is singularity at 0 because of the \(\frac{1}{z}\) term. However if we do the same with \(G_2\) we get \begin{gather} G_2= \frac{1-\sqrt{1-4 z}}{2z} = 1+z+2 z^2+5 z^3+14 z^4+42 z^5+\cdots\label{mrow-41}\tag{10.4.6} \end{gather}

Further analysis leads to a closed form expression for \(B(n)\), which is \[B(n) = \frac{1}{n+1}\left( \begin{array}{c} 2n \\ n \\ \end{array} \right)\] This sequence of numbers is often called the Catalan numbers. For more information on the Catalan numbers, see the entry A000108 in The On-Line Encyclopedia of Integer Sequences.

Subsection10.4.5Sage Note - Power Series

It may be of interest to note how the extended power series expansions of \(G_1\) and \(G_2\) are determined using Sage. In Sage, one has the capability of being very specific about how algebraic expressions should be interpreted by specifying the underlying ring. This can make working with various algebraic expressions a bit more confusing to the beginner. Here is how to get a Laurent expansion for \(G_1\) above.

The first Sage expression above declares a structure called a ring that contains power series. We are not using that whole structure, just a specific element, G1. So the important thing about this first input is that it establishes z as being a variable associated with power series over the integers. When the second expression defines the value of G1 in terms of z, it is automatically converted to a power series.

The expansion of \(G_2\) uses identical code, and it's coefficients are the values of \(B(n)\).

In Chapter 16 we will introduce rings and will be able to take further advantage of Sage's capabilities in this area.

Subsection10.4.6Exercises for Section 10.4

1

Draw the expression trees for the following expressions:

  1. \(a(b + c)\)

  2. \(a b + c\)

  3. \(a b + a c\)

  4. \(b b - 4 a c\)

  5. \(\left(\left(a_3 x + a_2\right)x +a_1\right)x + a_0\)

Answer
2

Draw the expression trees for

  1. \(\frac{x^2-1}{x-1}\)

  2. \(x y + x z + y z\)

3

Write out the preorder, inorder, and postorder traversals of the trees in Exercise 1 above.

Answer
4

Verify the formula for \(B(n)\), \(0 \leq n \leq 3\) by drawing all binary trees with three or fewer vertices.

5

  1. Draw a binary tree with seven vertices and only one leaf.

  2. (b) Draw a binary tree with seven vertices and as many leaves as possible.

Answer
6

Prove that the maximum number of vertices at level \(k\) of a binary tree is \(2^k\) and that a tree with that many vertices at level \(k\) must have \(2^{k+1}-1\) vertices.

7

Prove that if \(T\) is a full binary tree, then the number of leaves of \(T\) is one more than the number of internal vertices (non-leaves).

Answer
8

Use Sage to determine the sequence whose generating function is \(G(z) =\frac{1}{(1-z)^3}\)