Pohon pencarian biner adalah pohon biner dengan invarian pemesanan : untuk setiap simpul, semua kunci di subpohon kirinya lebih kecil, dan semua kunci di subpohon kanannya lebih besar. Ini memungkinkan Anda mencari dengan membelah masalah di setiap langkah.
Invarian
text
8
/ \
3 10
/ \ \
1 6 14 left < node < right at every node
