Árvores AVL: Definição Correta, Mecanismo de Auto-balanceamento e Usos

AVL significa Adelson-Velsky e Landis—os matemáticos soviéticos que inventaram esta árvore binária de busca auto-balanceada em 1962. Não significa "Comprimento Variável Adaptativo".

Como Funcionam as Árvores AVL

• Cada nó armazena um fator de balanceamento = altura(árvore esquerda) – altura(árvore direita).
• Fatores de balanceamento permitidos: –1, 0, +1.
• Após inserção/exclusão, rotações (simples/duplas) restauram o balanceamento em tempo O(log n).

Propriedades Principais

• Altura sempre O(log n) → busca, inserção e exclusão garantidas em O(log n).
• Mais estritamente balanceada que árvores rubro-negras → buscas mais rápidas, gravações ligeiramente mais lentas.

Aplicações Comuns

• Bancos de dados e índices em memória
• Tabelas de símbolos de compiladores
• Sistemas em tempo real que exigem latência previsível