Ordered Maps Binary Search Trees

<
2 1 6 9 4 = 8

Keys are assumed to come from a total order. New operations:

firstEntry(): entry with smallest key value null lastEntry(): entry with largest key value floorEntry(k):entry with largest key k ceilingEntry(k): entry with smallest key k

>

These operations return null if the map is empty

Binary Search Trees 2

2010 Goodrich, Tamassia

Binary Search Trees

2010 Goodrich, Tamassia

Binary Search
Binary search can perform operations get, floorEntry and ceilingEntry on an ordered map implemented by means of an array-based sequence, sorted by key

Search Tables
A search table is an ordered map implemented by means of a sorted sequence

similar to the high-low game at each step, the number of candidate items is halved terminates after O(log n) steps
1 1 1 1 3 3 4 4 4 5 5 5 7 7 8 9 9 9 9 11 11 11 11 14 14 14 14 16 16 16 16 18 18 18 18 3 19

We store the items in an array-based sequence, sorted by key We use an external comparator for the keys get, floorEntry and ceilingEntry take O(log n) time, using binary search get takes O(n) time since in the worst case we have to shift n/2 items to make room for the new item remove take O(n) time since in the worst case we have to shift n/2 items to compact the items after the removal

Performance:

Example: find(7)
0

l
0

m
8 8 8

h
19 19 19

l
0 0

m
3 3

h
7

l
4

m
5

h
7

The lookup table is effective only for dictionaries of small size or for dictionaries on which searches are the most common operations, while insertions and removals are rarely performed (e.g., credit card authorizations)
2010 Goodrich, Tamassia Binary Search Trees 4

l=m =h
2010 Goodrich, Tamassia Binary Search Trees

Binary Search Trees

A binary search tree is a binary tree storing keys (or key-value entries) at its internal nodes and satisfying the following property:

Search
To search for a key k, we trace a downward path starting at the root The next node visited depends on the comparison of k with the key of the current node If we reach a leaf, the key is not found Example: get(4):

An inorder traversal of a binary search trees visits the keys in increasing order
6
2 1 4 8 9

Let u, v, and w be three nodes such that u is in the left subtree of v and w is in the right subtree of v. We have key(u) key(v) key(w)

Algorithm TreeSearch(k, v) if T.isExternal (v) return v if k < key(v) return TreeSearch(k, T.left(v)) else if k = key(v) return v else { k > key(v) } return TreeSearch(k, T.right(v))

<
2 1

6 9 4 = 8

Call TreeSearch(4,root)

External nodes do not store items

2010 Goodrich, Tamassia Binary Search Trees 5

The algorithms for floorEntry and ceilingEntry are similar

2010 Goodrich, Tamassia

>

Binary Search Trees

Insertion
To perform operation put(k, o), we search for key k (using TreeSearch) Assume k is not already in the tree, and let w be the leaf reached by the search We insert k at node w and expand w into an internal node Example: insert 5
1

Deletion
<
2 1 6 9 4

> > w
6 8

2 4 8

w
5

To perform operation remove(k), we search for key k Assume key k is in the tree, and let let v be the node storing k If node v has a leaf child w, we remove v and w from the tree with operation removeExternal(w), which removes w and its parent Example: remove 4

<
2 1

6 9

>
4 v 8 5

6 2 1 5 8 9

2010 Goodrich, Tamassia

Binary Search Trees

2010 Goodrich, Tamassia

Binary Search Trees

Deletion (cont.)
We consider the case where the key k to be removed is stored at a node v whose children are both internal

Performance
1 3 2 6 8 9

we find the internal node w that follows v in an inorder traversal we copy key(w) into node v we remove node w and its left child z (which must be a leaf) by means of operation removeExternal(z)

w z
1

Consider an ordered map with n items implemented by means of a binary search tree of height h

v
5
2 6 8 9

the space used is O(n) methods get, floorEntry, ceilingEntry, put and remove take O(h) time

Example: remove 3

The height h is O(n) in the worst case and O(log n) in the best case
2010 Goodrich, Tamassia Binary Search Trees 10

2010 Goodrich, Tamassia

Binary Search Trees