"Binární strom je datová struktura, která se skládá z několika uzlů, přičemž každý z nich má maximálně dva potomky."

Na matfyzu by do Vás za tuhle definici okamžitě začali šťourat, ukázali by Vám sice binární, ale nesouvislý a cykly obsahující graf a ptali by se, zda tedy opravdu tohle je stromem nebo ne :-)

Ano, máte pravdu. Binární strom opravdu nesmí obsahovat žádné cykly a musí být souvislý. Je pravda, že to jsem v definici opomněl zmínit. Nicméně si myslím, že z dalších obrázků je už patrné, jak binární stromy vypadají. Ale jinak díky za připomínku :-)

Ve vyhledavani vam chybi u tech "rekurzivnich" volani return.

Jinak samozrejmne konstrukce typu return foo(); neni zadna rekurze, ale jenom pohodlny zpusob jak zapsat cyklus, kompilatory ktere z toho opravdu to rekurzivni volani udelaji (zvlast pokud se jedna o tu stejnou funkci) vznikaji tak leda jako skolni domaci ukoly (ano, jsou pripady kdy to nejde, ale to je spise vyjimka).