\input ../lecnotes.tex

\prednaska{0}{Ukázka pou¾ití maker}{(zapsal Martin Mare¹)}

% Takhle vypadá nadpis
\h{Pøedposlední kapitola}

% \> zaøídí, aby se odstavec neodsadil. Pomocí \I se sází kurzíva, \foot vyrobí poznámku pod èarou.
\>Je svaèveèer. {\I Lysperní jezeleni} se vírnì vrtáèejí v~mokøavì.\foot{Viz Lewis Caroll: Jabberwocky.}

\itemize\ibull
\:Takhle.
\:Vypadají.
\:Odrá¾ky.
\endlist

\h{Druhá kapitola}

\s{Vìta:} Paøez není strom.

\proof
Strom je speciálním pøípadem lesa. Les je (podle definice) graf bez kru¾nic.
Paøez obsahuje alespoò jednu kru¾nici. Proto paøez nemù¾e být les, a~tedy ani
strom.
\qed

\s{Algoritmus:} (tøídìní posloupnosti $a_1,\ldots,a_n$ pomocí {\sc Stupidsort}u)

\algo
\:$\pi \leftarrow \hbox{identická permutace na~mno¾inì $\{1,\ldots,n\}$}$.
\:Opakuj:
\::Ovìø, zda je posloupnost $a_{\pi(1)},a_{\pi(2)},\ldots,a_{\pi(n)}$ uspoøádána vzestupnì.
   Pokud je, vra» ji jako výsledek.
\::Nahraï $\pi$ jejím lexikografickým následníkem.
\endalgo

\bye
