Un arbre binaire de recherche est un arbre binaire avec un invariant d'ordre : pour chaque nœud, toutes les clés du sous-arbre gauche sont plus petites, et toutes les clés du sous-arbre droit sont plus grandes. Cela vous permet de chercher en divisant le problème par deux à chaque étape.
L'invariant
text
8
/ \
3 10
/ \ \
1 6 14 left < node < right at every node
