红黑树如何通过旋转确保 TreeMap 插入操作维持 $O(log n)$ 平衡？
- 内容介绍
- 相关推荐
本文共计844个文字，预计阅读时间需要4分钟。
红黑树的平衡代价本质上是可控的局部调整，不是每次插入都旋转，也不是全树重平衡。TreeMap底层用红黑树实现，其所能稳定维护的时间复杂度为O(log+n)。关键在于：
为什么插入默认设为红色？
这是降低平衡代价的第一步设计选择：
- 若插入黑色节点，会直接破坏“从根到所有叶子路径黑节点数相等”（性质5），导致整条路径黑高+1，后续需全局重调，代价太高；
- 插入红色节点只可能违反“无连续红节点”（性质4），问题局限在父子三代内（z/p/g/u），修复范围小、可预测；
- 即使触发修复，也仅影响祖父层及以上的局部子树，其余分支完全不动。
真正耗时的操作：旋转与变色的组合策略
TreeMap 插入后是否需要调整，取决于父节点颜色。只有当父节点为红色时才启动修复，分三类典型情形：
- 叔节点为红（Case 1）：仅变色（p/u→黑，g→红），不旋转；若 g 是根，最后再涂黑。
本文共计844个文字，预计阅读时间需要4分钟。
红黑树的平衡代价本质上是可控的局部调整，不是每次插入都旋转，也不是全树重平衡。TreeMap底层用红黑树实现，其所能稳定维护的时间复杂度为O(log+n)。关键在于：
为什么插入默认设为红色？
这是降低平衡代价的第一步设计选择：
- 若插入黑色节点，会直接破坏“从根到所有叶子路径黑节点数相等”（性质5），导致整条路径黑高+1，后续需全局重调，代价太高；
- 插入红色节点只可能违反“无连续红节点”（性质4），问题局限在父子三代内（z/p/g/u），修复范围小、可预测；
- 即使触发修复，也仅影响祖父层及以上的局部子树，其余分支完全不动。
真正耗时的操作：旋转与变色的组合策略
TreeMap 插入后是否需要调整，取决于父节点颜色。只有当父节点为红色时才启动修复，分三类典型情形：
- 叔节点为红（Case 1）：仅变色（p/u→黑，g→红），不旋转；若 g 是根，最后再涂黑。