]> mj.ucw.cz Git - ads1.git/blob - 0-demo/0-demo.tex
Opraven preklep v dukazu posledni vety.
[ads1.git] / 0-demo / 0-demo.tex
1 \input ../lecnotes.tex
2
3 \prednaska{0}{Ukázka pou¾ití maker}{(zapsal Martin Mare¹)}
4
5 % Takhle vypadá nadpis
6 \h{Pøedposlední kapitola}
7
8 % \> zaøídí, aby se odstavec neodsadil. Pomocí \I se sází kurzíva, \foot vyrobí poznámku pod èarou.
9 \>Je svaèveèer. {\I Lysperní jezeleni} se vírnì vrtáèejí v~mokøavì.\foot{Viz Lewis Caroll: Jabberwocky.}
10
11 \itemize\ibull
12 \:Takhle.
13 \:Vypadají.
14 \:Odrá¾ky.
15 \endlist
16
17 \h{Druhá kapitola}
18
19 \s{Vìta:} Paøez není strom.
20
21 \proof
22 Strom je speciálním pøípadem lesa. Les je (podle definice) graf bez kru¾nic.
23 Paøez obsahuje alespoò jednu kru¾nici. Proto paøez nemù¾e být les, a~tedy ani
24 strom.
25 \qed
26
27 \s{Algoritmus:} (tøídìní posloupnosti $a_1,\ldots,a_n$ pomocí {\sc Stupidsort}u)
28
29 \algo
30 \:$\pi \leftarrow \hbox{identická permutace na~mno¾inì $\{1,\ldots,n\}$}$.
31 \:Opakuj:
32 \::Ovìø, zda je posloupnost $a_{\pi(1)},a_{\pi(2)},\ldots,a_{\pi(n)}$ uspoøádána vzestupnì.
33    Pokud je, vra» ji jako výsledek.
34 \::Nahraï $\pi$ jejím lexikografickým následníkem.
35 \endalgo
36
37 \bye