Java 二叉查找树（TreeMap、TreeSet）

简介

二叉查找树（BST）是一种特殊的二叉树，每个顶点最多可以有两个子节点。 这种结构遵循 BST 属性，规定给定顶点的左子树中的每个顶点的值必须小于给定顶点的值，右子树中的每个顶点的值必须大于给定顶点的值。二叉查找树支持快速搜索、插入和删除，各种操作的时间复杂度均为 logn，是一种非常常用的数据结构。

平衡二叉查找树

发明平衡二叉查找树这类数据结构的初衷是，解决普通二叉查找树在频繁的插入、删除等动态更新的情况下，出现时间复杂度退化的问题。平衡二叉查找树任何节点的左右子树高度相差不超过 1，高度大约是 logn。

红黑树

红黑树主要是为了解决二叉查找树在维护的过程中，时间复杂度出现退化的问题而发明的，
红黑树的高度近似 logn，因此插入、删除、查找等操作的时间复杂度都是 logn。

特点

• 近似平衡（红黑树不是严格定义上的平衡二叉查找树，由于只是做到了近似平衡，因此维护的代价相对较低。）
• 相对稳定的性能（在维护代价不高的情况下，能够保证查找、插入、删除等操作有相对稳定的性能。）

要求

• 根节点必须为黑色
• 每个叶子节点都是黑色的空节点，不存储数据。（主要是为了简化红黑树的代码实现）
• 任何相邻的节点都不能同时为红色，红色的节点是被黑色的节点隔开的。
• 每个节点，从该节点到所有可达叶子节点的所有路径，都包含相同个数的黑色节点。

红黑树的五大性质

一课合法的红黑树必须具备以下 5 条性质：

1. 根节点为黑色
2. 节点为红色或黑色
3. 所有叶子节点（NIL节点）都是黑色
4. 红色节点的子节点为黑色
5. 根节点到每个叶子节点的每条路径上的黑色节点数量相同

为什么红黑树具备相对稳定的性能？

关键在于，红黑树的五大性质确保了红黑树的关键特性。从根节点到叶子节点的最长可能路径，永远不会超过从根节点到叶子节点的最短可能路径的两倍长度。这就确保了这棵树大致上是平衡的，而插入、删除、查找某个值的最坏情况都和树的高度成正比，这个高度的理论上限保证了最坏情况下红黑树都是高效的。

TreeMap

TreeMap 底层使用红黑树实现，TreeMap 实现了 SortedMap 接口，可以把保存的值按照键值排序，默认是按照键值升序排序。

TreeMap 中的 key 必须实现 Comparable 接口，否则使用时会抛出 ClassCastException，但是如果在创建 TreeMap 时指定了 comparator 则不会报错。

TreeSet

TreeSet 基于 TreeMap 实现，实现原理是一样的。