红黑树应该是广为人知的一种比较复杂的数据结构了,在很多面试中和一些应用中都被广泛提及,在以前学习的时候,我只学到了一些概念,比如红黑树的红黑规则:
- 节点不是黑色,就是红色(非黑即红)
- 根节点为黑色
- 叶节点为黑色(叶节点是指末梢的空节点
Nil
或Null
) - 一个节点为红色,则其两个子节点必须是黑色的(根到叶子的所有路径,不可能存在两个连续的红色节点)
- 每个节点到叶子节点的所有路径,都包含相同数目的黑色节点(相同的黑色高度)
红黑规则是很好理解的,死记硬背也能背下来,但是如果放到复杂的实际应用中可能我们就懵了。今天在看一篇文章后,我才学到了从红黑树的概念模型2-3-4树出发,理解了红黑树五大定义背后的逻辑 ,深刻认识到红黑节点颜色背后的意义,对于插入删除引发的动态变化有一定的认识,而不再是去硬性的记忆某个场景下的调平操作。
1.红黑树的本质是对概念模型2-3-4树的一种实现
B树 相信来学习红黑树的大家应该都学过,如果没学过的也可以去我的另一篇文章学习一下再来看。
由于2-3-4树是一颗阶数为4的B树,所以它会存在以下节点:
- 2节点
- 3节点
- 4结点
红黑树是对概念模型2-3-4树的一种实现,由于直接进行不同节点间的转化会造成较大的开销,所以选择以二叉树为基础,在二叉树的属性中加入一个颜色属性来表示2-3-4树中不同的节点。这也就是说,红黑树是逻辑上的B树, 结构上是二叉树。而颜色属性是从逻辑转化到结构的一种方式。
知道了这个,我们就可以把一个红黑树转化为2-3-4B树了
如图,我们把一颗红黑树里的红色结点与它的父节点放在同一层级,然后把同一层级中相连的红黑结点合并为一个结点。
这颗红黑树是不是就转化为了一颗B树呢!? 同时我们可以看到,因为红色结点需要和它的父结点为同一层级,所以他的父节点应该是黑色结点,不然就会出现跨级合并的情况。同时根结点没有父结点,所以他应该自己为黑色,这也就是红黑规则中的:一个节点为红色,则其两个子节点必须是黑色的(根到叶子的所有路径,不可能存在两个连续的红色节点)。根节点为黑色。
同时也因为红色结点会与父节点合并,所以红黑树转化为B树后,原有的红色结点所在高度不是有效高度,黑色结点所在高度才是有效高度,这就是红黑规则中的:每个节点到叶子节点的所有路径,都包含相同数目的黑色节点(相同的黑色高度)。
这样一来红黑规则是不是很好理解了,这些规则都是因为需要保证红黑树可以合法的转化为一颗B树,因为红黑树就是B树的一种实现。