Balancea un BST con colores en los nodos + cuatro reglas. El árbol balanceado que vive dentro de casi todos los mapas de la librería estándar.
→ camino más largo ≤ 2× el más corto → altura ≤ 2·log₂(n+1)
Los nodos nuevos llegan en rojo; se recolorea/reestructura para respetar las reglas. Inserta 1..7 ordenado → balanceado, nunca una cadena.
Con 100000: altura RB 22 (cota 33), AVL fue 17, BST simple 100000. 68× más rápido con n=8000.
El árbol balanceado pragmático: O(log n) garantizado, actualizaciones baratas, en todos lados. Sigue: el heap binario — renuncia al orden de búsqueda para agarrar el máximo más rápido.