Data Structures and Algorithms with Object-Oriented Design Patterns in C#
next up previous contents index

Binary Search

We can improve the performance of the M-way search tree search algorithm by recognizing that since the keys are kept in a sorted array, we can do a binary search rather than a linear search. Program gif gives an alternate implementation for the Find method of the MWayTree class. This method makes use of the FindIndex method which does the actual binary search.

   program20886
Program: MWayTree class FindIndex and Find methods (binary search).

The FindIndex method as its argument a ComparableObject, say x, and returns an int in the range between 0 and n-1, where n is the number of subtrees of the given node. The result is the largest integer i, if it exists, such that tex2html_wrap_inline64641 where tex2html_wrap_inline63523 is the tex2html_wrap_inline57621 key. Otherwise, it returns the value 0.

FindIndex determines its result by doing a binary search. In the worst case, tex2html_wrap_inline64649 iterations of the main loop (lines 14-21) are required to determine the correct index. One object comparison is done before the loop (line 10) and one comparison is done in each loop iteration (line 17). Therefore, the running time of the FindIndex method is

displaymath64625

If tex2html_wrap_inline63929, this simplifies to tex2html_wrap_inline64653.

The Find method of the MWayTree class does the actual search. It calls FindIndex to determine largest integer i, if it exists, such that tex2html_wrap_inline64641 where tex2html_wrap_inline63523 is the tex2html_wrap_inline57621 key (line 29). If it turns out that tex2html_wrap_inline64663, then the search is finished (lines 30-31). Otherwise, Find calls itself recursively to search subtree tex2html_wrap_inline62605 (line 33).

Consider a search in an M-way search tree. The running time of the second version of Find is

displaymath64626

where h is the height of the tree and regardless of whether the search is successful. If the tree is balanced and tex2html_wrap_inline63929, then the running time of Program gif is simply tex2html_wrap_inline64673, where K is the number of keys in the tree.


next up previous contents index

Bruno Copyright © 2001 by Bruno R. Preiss, P.Eng. All rights reserved.