算法导论---二叉搜索树

二叉搜索树

有如下性质：
1. 对任意某一结点，其左子树(若存在)的任一结点比该结点小，其右子树(若存在)的任一结点比该节点大。
2. 每个结点都有一个作为搜索依据的关键码(key)，所有结点的关键码互不相同。

其它一些重要结论：
如果二叉查找树中的某个结点有两个子女，则其后继没有左孩子，其前趋没有右孩子。

后继定义：对结点x而言，存在一个结点集合，集合内任一结点的key值都比x的key值大。而结点x的后继，既是该集合内的最小key值的结点。

寻找后继 伪代码：

TREE_SUCCESSOR(x)
    if right(x) != NIL
    //若目标结点x的右子树非空，则对右子树调用TREE_MINIMUM()得出后继
        then return TREE_MINIMUM(right[x])

    y <- p[x] //令y做结点x的父结点

    //若y结点非空，则当发现结点x是父结点y的左孩子时，y即为结点x后继