Um sistema de agenda corporativa armazena milhões de contatos ordenados alfabeticamente e exige que as operações de inserção, remoção e consulta mantenham tempo de execução logarítmico mesmo após sucessivas modificações, utilizando uma árvore binária de busca autoajustável cujas propriedades garantem o balanceamento através da coloração dos nós em duas cores distintas e da rotação de subárvores. Assinale a alternativa correspondente a essa estrutura de dados.