二叉排序树（二叉查找树）基本操作_20230417

二叉排序树（二叉查找树）基本操作_20230417

1. 前言

二叉排序树首先是一颗二叉树，它不同于常规二叉树的地方在于，如果左子树不为空，那么左子树上所有结点的值都不大于根节点的值，如果右子树不为空，那么右子树上所有的值不小于根节点的值，而且它的左右子树本身也属于二叉排序树。

二叉排序树的形式和元素的输入顺序相关，它最坏的情况下可能退化为有序线性表。大多数条件下，二叉排序树既具备二叉树的折半查找行者，又采用了链表作为储存结构，加强了数据储存的灵活性，不失为一种优秀的数据储存结构。

下面的二叉排序树通过中序遍历，就得到一组有序表。

2. 二叉排序树的基本操作

2.1 查找操作

二叉排序树的查找操作操作可通过递归实现，由于二叉排序树当中的每个元素都包含有数据域、左孩子指针和右孩子指针，通过递归可以定位到是在左孩子还是右孩子区域进行查找。如果元素比对成功，则返回 true；如果查找失败，则返回false. 如果查找成功，其中的某个递归变量保留查找成功的结点，如果没有找到目标元素，则某个递归变量保留此元素的根节点（父节点）的位置。

查找的实际上是沿着根节点往下遍历的过程，它会形成一颗合适的遍历路径，如果配对成功，路径上的结点都是目标结点的父节点。

看一个具体的例子。给点上述二叉排序树，要求查找元素的值为30，那么遍历形成路径用绿色虚线表示，遍历经过了左–>左–>右的路径。

元素查找的实现, 如果发现递归结点已经为NULL，意识是查询失败，此二叉排序树当中不含有目标元素，此时查找目标赋值为待查找元素的父节点，同时返回查询失败标记false, false会在退栈过程中不断传递给当前的栈，最终查找函数返回false.

同时，如果当前结点的值和待查找的值相等，意味着本次查询成功，递归可以结束（不再入函数栈），同时返回查询成功的标记true，true会在退栈过程中不断传递给上一级函数栈，最终查找函数返回true。

typedef struct BiTNode
{SElemType data;struct BiTNode *lchild;struct BiTNode *rchild;
} BiTNode, *BiTree;bool find_bst(BiTree T, KeyType key, BiTree parent, BiTree *target_ptr)
{if(T==NULL){*target_ptr=parent;return false; //one of termination conditions, traveling with parent}else{//another condition of termination conditions//traveling with parentif(EQ(key,T->data.key)) {*target_ptr=T;return true;}else if (LT(key, T->data.key)){return find_bst(T->lchild,key,T,target_ptr);}else{return find_bst(T->rchild,key,T,target_ptr);}}
}

2.2 插入和创建树操作

二叉排序树是一类动态表，其原因在于，如果树中不含有待插入元素，那么二叉排序树会执行插入操作，从而达到动态更新表的目的。插入和创建实际上可以共用一个过程，插入的过程也是创建树的过程。利用上面的查找函数，可以实现插入的过程。正如前面所述，插入过程需要先判断待插入元素是否在现有的表当中，如果不包含在目前的表当中，则需要执行插入操作，并返回插入成功的标记true，否则则直接返回未执行插入的标记false.

bool insert_bst(BiTree *bt, KeyType key)
{BiTree ptr;BiTree new_node;if(!find_bst(*bt,key,NULL,&ptr)){new_node=(BiTree)malloc(sizeof(BiTNode));new_node->data.key=key;new_node->data.value=NULL;new_node->lchild=NULL;new_node->rchild=NULL;if(ptr==NULL) // don't leave this condition behind{*bt=new_node;}else if(LT(key,ptr->data.key)){ptr->lchild=new_node;}else{ptr->rchild=new_node;}return true;}return false;
}

2.3 二叉排序树删除操作

二叉排序树的结点删除分3种情况讨论，

a.) 若P为叶子结点，既PL和PR均为空树，由于删除叶子结点不破坏树的结点，只需要修改P结点的指针即可，也就是*p=NULL即可。

b.) 上述图，若 P结点只有左子树或只有右子树，此时只要令PL或PR称为父节点的左子树即可（也即是把指针赋值为结点P即可）

c.) 若P结点的左右子树均不为空，如果删除元素P后，需要保持二拆排序树仍然有序，那么就有两种途径，①-a途径，称之为替代法，用p元素的直接前驱元素S里面的值替代P里面的值，P的左右孩子指针保持不变，同时删除S结点，把S结点的左孩子赋值给其双亲结点的右孩子；②-b途径是利用待删除元素的左子树根节点来替代P所在结点，同时把P结点原有的右子树赋值给左子树的最右端元素。

两种类型不同在于①-a利用原有结点的左右孩子指针，只是替代元素；②-b则是直接修改替换原有结点，并更新现有结点的对应指针。

c) 删除的代码实现

二叉排序树的删除过程仍然采用递归函数，如果找到待删除元素，则执行删除操作，并返回删除成功标记，否则返回删除失败标记。

bool delete_bst(BiTree *T, KeyType key)
{//if deletion is succesfful, it will return true;//if deletion is not successful, it will return falseif(*T==NULL){return false;  // one termination condition}else{if(EQ(key,(*T)->data.key)){delete_action_b(T); //propagate the return valuereturn true; //the second termination condition}else if (LT(key, (*T)->data.key)){return delete_bst(&((*T)->lchild),key);}else{return delete_bst(&((*T)->rchild), key);}}
}

分别用两个函数实现不同的删除模式，

//①-a implementation code
void delete_action_a(BiTree *node)
{//p;//s;//list three scenarios of nodeBiTree p;BiTree s;if((*node)->lchild==NULL){p=*node;(*node)=(*node)->rchild;free(p);}else if ((*node)->rchild == NULL){p = *node;(*node) = (*node)->lchild;free(p);}else{p= *node;s=(*node)->lchild; //next onewhile(s->rchild!=NULL){p=s;s=s->rchild;}(*node)->data=s->data;if(p!=(*node)){p->rchild=s->lchild;}else{p->lchild=s->lchild; //no right child and jumpt one node}free(s);}return;
}//②-b implementation code
void delete_action_b(BiTree *node)
{BiTree p;BiTree s;if ((*node)->lchild == NULL){p = *node;(*node) = (*node)->rchild;free(p);}else if ((*node)->rchild == NULL){p = *node;(*node) = (*node)->lchild;free(p);}else{p = *node;s = (*node)->lchild;while (s->rchild != NULL){s = s->rchild;}s->rchild=(*node)->rchild; // 先后顺序非常重要(*node)=(*node)->lchild;  // 先后顺序非常重要free(p);}return;
}

3. 二叉查找树的形式

与静态二叉搜索树不同，静态二叉搜索树的形式是唯一的；对于相同的元素集合，二叉查找树的形式会随着不同的排列顺序呈现不同的树的形态。由于树的形态不同，造成树的深度不同，导致平均查找长度不同(Average Search Length)，如果输入有序元素，二叉查找树就退化为有序线性表，导致极端的情况发生。

这就为后面平衡二叉查找树的引入提供了应用场景，本文仅针对二叉排序树，不会对AVL树进一步阐述。

4. 小结

本文学习了二叉排序树的不同操作，包括插入、建树和删除等操作，同时阐述了不同形态的二叉查找树会影响查找效率，极端情况下，有序输入会导致二叉排序树蜕变为线性表，严重影查询效率。

参考资料：

《数据结构》严蔚敏，清华大学