Definícia: Usporiadaný strom je koreňový strom. Pre každý jeho uzol platí, že n-tica koreňov podstromov uzlu je usporiadaná.
Binárny vyhľadávací strom je taký binárny usporiadaný strom, že pre každý jeho uzol platí, že ľavý podstrom tohto uzlu je buď prázdny alebo obsahuje uzly, ktorých hodnoty sú menšie ako hodnota tohto uzlu a zároveň rovnako pravý podstrom tohto uzlu je buď prázdny alebo obsahuje uzly, ktorých hodnota je väčšia ako hodnota tohto uzlu.
algoritmy v BVS:
vyhľadávanie
insert - ak uzol s daným kľúčom existuje, prepíšu sa staré dáta, ak neexistuje, vloží sa nový uzol:
delete - rušenie terminálneho uzlu je ľahké, rovnako uzlu s jedným synom, pri rušení uzlu pri rušení uzlu s dvoma podstromami nahradíme rušený uzol buď najpravejším uzlom ľavého podstromu, alebo najľavejším uzlom pravého podstromu
BVS so zarážkou:
všetky terminálne uzly ukazujú na uzol, ktorý má ako kľúč to, čo práve hľadáme
význam - netreba overovať koniec ⇒ zrýchlenie algoritmu