Binární vyhledávací strom je binární strom s invariantem řazení: pro každý uzel všechny klíče v jeho levém podstromě jsou menší a všechny klíče v jeho pravém podstromě jsou větší. To vám umožňuje hledat halving problém v každém kroku.
Invariant
text
8
/ \
3 10
/ \ \
1 6 14 left < node < right at every node
