In una struttura ad albero, una ricerca in cui è possibile decidere, ad ogni passo, quale parte dell'albero può essere respinta senza un'ulteriore ricerca.