《算法导论》第12章 二叉查找树 (2)查找、插入与删除

1. 查找

利用二叉查找树左小右大的性质，可以很容易实现查找任意值和最大/小值。

BSTNode * bst_search(BSTNode *node, int key) { while (node && key != node->key) { if (key < node->key) node = node->left; else node = node->right; } return node; } BSTNode * bst_minimum(BSTNode *node) { while (node->left != NULL) node = node->left; return node; }

2. 插入

插入新结点的逻辑比较简单，关键是确定插入位置。

1. 首先为新结点分配内存并初始化。

2. 从根结点开始比较，小于已存在结点的键值则继续与其左子结点比较，

     否则与其右子结点比较。一直这样比较到叶子结点从而确定插入位置。

3. 将新结点与此叶子结点关联。

void bst_insert(BSTNode **root, int key, char *val) { // 1.New node inserted to BST BSTNode *newNode = malloc(sizeof(BSTNode)); newNode->left = newNode->right = NULL; newNode->key = key; newNode->value = val; // 2.Locate insert location BSTNode *pNode = NULL; BSTNode *node = *root; while (node != NULL) { pNode = node; if (key < node->key) node = node->left; else node = node->right; } // 3.Link newNode to pNode newNode->parent = pNode; // Link pNode to newNode if (pNode == NULL) *root = newNode; else if (key < pNode->key) pNode->left = newNode; else pNode->right = newNode; }

3. 删除

3.1 三种情况

删除二叉查找树中的结点稍微复杂一些，根据要删除结点的孩子结点的个数

，可以分为三种情况来处理：（假定要删除的结点为Z）

1. 结点Z没有孩子结点，那么直接删除Z就行了。

2. 结点Z有一个孩子结点，那么删除Z，将Z的父结点与此孩子结点（子树）关联就可以了。

（图中的a和b）

3. 结点Z有两个孩子结点，删除Z该怎样将Z的父结点与这两个孩子结点关联呢？

这种情况下不能直接删除Z，而是要用Z的后继（比Z的键值稍大的结点）来替代Z。

实现方法就是将后继从二叉树中删除，将后继的数据覆盖到Z中。

（图中的d）

图片来自《算法导论》第三版，与第二版的删除算法不太一样，而且多处理了一种特殊情况c，

即删除结点Z是二叉树的根结点。后面的删除代码是第二版的算法，在看删除代码前，先看

如何找到一个结点的后继。

3.2 后继

一个结点的后继是该结点的后一个，即比该结点键值稍大的结点。

所以，该结点右子树中的最小结点就是该结点的后继。如图结点7的后继就是9。

即可以直接从该结点的右子树中，沿左一直遍历到叶子结点从而找到最小值。

但如果该结点没有右孩子怎么办？例如结点13的后继。

结点没有右孩子，说明该结点在子树中是最大值。

那么就要找到13所在子树的父结点，并且：

1. 该子树的是这个父结点的左孩子。

2. 高度最低的这样的父结点。

BSTNode * bst_successor(BSTNode *node) { if (node->right != NULL) return bst_minimum(node); BSTNode *sucNode = node->parent; while (sucNode != NULL && node == sucNode->right) { node = sucNode; sucNode = sucNode->parent; } return sucNode; }

3.3 删除

学会了如何找到任意结点的后继，现在接着说二叉查找树的结点删除。

对于情况3，要删除结点Z的左右孩子都存在的情况，要用Z的后继要替代Z。

这需要先删掉后继，那如果Z的后继也有两个孩子怎么办？

这种情况是不可能的。习题12.2-5要证明的就是：如果二叉查找树中的

某个结点有两个子女，则其后继没有左子女，其前趋没有右子女。

简单地想，后继的左子女比后继小，结点与后继之间是不可能有其他结点的。

删除的步骤：

1. 确定实际要删除的结点是Z还是Z的后继。

2. 实际删除结点的孩子，Z的左/右孩子或者后继的右孩子。

3. 将实际要删除结点的父结点与其孩子关联。

4. 如果实际删除的是后继，则把后继中的数据拷贝到Z，替换它。

BSTNode * bst_delete(BSTNode **root, BSTNode *delNode) { // Real delete node: delNode or its successor // (if delNode has both left and right child) BSTNode *realDelNode; if (delNode->left && delNode->right) realDelNode = bst_successor(delNode); else realDelNode = delNode; // Child of real delete node BSTNode *childNode; if (delNode->left) childNode = realDelNode->left; else childNode = realDelNode->right; // Link realDelNode child and parent if (childNode) childNode->parent = realDelNode->parent; if (realDelNode->parent == NULL) *root = childNode; else if (realDelNode == realDelNode->parent->left) realDelNode->parent->left = childNode; else realDelNode->parent->right = childNode; // Copy successor data to delNode (override) // if real delete node is not delNode but its successor if (realDelNode != delNode) { delNode->key = realDelNode->key; delNode->value = realDelNode->value; } return realDelNode; }