平衡搜索二叉树BST底层的增删改查原理，左旋右旋的目的

平衡搜索二叉树BST底层的增删改查原理，左旋右旋的目的

提示：这段时间，讲有序表、跳表的底层数据结构，平衡搜索二叉树：AVL树，SB树，红黑树
基础知识：
【1】求二叉树中节点x的后继节点和前驱结点
【2】二叉树，二叉树的归先序遍历，中序遍历，后序遍历，递归和非递归实现

---

搜索二叉树ST（Search Tree）

搜索二叉树的条件：

任意x节点开头的树，整个树上所有节点，统统满足：其左子最大值max，与x.value和其右子最小值min必须是升序关系！
严格满足：
max<x.value<min

如下图所示：

（1）以3为头的树，左子2<3<右子4
（2）以5开头的树，左子max=4<5<右子min=6
（3）以7开头的树，左子6<7<右子8
每一个节点，严格满足这个搜索有序关系：
max<x.value<min

说白了，将x为头的二叉树，中序遍历，得到的中序遍历value数组必须是升序的！

关于二叉树的遍历，中序遍历，请看下文：
【2】二叉树，二叉树的归先序遍历，中序遍历，后序遍历，递归和非递归实现

搜索二叉树ST的增删改查

由于咱们二叉树当初可能加入的节点会非常非常多重复值，比如3个5加入了，那么你这么搞
每个节点cur里面放key=cur.value，key是唯一的，而key出现的次数count是可以做哈希表的value的
这样，多来了很多重复的节点呢，就让重复的只做一个节点，count统计它的次数

查节点x

x来了？你怎么找，这很简单，o(log(n))速度二分查找呗！
既然是有序的，好说
x.value=cur.value，直接让cur.count++
x.value<cur.value，继续向cur.left去查找
x.value>cur.value，继续向cur.right去查找
比如找3节点在吗？来到cur=5，因为3<5，去左边找3，找到了

增新节点x

先查x存在吗？
x存在——key=x的count++
x比存在——新建x挂接
比如新增节点x=3，找到3之后，将3的count++；

改节点x

最好别直接改

删除节点x

删除比较复杂一些：你删除完x之后，仍然要保证满足搜索条件的
涉及几种情况
（1）x节点没有左子，没有右子
直接废了x，让x=null
（2）x节点有左子，没有右子
让右子挂接在x的父节点上

（3）x节点没有左子，有右子

（4）x节点有左子，有右子——这是最难搞的，
你需要搞懂什么事二叉树的后继节点？
【1】求二叉树中节点x的后继节点和前驱结点

要让x的后继节点p来接替自己，操作步骤如下：
先把替身p的右树挂到替身p的父节点上。
然后把x的左树和右树挂到替身p的左树和右树上，
然后让替身p来接替x
完成删除x。

比如你要删除5节点

然后变成

仍然能保证2 3 4 6 7 8 9的搜索升序条件
够狠吧！

---

平衡搜索二叉树BST（Balanced Search Tree）

所谓平衡性
指二叉树头结点x
左子树的节点数量N1 大致= 右子树的节点数量N2

这样的话，咱们查找的时候啊，不至于一溜向某一边去查找了，导致算法最终复杂度为o(n) **
如果二叉树左右平衡，则算法查找的复杂度确实就是二分法的速度o(log(n))**

你看看，如果不平衡，删除之后啥样了都？一遍太重了

那么我们要在平衡搜索二叉树中有一个调平衡的机制，
保证咱们每一次操作，不管增删改查，之后都要调平衡，保证搜索二叉树的平衡性

调平机制：右旋和左旋

---

平衡搜索二叉树BST的右旋，左旋

右旋

a开头的树，显然左树数量N1严重与右树N2不均衡。

需要将头结点a右旋，
即：要让b来替代a
现将b的右子树，挂到a的左树上
让a挂到b的右子树上
完成右旋工作，如下图：

这样的话，b开头的树，作为新头，返回之后，b就是平衡的。

左旋

类似的，如果a的右树N2过多
需要将a左旋
现将b的左子树，挂到a的右树上
让a挂到b的左子树上
完成左旋工作，如下图：

这样的话，b就平衡了

反正遇到题目，自己画个图就知道咋搞了，简单。

---

总结

提示：重要经验：

1）搜搜二叉树的条件就是二叉树的中序遍历是升序关系，ST的增删改查都涉及二分查找，o(log(N))，删除节点要用后继节点来替代自己。
2）平衡搜索二叉树就是节点x左树数量，大致等于右树的数量，不平衡的话，需要调平，涉及左旋右旋操作
3）笔试求AC，可以不考虑空间复杂度，但是面试既要考虑时间复杂度最优，也要考虑空间复杂度最优。