- Binary search tree
In
computer science , a binary search tree (BST) is abinary tree data structure which has the following properties:
*each node (item in the tree) has a value;
*atotal order (linear order) is defined on these values;
*the left subtree of a node contains only values less than the node's value;
*the right subtree of a node contains only values greater than or equal to the node's value.The major advantage of binary search trees over other data structures is that the related
sorting algorithm s andsearch algorithm s such asin-order traversal can be very efficient.Binary search trees can choose to allow or disallow duplicate values, depending on the implementation.
Binary search trees are a fundamental
data structure used to construct more abstract data structures such as sets,multiset s, andassociative array s.Operations
Operations on a binary tree require comparisons between nodes. These comparisons are made with calls to a
comparator , which is asubroutine that computes the total order (linear order) on any two values. This comparator can be explicitly or implicitly defined, depending on the language in which the BST is implemented.earching
Searching a binary tree for a specific value can be a recursive or iterative process. This explanation covers a recursive method.
We begin by examining the root node. If the tree is null, the value we are searching for does not exist in the tree. Otherwise, if the value equals the root, the search is successful. If the value is less than the root, search the left subtree. Similarly, if it is greater than the root, search the right subtree. This process is repeated until the value is found or the indicated subtree is null. If the searched value is not found before a null subtree is reached, then the item must not be present in the tree.
Here is the search algorithm in the Python programming language:
This operation requires O(log "n") time in the average case, but needs O("n") time in the worst-case, when the unbalanced tree resembles a
linked list (degenerate tree).Insertion
Insertion begins as a search would begin; if the root is not equal to the value, we search the left or right subtrees as before. Eventually, we will reach an external node and add the value as its right or left child, depending on the node's value. In other words, we examine the root and recursively insert the new node to the left subtree if the new value is less than the root, or the right subtree if the new value is greater than or equal to the root.
Here's how a typical binary search tree insertion might be performed in C++:
The above "destructive" procedural variant modifies the tree in place. It uses only constant space, but the previous version of the tree is lost. Alternatively, as in the following Python example, we can reconstruct all ancestors of the inserted node; any reference to the original tree root remains valid, making the tree a
persistent data structure :The part that is rebuilt uses Θ(log "n") space in the average case and Ω("n") in the worst case (see
big-O notation ).In either version, this operation requires time proportional to the height of the tree in the worst case, which is O(log "n") time in the average case over all trees, but Ω("n") time in the worst case.
Another way to explain insertion is that in order to insert a new node in the tree, its value is first compared with the value of the root. If its value is less than the root's, it is then compared with the value of the root's left child. If its value is greater, it is compared with the root's right child. This process continues, until the new node is compared with a leaf node, and then it is added as this node's right or left child, depending on its value.
There are other ways of inserting nodes into a binary tree, but this is the only way of inserting nodes at the leaves and at the same time preserving the BST structure.
Deletion
There are several cases to be considered:
* Deleting a leaf: Deleting a node with no children is easy, as we can simply remove it from the tree.
* Deleting a node with one child: Delete it and replace it with its child.
* Deleting a node with two children: Suppose the node to be deleted is called "N". We replace the value of N with either its in-order successor (the left-most child of the right subtree) or the in-order predecessor (the right-most child of the left subtree).
Once we find either the in-order successor or predecessor, swap it with N, and then delete it. Since both the successor and the predecessor must have fewer than two children, either one can be deleted using the previous two cases. A good implementation avoids consistently using one of these nodes, however, because this can unbalance the tree.
Here is
C++ sample code for a destructive version of deletion. (We assume the node to be deleted has already been located usingsearch
.)Although this operation does not always traverse the tree down to a leaf, this is always a possibility; thus in the worst case it requires time proportional to the height of the tree. It does not require more even when the node has two children, since it still follows a single path and does not visit any node twice.
Here is the code in Python:
Traversal
Once the binary search tree has been created, its elements can be retrieved in order by recursively traversing the left subtree of the root node, accessing the node itself, then recursively traversing the right subtree of the node, continuing this pattern with each node in the tree as it's recursively accessed. The tree may also be traversed in pre-order or post-order traversals.
Traversal requires Ω("n") time, since it must visit every node. This algorithm is also O("n"), and so it is
asymptotically optimal .ort
A binary search tree can be used to implement a simple but efficient
sorting algorithm . Similar toheapsort , we insert all the values we wish to sort into a new ordered data structure — in this case a binary search tree — and then traverse it in order, building our result:The worst-case time of
build_binary_tree
is — if you feed it a sorted list of values, it chains them into alinked list with no left subtrees. For example,build_binary_tree( [1, 2, 3, 4, 5] )
yields the tree(None, 1, (None, 2, (None, 3, (None, 4, (None, 5, None)))))
.There are several schemes for overcoming this flaw with simple binary trees; the most common is the
self-balancing binary search tree . If this same procedure is done using such a tree, the overall worst-case time is O("n"log "n"), which isasymptotically optimal for acomparison sort . In practice, the poor cache performance and added overhead in time and space for a tree-based sort (particularly for node allocation) make it inferior to other asymptotically optimal sorts such asheapsort for static list sorting. On the other hand, it is one of the most efficient methods of "incremental sorting", adding items to a list over time while keeping the list sorted at all times.Example for a Binary Search Tree in Python:
Types of binary search trees
There are many types of binary search trees.
AVL tree s andred-black tree s are both forms ofself-balancing binary search tree s. Asplay tree is a binary search tree that automatically moves frequently accessed elements nearer to the root. In atreap ("tree heap"), each node also holds a priority and the parent node has higher priority than its children.Two other titles describing binary search trees are that of a complete and degenerate tree.
A complete tree is a tree with n levels, where for each level d <= n - 1, the number of existing nodes at level d is equal to 2d. This means all possible nodes exist at these levels. An additional requirement for a complete binary tree is that for the nth level, while every node does not have to exist, the nodes that do exist must fill from left to right.
A degenerate tree is a tree where for each parent node, there is only one associated child node. What this means is that in a performance measurement, the tree will essentially behave like a linked list data structure.
Performance comparisons
D. A. Heger (2004) [ Citation | title=A Disquisition on The Performance Behavior of Binary Search Tree Data Structures | first1=Dominique A. | last1=Heger | year=2004 | journal=European Journal for the Informatics Professional | volume=5 | number=5 | url=http://www.upgrade-cepis.org/issues/2004/5/up5-5Mosaic.pdf ] presented a performance comparison of binary search trees.
Treap was found to have the best average performance, whilered-black tree was found to have the smallest amount of performance fluctuations.Optimal binary search trees
If we don't plan on modifying a search tree, and we know exactly how often each item will be accessed, we can construct an optimal binary search tree, which is a search tree where the average cost of looking up an item (the "expected search cost") is minimized.
Assume that we know the elements and that for each element, we know the proportion of future lookups which will be looking for that element. We can then use a
dynamic programming solution, detailed in section 15.5 of "Introduction to Algorithms (Second Edition)" by Thomas H. Cormen, to construct the tree with the least possible expected search cost.Even if we only have estimates of the search costs, such a system can considerably speed up lookups on average. For example, if you have a BST of English words used in a
spell checker , you might balance the tree based on word frequency in text corpora, placing words like "the" near the root and words like "agerasia" near the leaves. Such a tree might be compared withHuffman tree s, which similarly seek to place frequently-used items near the root in order to produce a dense information encoding; however, Huffman trees only store data elements in leaves and these elements need not be ordered.If we do not know the sequence in which the elements in the tree will be accessed in advance, we can use
splay tree s which are asymptotically as good as any static search tree we can construct for any particular sequence of lookup operations.Alphabetic trees are Huffman trees with the additional constraint on order, or, equivalently, search trees with the modification that all elements are stored in the leaves. Faster algorithms exist for optimal alphabetic binary trees (OABTs).
Example:
procedure Optimum Search Tree(f, f´, c) for j = 0 to n do c [j, j] = 0, F [j, j] = f´j for d = 1 to n do for i = 0 to (n − d) do j = i + d F [i, j] = F [i, j − 1] + f´ + f´j c [i, j] = MIN(iee also
*Binary search
*Binary tree
*Self-balancing binary search tree
*Randomized binary search tree
*B-tree
*Data structure
*Trie
*Ternary search tree
*Hash table
*Skip list References
Further reading
*
Donald Knuth . "The Art of Computer Programming", Volume 3: "Sorting and Searching", Third Edition. Addison-Wesley, 1997. ISBN 0-201-89685-0. Section 6.2.2: Binary Tree Searching, pp.426–458.
*Thomas H. Cormen ,Charles E. Leiserson ,Ronald L. Rivest , andClifford Stein . "Introduction to Algorithms ", Second Edition. MIT Press and McGraw-Hill, 2001. ISBN 0-262-03293-7. Chapter 12: Binary search trees, pp.253–272. Section 15.5: Optimal binary search trees, pp.356–363.External links
* [http://jdserver.homelinux.org/wiki/index.php/Binary_Search_Tree Full source code to an efficient implementation in C++]
* [http://www.24bytes.com/Binary-Search-Tree.html Implementation of Binary Search Trees in Java]
* [http://www.goletas.com/solutions/collections/ Iterative Implementation of Binary Search Trees in C#]
* [http://cslibrary.stanford.edu/110/ An introduction to binary trees from Stanford]
* [http://www.nist.gov/dads/HTML/binarySearchTree.html Dictionary of Algorithms and Data Structures - Binary Search Tree]
* [http://aspn.activestate.com/ASPN/Cookbook/Python/Recipe/286239 Binary Search Tree Example in Python]
* [http://webpages.ull.es/users/jriera/Docencia/AVL/AVL%20tree%20applet.htm Java Model illustrating the behaviour of binary search trees(In JAVA Applet)]
* [http://nova.umuc.edu/~jarc/idsv/lesson1.html Interactive Data Structure Visualizations - Binary Tree Traversals]
* [http://en.literateprograms.org/Category:Binary_search_tree Literate implementations of binary search trees in various languages] on LiteratePrograms
* [http://people.ksp.sk/~kuko/bak/index.html BST Tree Applet] by Kubo Kovac
Wikimedia Foundation. 2010.
Self-balancing binary search tree — In computer science, a self balancing binary search tree or height balanced binary search tree is a binary search tree that attempts to keep its height , or the number of levels of nodes beneath the root, as small as possible at all times,… … Wikipedia
Randomized binary search tree — A randomized binary search tree (abbreviated RBST, also known as Cartesian tree) is a type of binary search tree, with data nodes organizedas in a normal binary search tree. Each node has also an access priority, namely p(n) which is chosen in a… … Wikipedia
Binary search algorithm — for performing binary searches on Java arrays and Lists, respectively. They must be arrays of primitives, or the arrays or Lists must be of a type that implements the Comparable interface, or you must specify a custom Comparator object. Microsoft … Wikipedia
search tree — noun A tree (data structure) set up to facilitate searching. Google came up with a red black tree, a balanced binary search tree that has quite fast insert and delete operations and is always sorted … Wiktionary
Ternary search tree — In computer science, a ternary search tree (trie,TST) is a ternary (three way) tree data structure which combines the time efficiency of digital tries with the space efficiency of binary search trees. The resulting structure is faster than… … Wikipedia
Binary tree — Not to be confused with B tree. A simple binary tree of size 9 and height 3, with a root node whose value is 2. The above tree is unbalanced and not sorted. In computer science, a binary tree is a tree data structure in which each node has at… … Wikipedia
Tree traversal — Graph and tree search algorithms Alpha beta pruning A* B* Beam Bellman–Ford algorithm Best first Bidirectional … Wikipedia
Tree (data structure) — A simple unordered tree; in this diagram, the node labeled 7 has two children, labeled 2 and 6, and one parent, labeled 2. The root node, at the top, has no parent. In computer science, a tree is a widely used data structure that emulates a… … Wikipedia
Search algorithm — In computer science, a search algorithm, broadly speaking, is an algorithm that takes a problem as input and returns a solution to the problem, usually after evaluating a number of possible solutions. Most of the algorithms studied by computer… … Wikipedia
Tree rotation — A tree rotation is an operation on a binary search tree that changes the structure without interfering with the order of the elements. A tree rotation moves one node up in the tree and one node down. They are used to change the shape of the tree … Wikipedia