Uma árvore de busca binária é uma árvore binária com um invariante de ordenação: para cada nó, todas as chaves na subárvore esquerda são menores, e todas as chaves na subárvore direita são maiores. Isso permite que você pesquise dividindo o problema pela metade em cada etapa.
The invariant
text
8
/ \
3 10
/ \ \
1 6 14 left < node < right at every node
