Árvore Binária de Busca (BST)
Gabarito: letra C. A condição fundamental de uma árvore binária de busca é que, para cada nó, todos os valores da subárvore esquerda são menores (ou menores ou iguais) que o nó pai, e todos os valores da subárvore direita são maiores que o nó pai. Essa definição é clássica na ciência da computação e está citada na Wikipedia: "todos os nós da subárvore esquerda possuem um valor numérico inferior ao nó raiz e todos os nós da subárvore direita possuem um valor superior ao nó raiz". A alternativa C reflete exatamente essa condição com variação de "menor ou igual" no lado esquerdo, que é comum em implementações que permitem duplicatas.
Alternativa A — ❌ Incorreta
Afirma que o nó da esquerda deve ser maior que o nó da direita. Isso está errado: na BST, o nó esquerdo deve ser menor (ou igual), e o direito maior. Essa alternativa inverte a relação correta.
Alternativa B — ❌ Incorreta
Diz que todos os nós devem ter exatamente dois filhos. Isso é falso: uma BST pode ter nós com 0, 1 ou 2 filhos. A condição de ter dois filhos não é exigência da estrutura, apenas uma possibilidade.
Alternativa C — ✅ Correta ⟵ GABARITO
Conforme a definição de BST: "o nó da esquerda deve ser menor ou igual ao nó pai, e o nó da direita deve ser maior que o nó pai" — essa é a propriedade de ordenação que caracteriza a árvore binária de busca.
Alternativa D — ❌ Incorreta
Afirma que a árvore deve ser balanceada. Balanceamento é uma propriedade adicional (presente em árvores AVL, rubro-negras, etc.), mas não é condição para uma BST. Uma BST pode ser totalmente desbalanceada (equivalente a uma lista ligada) e ainda assim ser válida.