Homepage
Curriculum vitae
Publikace
Výuka
Kontakt
   

Diskrétní matematika ZS 2017/2018

Tady je přehled látky probrané v jednotlivých týdnech. Přednášky jsou v elektronické formě ke stažení, obvykle jsou den, dva před přednáškou aktualizovány (ve formátu PDF).
Oproti minulým letům jsou soubory upravené a některé podmínky se výrazně liší.

K dispozici jsou i příklady na procvičení: dim_cviceni.pdf

 

První přednáška, Po 18.9.2017

Soubory: dim_kapitola01.pdf, dim_kapitola01_en.pdf.

Na první přednášce jsme prošli hodnocení písemek a referátů, podmínky získání zápočtu a zkoušky i doporučenou literaturu.
Probrali jsme část první kapitoly: posloupnosti a jejich součty a součiny, množiny a množinové operace, včetně kartézského součinu, potenční množiny a množinové systémy. Byly nadefinovány pojmy permutace množiny, kombinace a variace (bez opakování) na množině.

 

Druhá přednáška, Po 25.9.2017

Soubory: dim_kapitola02.pdf ,dim_kapitola02_en.pdf.

Na druhé přednášce jsme probrali permutace, kombinace a variace bez opakování, včetně příkladů. Byly nadefinovány pojmy permutace množiny, kombinace a variace (s opakováním) na množině. Ukázali jsme si, jak odvodit vztahy pro počet zmíněných výběrů. Začali jsme další kapitolu: motivační příklady, pojem pravděpodobnostní prostor, funkce pravděpodobnosti, uniformní pravděpodobnost i dále nezávislé jevy, včetně příkladů.

 

Třetí přednáška, Po 2.10.2017

Soubory: dim_kapitola03.pdf, dim_kapitola03_en.pdf.

Dokončili jsme Kapitolu 2: pravděpodobnostní prostor, funkce pravděpodobnosti a nezávislé jevy. Na příkladech byly probrány pojmy náhodná veličina a střední hodnota náhodné veličiny, zmínili jsme podmíněnou pravděpodobnost.

 

Čtvrtá přednáška, Po 9.10.2017

Soubory: dim_kapitola04.pdf, dim_kapitola04_en.pdf.

Přednáška byla věnována důkazovým technikám, zejména užití matematické indukce a důkazům metodou počítání.

 

Pátá přednáška, Po 16.10.2017

Soubory: dim_kapitola05.pdf, dim_kapitola06.pdf

Nejprve jsme odvodili některé kombinatorické identity a na příkladech ukázali užití Dirichletovu principu. Dále jsme zavedli pojem relace. Popsali jsme důležité vlastnosti relací a zaměřili jsme se na pojem uspořádání a ekvivalence. Ukázali jsme souvislost mezi ekvivalencemi na množině a rozklady množiny.

 

Šestá přednáška, Po 23.10.2017

Soubory: dim_kapitola06.pdf, dim_kapitola07.pdf, Algoritmizace diskrétních struktur

Zavedli jsme pojem zobrazení a popsali důležité speciální typy zobrazení. Byla probrána skládání zobrazení jak v maticovém zápisu, tak v zápisu pomocí permutací. Další část přednášky byla věnována implementaci diskrétních struktur (posloupnost, relace, množina) a také souvisejícím algoritmům. Jednalo se především o probrání všech uspořádaných i neuspořádaných dvojic, ověření, zda daná relace je symetrická či tranzitivní a implementaci množin. Dále jsme se věnovali implementaci některých algoritmů pro diskrétní struktury, zejména vygenerování všech variací a kombinací k prvků z n-prvkové množiny. Dokončili jsme téma implementace algoritmických struktur.

 

Sedmá přednáška, Po 30.10.2017

Soubory: dim_kapitola08.pdf, dim_kapitola08_en.pdf.

Dále jsme se na sedmé přednášce věnovali základním pojmům teorie grafů. Zavedli jsme pojem grafu, stupeň vrcholu a některé základní typy grafů jako kompletní graf, kompletní bipartitní graf, cykly a cesty. Také jsme zavedli pojem stupňové posloupnosti a probrali větu Havla-Hakimiho. Věnovali jsme se pojmu isomorfismus grafů.

 

Osmá přednáška, Po 6.11.2017

Soubory: dim_kapitola09.pdf, dim_kapitola09_en.pdf.

Na přednášce jsme se věnovali implementaci grafů v počítači a různým stupňům souvislosti grafů. Dále byla přednáška byla věnována souvislosti grafu. Nadefinovali jsme sled, tah a cesta v grafu a zavedli jsme pojem komponenty souvislosti. Další část přednášky byla věnována prohledávání grafů postupem do šířky i do hloubky, probrali jsme i různé stupně souvislosti grafů.

 

Devátá přednáška, Po 13.11.2017

Soubory: dim_kapitola10.pdf, dim_kapitola10_en.pdf.

Nadefinovali jsme eulerovské grafy a uvedli nutné a dostatečné podmínky, aby bylo možné graf nakreslit jedním otevřeným či uzavřeným tahem.
Zavedli jsme pojem hamiltonovského grafu a uvedli několik dostatečných podmínek pro to, aby v grafu existoval hamiltonovský cyklus. Dále jsme se věnovali ohodnoceným grafům a hledání nejkratší cesty užitím Dijkstrova algoritmu.

 

Desátá přednáška, Po 20.11.2017

Soubory: dim_kapitola11.pdf, dim_kapitola11_en.pdf.

Nejprve byla zavedena vzdálenost v grafu a metrika grafu. Ukázali jsme si algoritmus pro sestavení metriky grafu (čtvercové matice udávající vzdálenost mezi každými dvěma vrcholy grafu). Zavedli vážené ohodnocení grafu a probrali Dijkstrův algoritmus pro hledání nejkratších cest v grafu z daného vrcholu.

 

Jedenáctá přednáška, Po 27.11.2017

Soubory: dim_kapitola12.pdf, dim_kapitola12_en.pdf.

Dále zavedeme třídu grafů zvaných stromy a dokážeme několik základních vět pro stromy. Potom zavedeme pojem kořenového stromu a pěstěného stromu. Ukážeme si, jak sestavit kód pěstovaného stromu. Ukážeme si algoritmus pro určení isomorfismu dvou stromů.

 

Dvanáctá přednáška, Po 4.12.2017

Soubory: dim_kapitola12.pdf, dim_kapitola12_en.pdf.

Převedeme jsme každý strom na kořenový pěstěný strom a najdeme jeho minimální kód. Probereme téma minimální kostry grafu. Dále zavedeme (dobré) barvení grafu a nadefinujeme rovinný graf. Dále zavedeme (dobré) barvení grafu a nadefinujeme rovinný graf. Na závěr si ukážeme co je to duální graf rovinného grafu.

 

Třináctá přednáška, Po 11.12.2017

Soubory: dim_kapitola13.pdf, dim_kapitola13_en.pdf.

Ukážeme si Eulerův vzorec a budeme se věnovat některým jeho důsledkům. Na přednášce začneme poslední kapitolu: toky v sítích. Budeme se věnovat algortimu hledání maximálního toku v síti a aplikacím sítí.

 

Čtrnáctá přednáška, Po 18.12.2017

Soubory: dim_kapitola14.pdf, dim_kapitola14_en.pdf.

Ukážeme si také správnost algoritmu a jeho další aplikace (hledání největšího párování, důkaz Hallovy věty). Probereme další aplikace Ford-Fulkersonova algoritmu. Ukážeme si, jak algoritmus použít při hledání systému reprezentantů i při důkazu Mengerových vět. Poslední část přednášky bude věnována řešeným příkladům.

 

Poznámka

Pokud najdete chybu v textu přednášek, dejte mi, prosím, vědět. Pokusím se chyby co nejdříve opravit.

Zpět na stránku předmětu Diskrétní matematika.


email
kancelář EA536, tel. 597 325 972
Upraveno: 20.11.2017