从二叉查找树到平衡二叉树到红黑树

二叉查找树

（Binary Search Tree， BST）是一种特殊的二叉树，又称为排序二叉树、二叉搜索树、二叉排序树。二叉查找树定义如下：
一棵空树，或者是具有下列性质的二叉树：
（1）若左子树不空，则左子树上所有结点的值均小于它的根结点的值；
（2）若右子树不空，则右子树上所有结点的值均大于它的根结点的值；
（3）左、右子树也分别为二叉排序树；
（4）没有键值相等的结点。

二叉查找树在某些特定情况下会退化为链表，如下图所示：

此时二叉查找树查找的时间复杂度会退化为O(n)。于是需要对树的结构进行调整，使树的高度在每次插入元素后仍然能保持O(logn)的级别。于是产生了平衡二叉树。

平衡二叉树

也称AVL树。 AVL树仍然是一颗二叉查找树，只是在其基础上增加了“平衡”的要求。所谓平衡是指，对AVL树的任意节点来说，其左子树与右子树的高度之差的绝对值不超过1，其中左子树与右子树的高度之差称为该节点的平衡因子。

红黑树

是一种平衡二叉树的变体，它的左右子树高差有可能大于 1，所以红黑树不是严格意义上的平衡二叉树（AVL），但对之进行平衡的代价较低， 其平均统计性能要强于 AVL 。

红黑树是一种含有红黑结点并能自平衡的二叉查找树。它必须满足下面性质：
性质1：节点是黑色或红色。
性质2：根节点是黑色。
性质3：每个叶子节点（NIL）是黑色。
性质4：每个红色结点的两个子结点一定都是黑色。
性质5：任意一结点到每个叶子结点的路径都包含数量相同的黑结点。

AVL 树是严格平衡的，适用于查找密集型应用程序，因为在频繁插入或删除结点的场景下，它花费在树旋转的代价太高。
而红黑树就是一种折中方案，它不追求完美平衡，只求部分达到平衡，从而降低在调整时树旋转次数。C++STL中的set、map底层都是用红黑树实现。