By definition, R / B trees may be slightly less balanced, then AVL-s, as | maxPath - minPath | must be <= 1 for AVL and maxPath <= 2 * minPath for R / Bs, so not every R / B is AVL, but on the other hand, there is no need for AVL-s. To have Empty subTrees, therefore
4
/ \
3 6
/\ /\
1 E 5 8
- AVL, R/B, R/B , - .
R/B, x node E x E
:
R/B: BST , , node - node, node, . T ≤ 2 * T
Btw , - .
Karol