二叉搜索树又称二叉排序树,它或者是一棵空树,或者是具有以下性质的二叉树:
- 若它的左子树不为空,则左子树上所有节点的值都小于根节点的值
- 若它的右子树不为空,则右子树上所有节点的值都大于根节点的值
- 它的左右子树也分别为二叉搜索树
1. 二叉搜索树的查找
a、从根开始比较,查找,比根大则往右边走查找,比根小则往左边走查找。
b、最多查找高度次,走到到空,还没找到,这个值不存在。
2. 二叉搜索树的插入 插入的具体过程如下:
a. 树为空,则直接新增节点,赋值给root指针
b. 树不空,按二叉搜索树性质查找插入位置,插入新节点
3. 二叉搜索树的删除
首先查找元素是否在二叉搜索树中,如果不存在,则返回, 否则要删除的结点可能分下面四种情 况:
a. 要删除的结点无孩子结点
b. 要删除的结点只有左孩子结点
c. 要删除的结点只有右孩子结点
d. 要删除的结点有左、右孩子结点
看起来有待删除节点有4中情况,实际情况a可以与情况b或者c合并起来,因此真正的删除过程如下:
- 情况b:删除该结点且使被删除节点的双亲结点指向被删除节点的左孩子结点--直接删除
- 情况c:删除该结点且使被删除节点的双亲结点指向被删除结点的右孩子结点--直接删除
- 情况d:在它的右子树中寻找中序下的第一个结点(关键码最小),用它的值填补到被删除节点中,再来处理该结点的删除问题--替换法删除
- template<class T>
- struct BSTNode
- {
- BSTNode(const T& data = T())
- : _pLeft(nullptr) , _pRight(nullptr), _data(data)
- {}
- BSTNode<T>* _pLeft;
- BSTNode<T>* _pRight;
- T _data;
- };
- template<class T>
- class BSTree
- {
- typedef BSTNode<T> Node;
- typedef Node* PNode;
- public:
- BSTree(): _pRoot(nullptr)
- {}
- // 同学们自己实现,与二叉树的销毁类似
- ~BSTree();
- // 根据二叉搜索树的性质查找:找到值为data的节点在二叉搜索树中的位置
- PNode Find(const T& data);
- bool Insert(const T& data)
- {
- // 如果树为空,直接插入
- if (nullptr == _pRoot)
- {
- _pRoot = new Node(data);
- return true;
- }
- // 按照二叉搜索树的性质查找data在树中的插入位置
- PNode pCur = _pRoot;
- // 记录pCur的双亲,因为新元素最终插入在pCur双亲左右孩子的位置
- PNode pParent = nullptr;
- while (pCur)
- {
- pParent = pCur;
- if (data < pCur->_data)
- pCur = pCur->_pLeft;
- else if (data > pCur->_data)
- pCur = pCur->_pRight; // 元素已经在树中存在
- else
- return false;
- }
- // 插入元素
- pCur = new Node(data);
- if (data < pParent->_data)
- pParent->_pLeft = pCur;
- else
- pParent->_pRight = pCur;
- return true;
- }
- bool Erase(const T& data)
- {
- // 如果树为空,删除失败
- if (nullptr == _pRoot)
- return false;
- // 查找在data在树中的位置
- PNode pCur = _pRoot;
- PNode pParent = nullptr;
- while (pCur)
- {
- if (data == pCur->_data)
- break;
- else if (data < pCur->_data)
- {
- pParent = pCur;
- pCur = pCur->_pLeft;
- }
- else
- {
- pParent = pCur;
- pCur = pCur->_pRight;
- }
- }
- // data不在二叉搜索树中,无法删除
- if (nullptr == pCur)
- return false;
- // 分以下情况进行删除,同学们自己画图分析完成
- if (nullptr == pCur->_pRight)
- {
- // 当前节点只有左孩子或者左孩子为空---可直接删除
- }
- else if (nullptr == pCur->_pRight)
- {
- // 当前节点只有右孩子---可直接删除
- }
- else
- { // 当前节点左右孩子都存在,直接删除不好删除,可以在其子树中找一个替代结点,
- 比如:
- // 找其左子树中的最大节点,即左子树中最右侧的节点,或者在其右子树中最小的节
- 点,即右子树中最小的节点
- // 替代节点找到后,将替代节点中的值交给待删除节点,转换成删除替代节点
- }
- return true;
- }
1. K模型:
K模型即只有key作为关键码,结构中只需要存储Key即可,关键码即为需要搜索到的值。
比如:给一个单词word,判断该单词是否拼写正确,具体方式如下:
以词库中所有单词集合中的每个单词作为key,构建一棵二叉搜索树在二叉搜索树中检索该单词是否存在,存在则拼写正确,不存在则拼写错误。
2. KV模型:
每一个关键码key,都有与之对应的值Value,即
插入和删除操作都必须先查找,查找效率代表了二叉搜索树中各个操作的性能。
对有n个结点的二叉搜索树,若每个元素查找的概率相等,则二叉搜索树平均查找长度是结点在二 叉搜索树的深度的函数,即结点越深,则比较次数越多。
但对于同一个关键码集合,如果各关键码插入的次序不同,可能得到不同结构的二叉搜索树:
最优情况下,二叉搜索树为完全二叉树(或者接近完全二叉树),其平均比较次数为:log_2 N
最差情况下,二叉搜索树退化为单支树(或者类似单支),其平均比较次数为:N
问题:如果退化成单支树,二叉搜索树的性能就失去了。那能否进行改进,不论按照什么次序插 入关键码,二叉搜索树的性能都能达到最优?那么我们后续章节学习的AVL树和红黑树就可以上 场了。