数据结构专题——二叉查找树

一、二叉查找树(Binary Search Tree)

名称

二叉搜索树(Binary Search Tree) 有序二叉树（Ordered Binary Tree) 已排序二叉树（Sorted Binary Tree)
二叉查找树能够实现动态查找。

二叉树性质

• 若任意节点的左子树不空，则左子树上所有结点的值均小于它的根结点的值；
• 若任意节点的右子树不空，则右子树上所有结点的值均大于它的根结点的值；
• 任意节点的左、右子树也分别为二叉查找树；
• 没有键值相等的结点；

重要特性

设树高度为h,结点数为n,关键字key,结点x的左孩子为x.left，右孩子为x.right，双亲为x.p

遍历

按中序遍历二叉查找树，可以得到一个关键字递增或递减的有序序列。
遍历时间复杂度:O(n)

伪代码(获得递增序列)

INORDER-TREE-WALK(x)
if x != NULL
    INORDER-TREE-WALK(x.left)
    print x.key
    INORDER-TREE-WALK(x.right)

---

查找

在二叉查找树中查找给定关键字的结点。
查找时间复杂度：O(h）

伪代码（采用迭代方式）

TREE-SEARCH(x,k)
while x != NULL and x.key != k
    if k < x.left
        x = x.left
    else
        x = x.right
return x

---

最大关键字元素和最小关键字元素

获得二叉查找树中的最小关键字或最大关键字的结点
时间复杂度：O(h)

(与《算法导论》不同，这里不假设给定结点不为NIL)
伪代码(最小关键字结点)

TREE-MINIMUM(x)
while x != NULL
    x = x.left
return x

伪代码(最大关键字结点)

TREE-MAXIMUM(x)
while x != NULL
    x = x.right
return x

---

前驱和后继

获得给定结点的前驱和后继结点
注意：这里前驱后继结点针对二叉查找数的中序遍历次序。
时间复杂度：O(h)

伪代码(后继,给定结点不为NIL)

TREE-SUCCESSOR(x)
if x.right != NULL
    return TREE-MINIMUM(x.right)
y = x.p
while y != NULL and y.rig
ht == x
    x = y
    y = x.p
return y

伪代码(前驱,给定结点不为NIL)

TREE-PREDECESSOR(x)
if x.left != NULL
    return TREE-MAXIMUM(x.left)
y = x.p
while y != NULL and y.left == x
    x = y
    y = y.p
return y

---

插入和删除

将新的结点插入到二叉查找树中或从二叉查找树中删除。
注意：新的结点z实际上由key值k给出，预先初始化结点z:z.key=k,z.left=NIL,z.right=NIL
时间复杂度：O(h)

伪代码（插入）

TREE-INSERT(T,z)
x = T.root
while x != NULL
    y = x
    if z.key < x.key
        x = x.left
    else
        x = x.right
z.p = y
if x == NULL
    T.root = z
else if z.key < y.key
    y.left = z
else
    y.right = z

二叉查找树结点的删除是一个比较复杂的操作。

• 如果z没有孩子，那么只是简单地将它删除，并修改它的父结点，用NIL作为孩子结点来替换z。
• 如果z只有一个孩子，那么将这个孩子提升到树中z的位置上，并修改z的父结点，用z的孩子来替换z。
• 如果z有两个孩子，那么找z的后继y（一定是在z的右子树中），并让y占据树中z的位置。z原来右子树的部分成为y的新右子树，并且z原来左子树的部分成为y的新左子树。

伪代码（子过程:用另一棵子树替换一棵子树并成为其双亲的孩子结点）

TRANSPLANT(T,u,v)
if u.p == NULL
    T.root = v
else if u == u.p.left
    u.p.left = v
else
    u.p.right = v
if v != NULL
    v.p = u.p

伪代码（删除）

TREE-DELETE(T,z)
if z.left == NULL
    TRANSPLANT(T, z, z.right)
else if z.right == NULL
    TRANSPLANT(T, z, z.left)
else
    y = TREE-MINIMUM(T,z.right)
    if y.p != z
        TRANSPLANT(T, y, y.right)
        y.right = z.right
        y.right.p = y
    TRANSPLANT(T,z,y)
    y.left = z.left
    y.left.p = y 

---

随机构建二叉查找树

一棵用n个不同关键字的随机构建二叉查找树的期望高度为O(lgn)。
注意：《算法导论》给出了详细证明过程。

最坏情况分析

二叉查找树上述操作最坏情况是O(n)，此时一个数列有序，树退化成线性表，树的高度h = n。（先后插入的数本身是有序时会形成）