二叉搜索树¶
约 2361 个字 352 行代码 4 张图片 预计阅读时间 12 分钟
二叉搜索树介绍¶
二叉搜索树,也称二叉排序树
Note
因为二叉搜索树如果执行中序遍历,则是一个升序的结果,所以也称为二叉排序树
二叉搜索树的特点:
- 若它的左子树不为空,则左子树上所有节点的值都小于根节点的值
- 若它的右子树不为空,则右子树上所有节点的值都大于根节点的值
Note
对于二叉搜索树的特点,下面的问题需要注意:
- 因为它的左右子树也分别为二叉搜索树,一般情况下,常规二叉搜索树中节点的
key
值没有重复的情况 - 必须判断左子树上「所有节点的值」都小于根节点的值,而不是判断左子树的一个左节点,具体见算法:二叉树基础练习篇
二叉搜索树结构设计¶
C++ | |
---|---|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 |
|
二叉搜索树操作设计¶
以下面的数组进行分析
C++ | |
---|---|
1 |
|
按顺序依次实现下面的功能:
- 二叉搜索树的查找
- 二叉搜索树的插入
- 二叉搜索树的中序遍历
- 二叉搜索树的删除
二叉搜索树的查找¶
设计二叉搜索树时,因为二叉搜索树需要满足key值不重复,所以在插入数值之前需要先实现查找,确保二叉搜索树中当前没有该值
因为二叉搜索树满足左子树的节点值比根节点的值小,右子树的节点值比根节点的值大,所以在查找时可以采用类似二分的思想,假设查找值设为target
- 如果
target > root->_key
时,则target
出现的位置只可能在右子树 - 如果
target < root->_key
时,则target
出现的位置只可能在左子树 - 二者相等代表查找到
target
设计思路:
因为查找只需要判断是否存在即可,所以返回值类型设计为bool
类型,从根节点开始向下遍历树,如果根节点不为空,判断当前节点的值与target
的大小,如果target > root->_key
,则走向右子树,否则走左子树
C++ | |
---|---|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 |
|
二叉搜索树的插入¶
有了二叉搜索树的查找后,在插入前需要调用查找函数判断插入的数值不是树中已经存在的数值。如果不存在插入的数值,则可以正常插入。
插入的步骤如下:
- 判断节点值是否存在树中,存在则返回
false
,否则接着插入操作 - 通过
new
创建一个节点,传入需要的key
值进行初始化 - 判断根节点是否为空,根节点为空则新节点作为根节点,否则接着插入操作
- 插入节点时,如果插入的
key > root->_key
,则走左子树,否则走右子树,直到走到叶子结点,在遍历的过程中,需要一个变量parent
记录父亲节点,否则无法插入新的节点 - 当循环走完后,
parent
记录的就是需要的父亲节点,但是需要判断插入位置,如果插入的key
比parent
节点的值小,则插入在parent
的左子树,否则插入在其右子树 - 插入完成后返回
true
C++ | |
---|---|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 |
|
插入过程如下:
二叉搜索树的中序遍历¶
二叉搜索树的遍历等同于二叉树的遍历,但是需要注意:如果中序遍历函数有形参root,则在类外无法传入创建的对象树中的_root
,所以为了处理这个问题可以使用子函数,子函数放在类内,可以访问当前类成员_root
首先设计子函数为中序遍历执行函数,设计思路参考二叉树基础中的二叉树中序遍历
C++ | |
---|---|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 |
|
接着设计主调函数,设计主调函数则不需要设计形参,只需要传入一个类成员_root
给子函数即可,此时的_root
为this->_root
,this
指针中为调用对象的地址
C++ | |
---|---|
1 2 3 4 5 6 7 |
|
二叉搜索树的删除¶
二叉搜索树的节点删除有三种情况:
-
节点为叶子结点,直接删除,例如图中的1,4,7,13:
-
节点有一个孩子节点,删除节点时需要先找到该节点的父亲节点,由该父亲节点链接其孩子节点,例如图中的14节点
-
节点有两个孩子节点,因为删除该节点后仍需要满足左子树的节点值比根节点的值小,右子树的节点值比根节点的值大,所以考虑在删除节点的左孩子节点的最右孩子节点或者删除节点的右孩子节点的最左孩子节点中选一个节点,将其值覆盖需要删除的父亲节点的值,再删除选择的孩子节点,例如删除图中的3节点
因为初始化时,将新创建的节点的左右指针置为空,所以如果删除叶子结点,也可以相当于用其父亲节点链接到空节点nullptr
,所以对于第一种情况可以归类到第二种情况,总共两种情况需要考虑
删除步骤:
- 判断根节点是否为空,如果根节点为空不执行删除,否则继续执行删除
- 查找待删除节点是否存在,如果删除节点存在不存在不执行删除,否则继续执行删除
- 查找节点的位置,如果找到了节点就开始删除:
- 考虑第一种情况(没有孩子节点和只有一个孩子节点),根据前面的分析,只需要将待删除节点的父亲节点链接其孩子节点即可。首先确定待删除的节点是左孩子为空还是右孩子为空,以左孩子为空为例,如果待删除节点的左孩子为空,则链接时,需要将待删除节点的父亲节点链接到待删除节点的右孩子,链接完成后删除节点,跳出循环即可
- 考虑第二种情况(有两个孩子节点),根据前面的分析,可以找一个节点覆盖待删除的节点的值,再删除该替换节点。所以就会出现既存在待删除节点的左子树的最右侧值(左子树的最大值),也存在待删除节点的右子树的最左侧值(右子树的最小值)。此时是否需要既考虑使用左子树的最右节点,又考虑使用右子树的最左节点呢?实际上,只需要考虑一种情况,例如选择待删除节点的右子树的最左节点,在二叉搜索树中,这个右子树最左节点一定存在。因为既然待删除的节点有两个孩子,那么右子树的这个孩子就也会有上面的三种情况:如果是第一种情况,那么待删除节点的右子树根节点就是最左节点;如果是第二种情况且右子树没有左孩子,那么待删除节点的右子树根节点就是最左节点;如果是第三种情况,那么待删除的节点的右孩子一定存在左孩子,以此类推,找到左孩子的最左节点即可。接着设计思路:因为在遍历过程中需要找到最左节点,所以用
replaceNode
来代表,因为最后删除的代替节点可能还存在孩子节点,所以依旧需要使用到第一种情况的思路,此时需要一个replaceNodeP
记录替代节点的父亲节点的位置,找到replaceNode
节点后将其值覆盖给删除的节点即可(也可以使用交换,但是没有必要),再进行第一种情况的步骤,最后删除替代节点即可 - 考虑完上述两种情况后,还有一种情况,如果只有一个根节点时,只考虑上面两种情况会导致程序崩溃,只有一个根节点时,此时根节点的左右子树均为空,属于第一种情况,删除之前需要让根指向其左孩子或者右孩子
在算法:二叉树基础练习篇也有对应的题目
C++ | |
---|---|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 |
|
二叉搜索树应用¶
- K模型:在K模型中,只有
key
作为关键码,结构中只需要存储Key
即可,关键码即为需要搜索的值 - KV模型:每一个关键码
key
都有对应的值value
,称为<Key, Value>
的键值对
对于前面实现的二叉搜索树来说,即为K模型,对前面的结构添加value
值,构成<Key, Value>
键值对模型
-
修改单个节点结构
C++ 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
// 定义树每一个节点结构 template<class T, class V> struct binarySearchTreeNode { // key值 T _key; // value值 V _value; // 左子树指针 binarySearchTreeNode<T, V>* _left; // 右子树指针 binarySearchTreeNode<T, V>* _right; //单个节点构造函数 binarySearchTreeNode(const T& key, const V& value) :_key(key) ,_value(value) , _left(nullptr) , _right(nullptr) {} };
-
修改查找函数返回值
C++ 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26
// 树查找 node* findNode(const T& target) { node* cur = _root; while (cur) { if (target == cur->_key) { // 如果找到返回节点 return cur; } else if (target > cur->_key) { // 目标值大走右子树 cur = cur->_right; } else { // 目标值小走左子树 cur = cur->_left; } } //循环走完时证明没找到,返回空指针 return nullptr; }
-
修改插入函数
C++ 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51
// 树插入 bool insertNode(const T& key, const V& value) { // 判断key是否已经存在 if (findNode(key)) { // 已经存在时插入失败 return false; } // 创建node节点 node* newNode = new node(key, value); // 判断根节点是否为空,为空则作为第一个节点 if (_root == nullptr) { _root = newNode; return true; } // 根节点不为空时接着遍历插入 node* cur = _root; // 定义父亲节点记录父亲的位置 node* parent = _root; while (cur) { if (key > cur->_key) { // 大于根节点数据,插入在右子树,走到左子树的空位置 parent = cur; cur = cur->_right; } else if (key < cur->_key) { // 小于根节点数据,插入在左子树,走到右子树的空位置 parent = cur; cur = cur->_left; } } // 循环走完后当前cur为空,parent为叶子节点,链接新节点 if (parent->_key < key) { // 如果是右子树,则插入在右子树 parent->_right = newNode; } else { // 否则插入在左子树 parent->_left = newNode; } return true; }
修改三处即可让原有的K模型变为KV模型
下面是常见的KV模型实际使用
C++ | |
---|---|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 |
|
C++ | |
---|---|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 |
|
二叉搜索树的效率¶
在上面的二叉搜索树中,一般情况下,时间复杂度为\(log_{2}{N}\),但是最坏情况下会退化到\(O(N)\)(单支树)