我必须找到一个最大不平衡的红黑树家族，并证明该家族的“各自属性”，以证明有一个无限大的红黑树家族，其高度接近2log（n + 1）。
现在我的猜测是，这个家庭基本上由所有红色黑树组成，其中一条路径有s-r-s-r ...节点，其余的则用黑色节点填充。但是我如何证明这一点？我如何正式写下这样一个家庭的样子呢？
谢谢！
答案 0 :(得分：2)
现在我的猜测是，这个家族基本上由所有红色黑树组成，其中一条路径有s-r-s-r ...节点，其余的则用黑色节点填充。
这是一个合理的猜测。
但我如何证明这一点？
描述无限序列的树T_0，T_1，T_2，T_3，...，使得对于每个整数n，在序列中存在具有至少n个节点的树。显示存在常数C，使得对于每个i，T_i的高度至少为2log（n_i + 1）-C，其中n_i是T_i中的节点数。 （这是模糊术语“接近”的一种可能解释。）
我如何正式写下这样一个家庭的样子？
电感。我会以全黑树为例。树T_0为空（基本情况）。对于所有整数i>在图0中，树T_i包括具有等于T_ {i-1}的左右子树的黑色节点（归纳步骤）。然后你可以用感应证明这些树的事实。