数据结构和算法:14.红黑树

具体代码请看:NDKPractice项目的datastructure40redblacktree

1. 红黑树的定义:

红黑树是一棵自平衡的二叉搜索树

特性:

  1. 每个节点或者是黑色,或者是红色。
  2. 根节点是黑色。
  3. 每个叶子节点(NIL)是黑色。 [注意:这里叶子节点,是指为空(NIL或NULL)的叶子节点!]
  4. 如果一个节点是红色的,则它的子节点必须是黑色的。
  5. 从一个节点到该节点的子孙节点的所有路径上包含相同数目的黑节点。

2. 新增逻辑:

分情况分析:

  1. 如果没有出现双红现象,父亲是黑色的不需要修正;
  2. 叔叔是红色的 ,将叔叔和父亲染黑,然后爷爷染红;指针回到爷爷
  3. 叔叔是黑色的,父亲是爷爷的左节点,且当前节点是其父节点的右孩子,将“父节点”作为“新的当前节点”,以“新的当前节点”为支点进行左旋。然后将“父节点”设为“黑色”,将“祖父节点”设为“红色”,以“祖父节点”为支点进行右旋;
  4. 叔叔是黑色的,父亲是爷爷的左节点,且当前节点是其父节点的左孩子,将“父节点”设为“黑色”,将“祖父节点”设为“红色”,以“祖父节点”为支点进行右旋;
  5. 叔叔是黑色的,父亲是爷爷的右节点,且当前节点是其父节点的左孩子,将“父节点”作为“新的当前节点”,以“新的当前节点”为支点进行右旋。然后将“父节点”设为“黑色”,将“祖父节点”设为“红色”,以“祖父节点”为支点进行左旋;
  6. 叔叔是黑色的,父亲是爷爷的右节点,且当前节点是其父节点的右孩子,将“父节点”设为“黑色”,将“祖父节点”设为“红色”,以“祖父节点”为支点进行左旋;

上面的双红修正现象看似比较复杂,但实际上只有三种情况,一种是没有双红现象,另一种是父亲和叔叔都是红色的,最后一种是叔叔是黑色的。我们来画个实例看下:以 [3,2,1,4,5] 为例

3. 删除逻辑:

讨论下:

  1. 删除一个红色节点不影响;
  2. 加入删除一个黑色节点那么肯定会破坏性质 5
  3. 假设左右子树都不为空的情况下,需要找到后继节点来代替,其实删除的就是后继节点
  4. 假设删除的左右两棵子树上有一颗不为空的情况,会找左右的一棵子树来代替

左右子树不为null的情况下实际删除的是后继节点

  1. 如果兄弟节点是红色的,把兄弟节点染黑,父节点染红,左/右旋父节点;
  2. 如果兄弟节点是黑色的,并且两个侄子节点都是黑色的,将兄弟节点染红,指针回溯至父亲节点;
  3. 如果兄弟节点是黑色,的并且远侄子是黑色的,近侄子是红色的,将进侄子染黑,兄弟染红,左/右旋兄弟节点,进入下面情况 4 ;
  4. 如果兄弟节点是黑色的,并且远侄子是红色的,近侄子随意,将兄弟节点染成父亲节点的颜色,父亲节点染黑,远侄子染黑,左/右旋父亲节点。

4.红黑树与 AVL 树的对比

AVL : 插入的思想,在插入的过程中不断去调整树,最坏的情况下可能每次回溯都需要调整(回溯到父亲节点)
红黑树:可能会出现双红现象,如果叔叔是黑色的只需要调整一次或者两次 ,最坏的情况下就是叔叔节点是红色,但每次回溯的时候是两层(回溯到爷爷节点)

查找:AVL 复杂度是 log(N),红黑树复杂度是 Log(2N)
新增:AVL 复杂度是 log(N),红黑树复杂度是 Log(N) / 2
删除:AVL 复杂度是 log(N),红黑树复杂度是 Log(N) / 2

红黑树的查询性能略微逊色于AVL树,因为其比AVL树会稍微不平衡最多一层,也就是说红黑树的查询性能只比相同内容的AVL树最多多一次比较。
但是,红黑树在插入和删除上优于AVL树,AVL树每次插入删除会进行大量的平衡度计算,而红黑树为了维持红黑性质所做的红黑变换和旋转的开销,相较于AVL树为了维持平衡的开销要小得多。

5. 总结

总结:实际应用中,若搜索的次数远远大于插入和删除,那么选择AVL,如果搜索,插入删除次数几乎差不多,应该选择RB。

6. 代码:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
#include <queue>

using namespace std;

typedef bool rb_color;
#define black false // 黑色 define 后面一定不能带分号
#define red true // 红色

template<class K, class V>
class map {
private:
struct TreeNode;
int count = 0;
TreeNode *root = NULL;
public:
map() {}

public:
struct iterator;

TreeNode *parent(TreeNode *pNode) {
return pNode ? pNode->parent : NULL;
}

TreeNode *left(TreeNode *pNode) {
return pNode ? pNode->left : NULL;
}

TreeNode *right(TreeNode *pNode) {
return pNode ? pNode->right : NULL;
}

TreeNode *brother(TreeNode *pNode) {
return left(parent(pNode)) == pNode ? right(parent(pNode)) : left(parent(pNode));
}

rb_color getColor(TreeNode *pNode) {
return pNode ? pNode->color : black;
}

void setColor(TreeNode *pNode, rb_color color) {
if (pNode)
pNode->color = color;
}

// 左旋
void l_rotation(TreeNode *pNode) {
TreeNode *right = pNode->right;
TreeNode *left = right->left;
pNode->right = left;
right->left = pNode;

// 调整pNode 父亲指向
if (!parent(pNode)) {
root = right;
} else if (pNode->parent->left == pNode) {
parent(pNode)->left = right;
} else {
parent(pNode)->right = right;
}

// 修改父亲
right->parent = parent(pNode);
pNode->parent = right;
if (left)
left->parent = pNode;

}

// 左旋
void r_rotation(TreeNode *pNode) {
TreeNode *left = pNode->left;
TreeNode *right = left->right;
pNode->left = right;
left->right = pNode;

// 调整pNode 父亲指向
if (!parent(pNode)) {
root = left;
} else if (pNode->parent->left == pNode) {
parent(pNode)->left = left;
} else {
parent(pNode)->right = left;
}

// 修改父亲
left->parent = parent(pNode);
pNode->parent = left;
if (right)
right->parent = pNode;

}


// 调整顺序
void solveDoubleRed(TreeNode *pNode) {
while (pNode->parent && pNode->parent->color == red) { // 父亲是红色
if (getColor(brother(parent(pNode))) == red) { // 情况2:叔叔是红色的 ,将叔叔和父亲染黑,然后爷爷染红;
setColor(parent(pNode), black);
setColor(brother(parent(pNode)), black);
setColor(parent(parent(pNode)), red);
pNode = parent(parent(pNode));
} else { // 叔叔是黑色
if (left(parent(parent(pNode))) == parent(pNode)) {
// 情况3:叔叔是黑色的,父亲是爷爷的左节点,且当前节点是其父节点的右孩子,将“父节点”作为“新的当前节点”,以“新的当前节点”为支点进行左旋。
if (right(parent(pNode)) == pNode) {
pNode = parent(pNode);
l_rotation(pNode);
}
// 情况4:叔叔是黑色的,父亲是爷爷的左节点,且当前节点是其父节点的左孩子,将“父节点”设为“黑色”,将“祖父节点”设为“红色”,以“祖父节点”为支点进行右旋;
setColor(parent(pNode), black);
setColor(parent(parent(pNode)), red);
r_rotation(parent(parent(pNode)));
} else {
// 情况3:叔叔是黑色的,父亲是爷爷的左节点,且当前节点是其父节点的右孩子,将“父节点”作为“新的当前节点”,以“新的当前节点”为支点进行左旋。
if (left(parent(pNode)) == pNode) {
pNode = parent(pNode);
r_rotation(pNode);
}
// 情况4:叔叔是黑色的,父亲是爷爷的左节点,且当前节点是其父节点的左孩子,将“父节点”设为“黑色”,将“祖父节点”设为“红色”,以“祖父节点”为支点进行右旋;
setColor(parent(pNode), black);
setColor(parent(parent(pNode)), red);
l_rotation(parent(parent(pNode)));
}
}
}

root->color = black;
}


iterator insert(K key, V value) {
if (!root) {
root = new TreeNode(NULL, NULL, NULL, key, value, black);
count = 1;
return iterator(root);
}

// 最好我们插入红色节点,它不会违反性质 5 ,但是有可能违反性质 4
TreeNode *node = root;
TreeNode *parent = NULL;
while (node) {
parent = node;
if (node->key > key)
node = node->left;
else if (node->key < key)
node = node->right;
else {
node->value = value;
return iterator(node);
}
}

TreeNode *new_node = new TreeNode(NULL, NULL, parent, key, value, red);

if (key < parent->key)
parent->left = new_node;
else
parent->right = new_node;

// 调整顺序
solveDoubleRed(new_node);

count++;

return iterator(new_node);

}

TreeNode *findTree(K key) {
TreeNode *node = root;
while (node) {
if (key == node->key) {
return node;
} else if (key > node->key) {
node = node->right;
} else {
node = node->left;
}
}
return NULL;
}

// 关键代码
void solveLostBlack(TreeNode *pNode) {
while (pNode != root && pNode->color == black) {
if (left(parent(pNode)) == pNode) {// 当前节点是父亲节点的左节点
TreeNode *sib = brother(pNode);
if (getColor(sib) == red) { // 想办法把兄弟节点变成黑色 情况 1
setColor(sib, black);
setColor(parent(pNode), red);
l_rotation(parent(pNode));
sib = brother(pNode);
}
if (getColor(left(sib)) == black && getColor(right(sib)) == black) { // 情况2
setColor(sib, red);
pNode = parent(pNode);
} else {
// 情况 3
if (getColor(right(sib)) == black) {
setColor(sib, red);
setColor(left(sib), black);
r_rotation(sib);
sib = brother(pNode);
}
// 情况 4
setColor(sib, getColor(parent(pNode)));
setColor(parent(pNode), black);
setColor(right(sib), black);
l_rotation(parent(pNode));

// 相当于两行代码 :break ,将根节点染黑
pNode = root;
}
} else {// 当前节点是父亲节点的右节点
TreeNode *sib = brother(pNode);
if (getColor(sib) == red) { // 想办法把兄弟节点变成黑色
setColor(sib, black);
setColor(parent(pNode), red);
r_rotation(parent(pNode));
sib = brother(pNode);
}

if (getColor(left(sib)) == black && getColor(right(sib)) == black) {
setColor(sib, red);
pNode = parent(pNode);
} else {
// 情况 3 远侄子是 黑
if (getColor(left(sib)) == black) {
setColor(sib, red);
setColor(right(sib), black);
l_rotation(sib);
sib = brother(pNode);
}
// 情况 4
setColor(sib, getColor(parent(pNode)));
setColor(parent(pNode), black);
setColor(left(sib), black);
r_rotation(parent(pNode));

pNode = root;
}
}
}
// 当遇到一个红色节点,把红色节点染黑即可
pNode->color = black;
}

bool remove(K key) {
TreeNode *current = findTree(key);

if (current == NULL) {
return false;
}

if (current->left != NULL && current->right != NULL) {
TreeNode *successor = current->successor();
current->key = successor->key;
current->value = successor->value;
current = successor;
}
TreeNode *replace = current->left ? current->left : current->right;

if (replace != NULL) {
// 父亲 , current->parent 会不会有空的情况?
if (current->parent == NULL) { // 根节点
root = replace;
} else if (current->parent->left == current) {
current->parent->left = replace;
} else {
current->parent->right = replace;
}

replace->parent = current->parent;

if (current->color == black) {
solveLostBlack(replace);
}

delete (current);
} else if (current->parent == NULL) { // 删除根节点的情况
delete (root);
root = NULL;
} else {
// 为什么不先移除,是因为在修正的时候需要去获取叔叔和侄子节点来分情况判断
if (current->color == black) {
solveLostBlack(current);
}
// 再来移除
if (current->parent) {
if (current->parent->left == current) {
current->parent->left = NULL;
} else {
current->parent->right = NULL;
}
}
delete (current);
}

count--;
return true;
}

int size() {
return count;
}

bool isEmpty() {
return count == 0;
};

void levelTraverse(void(*log)(K, V, bool)) {
if (root == NULL)
return;

TreeNode *node = root;
queue<TreeNode *> nodes;
nodes.push(node);
while (!nodes.empty()) {
node = nodes.front();
log(node->key, node->value, node->color);
nodes.pop();

if (node->left) {
nodes.push(node->left);
}

if (node->right) {
nodes.push(node->right);
}
}
}
};

template<class K, class V>
struct map<K, V>::TreeNode {
public:
TreeNode *left;
TreeNode *right;
TreeNode *parent;
K key;
V value;
// 颜色
rb_color color;
public:
TreeNode(TreeNode *left, TreeNode *right, TreeNode *parent, K key, V value, rb_color color)
: left(left), right(right), parent(parent), key(key), value(value), color(color) {}

// 找到前驱
TreeNode *precursor() {
if (left) {
TreeNode *node = left;
while (node->right) {
node = node->right;
}
return node;
} else {
if (right) { // 左子树为NULL,右子树不为NULL
return parent;
} else { // 左右子树都为 NULL 的情况
if (parent->right = this) {
return parent;
} else {
TreeNode *myp = this;
while (myp) {
if (myp->parent->left = myp)// 在左子树
myp = myp->parent;
else { // 在根节点的右子树中
return myp->parent;
}
}
return myp;

}
}
}

}

// 找后驱
TreeNode *successor() {
if (right) {
TreeNode *node = right;
while (node->left) {
node = node->left;
}
return node;
} else {
if (left) { // 左子树不为NULL,右子树为NULL
return parent;
} else { // 左右子树都为 NULL 的情况
if (parent->left = this) {
return parent;
} else {
TreeNode *myp = this;
while (myp) {
if (myp->parent->right = myp)// 在右子树
myp = myp->parent;
else { // 在根节点的左子树中
return myp->parent;
}
}
return myp;

}
}
}
}

};

template<class K, class V>
struct map<K, V>::iterator {
private:
TreeNode *node;
public:
iterator(TreeNode *node) : node(node) {}

// 找前驱
iterator &operator--() {
node = node->precursor();
return *this;
}

// 找后继
iterator &operator++() {
node = node->successor();
return *this;
}

V operator*() {
return node->value;
}

};
-------------本文结束感谢您的阅读-------------
坚持原创技术分享,您的支持将鼓励我继续创作!
0%