Arbres équilibrés de radix relaxés : vecteurs immuables efficaces
2025-02-19
Cet article présente les arbres équilibrés de radix relaxés (arbres RRB), une structure de données conçue pour une implémentation efficace des vecteurs immuables. Contrairement aux vecteurs persistants, les arbres RRB offrent des avantages de performance significatifs dans les opérations de fusion. L’article explore le fonctionnement des arbres RRB, en expliquant le concept central de relaxation de la contrainte de densité à gauche et comment une table de tailles et l’invariant M..M-1 garantissent des recherches et des fusions efficaces. Une implémentation en TypeScript est fournie, ainsi qu’une explication détaillée de l’algorithme de fusion, démontrant l’efficacité des arbres RRB en pratique.
Développement
vecteurs immuables