【C++】二叉搜索树Binary Search Tree

二叉搜索树的概念

二叉搜索树又被称为二叉排序树，顾名思义，当我们使用中序遍历时，会得到一个有序的序列。二叉搜索树有如下的性质：
1.若它的左子树不为空，则左子树上每个节点的值都小于根节点的值。
2.若它的右子树不为空，则右子树上每个节点的值都大于根节点的值。
3.左右子树也是二叉搜索树

如图所示，就是一颗二叉搜索树。它的中序遍历结果为：1，3，4，6，7，8，10，13，14

二叉搜索树的操作

二叉搜索树的操作有：查找，插入，删除。
查找
1.从根开始比较，查找，比根大则往右边走查找，比根小则往左边走查找
2.最多查找高度次，走到到空，还没找到，这个值不存在

插入
分为树是否为空：
若为空树：树为空，则直接新增节点，赋值给root指针
若不为空树：按二叉搜索树性质查找插入位置，插入新节点

删除

首先要查找要删除的节点是否在二叉树中，若不存在，则直接返回，若存在，分情况进行删除。
a.要删除的节点没有孩子
b.要删除的节点只有左孩子
c.要删除的节点只有右孩子
d.要删除的节点左右孩子都有

实际上，对于删除操作来说，可以要删除没有孩子节点或删除只有一个孩子节点的情况，操作是相同的，都是直接将要删除的节点的双亲节点的指针指向当前删除节点的孩子节点。（当前节点如果没有孩子节点，实际上当前节点的孩子节点是nullptr，当前节点有孩子节点，实际上也是将双亲指向当前的孩子节点）

因此，可以将四种情况中a和b情况进行合并，那么就只有三种情况了。
a.要删除的节点没有孩子或者只有右孩子-------将双亲节点指向当前节点的右孩子，然后直接删除当前节点
b.要删除的节点只有左孩子-------将双亲节点指向当前节点的左孩子，然后直接删除当前节点
c.要删除的节点左右孩子都有------在它的右子树下找到最小的一个节点（右子树的最左侧），用它的值填补到被删除节点中，再处理该节点的删除问题

二叉搜索树的实现

查找

1.从根开始比较，查找，比根大则往右边走查找，比根小则往左边走查找
2.最多查找高度次，走到到空，还没找到，这个值不存在

Node* Find(const T& data)
	{
		Node* cur = _root;
		while (cur)
		{
			if (data > cur->_data)
			{
				cur = cur->_right;
			}
			else if (data < cur->_data)
			{
				cur = cur->_left;
			}
			else
				return cur;
		}
		return nullptr;
	}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

插入

分为树是否为空：
若为空树：树为空，则直接新增节点，赋值给root指针
若不为空树：按二叉搜索树性质查找插入位置，插入新节点

bool Insert(const T& data)
	{
		//空树，插入成功后就是根节点
		if (_root == nullptr)
		{
			_root = new Node(data);
			return true;
		}
		//非空就需要找到待插入的位置。
		Node* cur = _root;
		Node* parent = nullptr;
		while (cur)
		{
			parent = cur;
			if (cur->_data > data)
				cur = cur->_left;
			else if (cur->_data < data)
				cur = cur->_right;
			else
				return false;
		} 
		cur = new Node(data);
		if (cur->_data > parent->_data)
		{
			parent->_right = cur;
		}
		else
			parent->_left = cur;
		return true;
	}
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

删除

首先要查找要删除的节点是否在二叉树中，若不存在，则直接返回，若存在，分情况进行删除。
a.要删除的节点没有孩子
b.要删除的节点只有左孩子
c.要删除的节点只有右孩子
d.要删除的节点左右孩子都有

实际上，对于删除操作来说，可以要删除没有孩子节点或删除只有一个孩子节点的情况，操作是相同的，都是直接将要删除的节点的双亲节点的指针指向当前删除节点的孩子节点。（当前节点如果没有孩子节点，实际上当前节点的孩子节点是nullptr，当前节点有孩子节点，实际上也是将双亲指向当前的孩子节点）

因此，可以将四种情况中a和b情况进行合并，那么就只有三种情况了。
a.要删除的节点没有孩子或者只有右孩子-------将双亲节点指向当前节点的右孩子，然后直接删除当前节点
b.要删除的节点只有左孩子-------将双亲节点指向当前节点的左孩子，然后直接删除当前节点
c.要删除的节点左右孩子都有------在它的右子树下找到最小的一个节点（右子树的最左侧），用它的值填补到被删除节点中，再处理该节点的删除问题

最终我们可以将情况分为上述的a b c三种情况，

对于情况a来说，其内部又可以分为两大类：要删除的是根节点要删除的不是根节点
对于情况b来说，其内部又可以分为两大类：要删除的是根节点要删除的不是根节点
对于情况c来说，我们是通过步骤：1.在待删除节点的右子树中找到最小的节点（替代节点） 2.将替代节点的值赋给待删除的节点 3.删除找到的替代节点.

而在a情况中，针对要删除的节点不是根节点，我们需要判断待删除的节点是其双亲节点的左孩子还是右孩子。因为到时候需要让双亲节点指向待删除节点的左孩子
而在b情况中，针对要删除的节点不是根节点，我们需要判断待删除的节点是其双亲节点的左孩子还是右孩子。因为到时候需要让双亲节点指向待删除节点的右孩子
而在c情况中，我们需要判断替代节点的是其双亲的左孩子还是右孩子。因为到时候需要让双亲节点指向待删除节点的右孩子

下图是上述分类情况的图示。

只有右孩子的场景

只有左孩子的场景

左右孩子均存在的场景

这个是对于删除操作需要分的情况：

针对上述分的情况，代码的实现

bool Erase(const T& data)
	{
		//找待删除节点的位置，并且保存双亲
		Node* cur = _root;
		Node* parent = nullptr;
		while (cur)
		{
			parent = cur ;
			if (data == cur->_data)
				break;
			else if (data < cur->_data)
			{
				parent = cur;
				cur = cur->_left;
			}
			else
			{
				parent = cur;
				cur = cur->_right;
			}
		}
		//值在BST中不存在值为data的节点
		if (cur == nullptr)
			return false;

		// 只有右孩子或者没有孩子
		if (cur->_left == nullptr)
		{
			// 1.双亲为空,说明为根节点
			if (parent == nullptr)
				_root = cur->_right;

			// 2.双亲非空,说明不是根节点
			else
			{
				//可能是双亲的左孩子
				if (cur = parent->_left)
					parent->_left = cur->_right;
				//也可能是双亲的右孩子
				else
					parent->_right = cur->_right;
			}
			delete cur;
		}
		//只有左孩子
		else if (cur->_right == nullptr)
		{
			// 1.双亲为空，是根节点
			if (parent == nullptr)
				_root = cur->_left;
			// 2.双亲不为空，不是根节点
			else
			{
				if (cur == parent->_left)
					parent->_left = cur->_left;
				else
					parent->_right = cur->_left;
			}
			delete cur;
		}

		//左右孩子均存在,
		//先在其右子树中找到最左边的节点，
		//将替代节点中的值赋给要删除的节点，
		//删除替代节点
		else
		{
			Node* tmp = cur->_right;
			parent = cur;
			//在cur的右子树中找替代节点
			while (tmp->_left)
			{
				parent = tmp;
				tmp = tmp->_left;
			}
			//用替代节点中的值替换待删除的节点
			cur->_data = tmp->_data;

			//删除替代节点
			if (parent->_left == tmp)
				parent->_left = tmp->_right;
			else
				parent->_right = tmp->_right;
			delete tmp;
		}
		return true;
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

二叉搜索树的应用

k模型和kv模型

k模型是指：只有key作为关键码，结构中只需要存储Key即可，关键码即为需要搜索到的值。
例如：要查找一个单词是否拼写正确，我们可以先将所有的单词作为key构建一个二叉搜索树。在这个二叉搜索树中去查找是否有我们想找到的单词，若可以找到，则证明拼写正确，若找不到，则证明拼写错误。

kv模型是指：每一个关键码key，都有与之对应的值Value，即的键值对。
例如：英汉词典是一个典型的kv模型，通过英文可以快速找到与其对应的中文。英文和中文就构成了一对键值对

二叉搜索树的性能分析

因为对应二叉搜索树来说，插入和删除操作都要先进行查找，查找的效率高低直接决定了各个操作的性能。

对有n个结点的二叉搜索树，若每个元素查找的概率相等，则二叉搜索树平均查找长度是结点在二叉搜索树的深度的函数，即结点越深，则比较次数越多。

但对于同一个关键码集合，如果各关键码插入的次序不同，可能得到不同结构的二叉搜索树：

如果关键码集合，插入的次序接近于无序，则会构造出作图这样的二叉搜索树，而插入的次序如果是有序的，则会构造出右图这样的单支树。

而不同的二叉搜索树，其比较的平均次数是不同的。
最优情况下：二叉搜索树为完全二叉树(或者接近完全二叉树)，其平均比较次数为：O(logN)（以2为底）
最差情况下，二叉搜索树退化为单支树(或者类似单支)，其平均比较次数为：O(N)（以2为底）

正是由于插入的次序不同，会导致构造的二叉搜索树的结构不同，而退化成单枝时，二叉搜索树就失去了优势，因此如果需要按照任意次序插入时，都能让二叉搜索树的性能达到最优，就需要用到AVL树和红黑树了。