Двоичное дерево поиска — это двоичное дерево с инвариантом упорядочения: для каждого узла все ключи в левом поддереве меньше, а все ключи в правом поддереве больше. Это позволяет выполнять поиск, разбивая задачу пополам на каждом шаге.
The invariant
text
8
/ \
3 10
/ \ \
1 6 14 left < node < right at every node
