<script type="text/javascript" src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script>
# Red Black Tree - 红黑树
--------
#### 红黑树
红黑树比AVL树的实际性能更好,红黑树的操作次数约是$$ log_2 n + 4 $$,而不是AVL树的$$ O(2 \times log_2 n) $$次。尽管它们的插入/删除/查找时间复杂度都是$$ O(log_2 n) $$。
除了基本的二叉查找树属性,红黑树还拥有以下特性:
$$ (1) $$ 节点是红色或黑色的;
$$ (2) $$ 根节点是黑色的;
$$ (3) $$ 叶子节点的左右孩子节点都为$$ nil $$节点,$$ nil $$节点是黑色的;
$$ (4) $$ 红色节点的左右孩子节点都是黑色的;
$$ (5) $$ 根节点到任意$$ nil $$节点途中经过的黑色节点的数量相同;
![RedBlackTree1.svg](../res/RedBlackTree1.svg)
红黑树是一种可伸缩的金字塔形状,其中的黑色节点严格保持金字塔形状,而红色节点就像弹簧一样。任意分支上的红色节点和黑色节点数量(包括空节点)总满足$$ 0 \leq n_{red} \lt n_{black} $$。
红黑树的插入过程与AVL树类似,按照二分查找找到适合的位置插入新节点$$ x $$,然后从$$ x $$沿着父节点向上对每个节点检查,若红黑树的属性被破坏则通过以下规则调整自己。下面是所有需要调整的情况:
![RedBlackTree2.svg](../res/RedBlackTree2.svg)
![RedBlackTree3.svg](../res/RedBlackTree3.svg)
![RedBlackTree4.svg](../res/RedBlackTree4.svg)
![RedBlackTree5.svg](../res/RedBlackTree5.svg)
![RedBlackTree6.svg](../res/RedBlackTree6.svg)
上面五种情况中,若处于$$ Red Uncle $$情况则按照$$ (1) $$进行旋转和重新染色,再从$$ grandfather $$节点开始下一次检查(跳过了一个节点);若处于$$ Black Uncle $$情况则按照$$ (2) - (5) $$进行旋转和染色,之后该树必然满足红黑树属性,不必继续向上依次检查所有节点,停止检查,插入结束。
红黑树删除前半部分与AVLTree、BinarySearchTree相同,这里不再赘述。
前两种情况中实际删除的节点是$$ x $$,第三种情况实际删除的节点是$$ x $$的后继节点$$ y $$。
--------
#### Red Black Tree
* http://faculty.cs.niu.edu/~freedman/340/340notes/340redblk.htm
* https://www.cs.princeton.edu/~rs/talks/LLRB/RedBlack.pdf
--------
#### 源码
[RedBlackTree.h](https://github.com/linrongbin16/Way-to-Algorithm/blob/master/src/DataStructure/RedBlackTree.h)
[RedBlackTree.cpp](https://github.com/linrongbin16/Way-to-Algorithm/blob/master/src/DataStructure/RedBlackTree.cpp)
#### 测试
[RedBlackTreeTest.cpp](https://github.com/linrongbin16/Way-to-Algorithm/blob/master/src/DataStructure/RedBlackTreeTest.cpp)
- Content 目录
- Preface 前言
- Chapter-1 Sort 第1章 排序
- InsertSort 插入排序
- BubbleSort 冒泡排序
- QuickSort 快速排序
- MergeSort 归并排序
- Chapter-2 Search 第2章 搜索
- BinarySearch 二分查找法(折半查找法)
- BruteForce 暴力枚举
- Recursion 递归
- BreadthFirstSearch 广度优先搜索
- BidirectionalBreadthSearch 双向广度搜索
- AStarSearch A*搜索
- DancingLink 舞蹈链
- Chapter-3 DataStructure 第3章 数据结构
- DisjointSet 并查集
- PrefixTree(TrieTree) 前缀树
- LeftistTree(LeftistHeap) 左偏树(左偏堆)
- SegmentTree 线段树
- FenwickTree(BinaryIndexedTree) 树状数组
- BinarySearchTree 二叉查找树
- AVLTree AVL平衡树
- RedBlackTree 红黑树
- Chapter-4 DynamicProgramming 第4章 动态规划
- Chapter-5 GraphTheory 第5章 图论
- Chapter-6 Calculation 第6章 计算
- LargeNumber 大数字
- Exponentiation 求幂运算
- Chapter-7 CombinatorialMathematics 第7章 组合数学
- FullPermutation 全排列
- UniqueFullPermutation 唯一的全排列
- Combination 组合
- DuplicableCombination (元素)可重复的组合
- Subset 子集
- UniqueSubset 唯一的子集
- Permutation 排列
- PermutationGroup 置换群
- Catalan 卡特兰数
- Chapter-8 NumberTheory 第8章 数论
- Sieve 筛选算法
- Euclid 欧几里得
- EuclidExtension 欧几里得扩展
- ModularLinearEquation 模线性方程
- ChineseRemainerTheorem 中国剩余定理
- ModularExponentiation 模幂运算
- Chapter-9 LinearAlgebra 第9章 线性代数
- Chapter-10 AnalyticGeometry 第10章 解析几何
- Chapter-11 TextMatch 第11章 文本匹配
- SimpleMatch 简单匹配
- AhoCorasickAutomata AC自动机
- KnuthMorrisPratt KMP匹配算法
- RabinKarp RabinKarp算法
- BoyerMoore BoyerMoore算法
- Chapter-12 GameTheory 第12章 博弈论
- BashGame 巴什博弈
- WythoffGame 威佐夫博弈
- NimGame 尼姆博弈