Gabarito disponível
Resolução comentada
Árvore AVL é a árvore binária de busca balanceada pela altura, com diferença de no máximo 1 entre as subárvores de cada nó.
Na árvore AVL, para todo nó, o módulo da diferença entre as alturas das subárvores esquerda e direita (fator de balanceamento) é de no máximo 1, ou seja, vale -1, 0 ou 1. Quando uma inserção ou remoção viola essa condição, são feitas rotações para restaurar o balanceamento.
Análise das alternativas
A) Errada: diferença maior que 1 viola a definição de AVL. C) Errada: exigir alturas sempre iguais é restritivo demais e só seria possível com árvores perfeitas. D) e E) Erradas: a definição não fixa valores mínimos para as alturas.
Referência: Adelson-Velsky e Landis (1962); Cormen et al., Algoritmos: Teoria e Prática; Szwarcfiter, Estruturas de Dados e Seus Algoritmos.
Resolução comentada do VaiConcursos.