-\s{Insert:} (v èerveno-èernom strome)
-BÚNO nový uzel $t$ bude èervený.
-Vlo¾íme uzel do stromu jako do standartního binárního vyhledávacího stromu.
-Jestli¾e je pøedek èerný, jsme hotovi (viï obr. 1).
-\figure{01.eps}{obr. 1}{2in}
-Jestli¾e nikoliv, mù¾u nastat tøi nasledujíci pøípady:
-\itemize\ibull
-\:Je-li vrchol $t$ èervený a jeho otec je také èervený, pak øekneme, ¾e $t$ je porucha. Je-li $t$ porucha,
-pak ji musíme nìjak opravit. Situace je na obrázku 2 - nejprve zále¾í na tom, jakou barvu má $s$, strýc $t$:
-\figure{02.eps}{obr. 2}{1.5in}
-\algo
-\:$s$ je èervený. Pak pouze pøebarvíme $o$, $d$ a $s$ podle obrázku 3.
-Nyní $d$ mù¾e být porucha, ov¹em posunutá o 2 hladiny vý¹e.
-\figure{03.eps}{obr. 3}{3.5in}
-Pro splnìní poslední podmínky je je je¹tì nutné pøebarvit koøen $d$ na èerno.
-
-\:$s$ je èerný. Pak zále¾í na tom, zda hodnota $t$ le¾í mezi hodnotami $o$ a $d$ nebo ne. Jinými slovy, zda cesta $t-o-d$ obsahuje zatáèku.
-(a) Bez zatáèky: Provedeme rotaci a pøebarvíme podle obrázku 4. Splnìny budou podmínky 1, 2 i 3, tedy máme èervenoèerný strom:
-\figure{04.eps}{obr. 4}{4in}
-(b) Se zatáèkou. Provedeme dvojitou (LR) rotaci a pøebarvíme podle obrázku 5. Splnìny budou podmínky 1, 2 i 3, opìt máme rovnou èervenoèerný strom.
-\figure{05.eps}{obr. 5}{4in}
-\endalgo
-\endlist
+\s{Insert:}
+Vlo¾íme hodnotu do stromu jako do standardního binárního vyhledávacího stromu, tedy jako list,
+a obarvíme èervenì. První ani tøetí axiom jsme neporu¹ili a pokud je pøedek èerný, tak ani
+axiom druhý, èili jsme hotovi:
+\fig{01.eps}{2in}
+Jestli¾e je otec~$o$ na¹eho vrcholu~$t$ také èervený, budeme øíkat, ¾e do¹lo k~{\I poru¹e}
+a budeme se ji sna¾it opravit. Situace musí vypadat následovnì: