Předmět: 470-2301/01: Diskrétní matematika (DIM)
Garant: RNDr. Michael Kubesa, Ph.D.
Rozsah: 6 kreditů (2/2/2)
Akademický rok: 2011/2012

Anotace

Předmět seznamuje studenty se základními pojmy teorie množin a diskrétní matematiky, se kterými se nejčastěji pracuje v různých oblastech teoretické a aplikované informatiky. Cílem je naučit se používat tyto pojmy při exaktní formulaci a řešení praktických úloh.

Slovo "diskrétní" v názvu je míněno jako opak "spojitého"; tj. předmět se zabývá těmi oblastmi matematiky, kde uvažujeme celá čísla a jednotlivé konečné objekty. Diskrétní objekty jsou prezentovány převážně pomocí konečných množin a grafů.

Průběh přednášek

K dispozici bude přehled látky probrané v jednotlivých týdnech včetně elektronické prezentace.

Část I - Úvod do diskrétní matematiky

• Zaměření a cíle diskrétní matematiky. Množiny, prvky a podmnožiny, úvodní kombinatorické pojmy. Kombinace a permutace, vzorce na jejich počet. Výběry prvků s opakováním.
• Konečná pravděpodobnost, hody mincí a kostkou, náhodné výběry, míchání karet. Pojem pravděpodobnosti, prostoru a jevu. Náhodná čísla v počítači.
• Přirozená čísla a matematická indukce. Pojem matematického důkazu. Počty podmnožin, důkazy vzorců pro kombinace a permutace.
• Formální základy diskrétní matematiky: pojmy relace, zobrazení, ekvivalence, uspořádání, částečné uspořádání. (Princip inkluze a exkluze.)
• Algoritmické aspekty: praktická implementace množin, zobrazení a relací. Algoritmy generování podmnožin a permutací.

Část II - Úvod do teorie grafů

• Pojem grafu, jeho souvislost s relacemi. Podgrafy, isomorfizmus, stupně vrcholů, indukované podgrafy. Realizace grafu, orientovaný graf.
• Souvislost grafu, algoritmy procházení do hloubky a do šířky. Vícenásobná souvislost, hranová souvislost. (Mengerova věta.) Eulerovské grafy - kreslení jedním tahem.
• Vzdálenost v grafu, Dijkstrův algoritmus pro hledání nejkratší cesty. Metrika grafu a její výpočet.
• Stromy a jejich charakterizace, isomorfizmus stromů. Kořenové stromy. Kostra grafu, (počet koster), problém minimální kostry. Aplikace na hledání minimální kostry, algoritmy Jarníka a Borůvky.
• Rovinné kreslení grafu, Eulerův vztah. Barvení grafů, bipartitní grafy a jejich rozeznávání.
• Toky v sítích: definice a modelované problémy. Ford-Fulkersonův algoritmus pro nalezení maximálního toku. Aplikace na párování a různé reprezentanty.
• Praktická realizace grafů v počítači, různé způsoby realizace a jejich výhody. Ohodnocení vrcholů a hran. Realizace kořenových stromů a planárních grafů. (Vizualizace grafů včetně nerovinných.)

Hodnocení

Účast na přednáškách formálně není povinná, nicméně se vřele doporučuje pro úspěšné zvládnutí studia. Protože každý týden semestru se píší bodované písemky, je účast na cvičeních nutná, ačkoli formálně není povinná. Při případné neúčasti máte možnost sami na webu zjistit, co bylo probráno a na jaké téma se bude další psát písemka.

Zápočtové písemky (20 bodů)

Každý týden v semestru (s výjimkou prvního týdne) se na cvičení bude psát krátká zápočtová písemka (10-11 písemek). K vyřešení bude zhruba 2-10 minut, podle obtížnosti příkladu. Během písemek není možno používat literaturu, ani zápisky. Za každou písemku můžete získat 0/1/2 body - rozuměj NE/TÉMĚŘ SPRÁVNĚ/ZCELA SPRÁVNĚ. Při absenci se písemka hodnotí 0 body.

Na konci semestru se každému vezmou body osmi nejlepších písemek a jejich součet se vynásobí koeficientem 1,25. To bude celkový počet bodů za semestrální písemky.

Témata písemek najdete v tabulce. Alespoň týden předem budou k dispozici také zadání příkladů.

Samostatný projekt (10 bodů)

Během semestru budou zveřejněna témata na samostatných projektů. Každý student vypracuje jedno zadání podle čísla, které mu bude přiděleno.
Projektům je věnována samostatná stránka.

Zkouška (70 bodů)

Ke zkoušce můžete jít, jestliže máte nárok na zápočet (máte alespoň 10 bodů a váš referát bude přijat)! Hlavní součástí zkoušky je písemná práce zhruba na 75 minut. Na písemné zkoušce můžete získat až 70 bodů.
Během zkoušky můžete používat vedle vlastní hlavy pouze jednu stranu A4 rukou psaných poznámek.
Na tomto "zlegalizovaném taháku" mohou být definice, věty a vztahy, ale "tahák" nesmí obsahovat řešené příklady .

Data a místnosti zkušebních termínů budou stanoveny koncem semestru.

Můžete se podívat na vzorovou zkouškovou písemku ve formátu pdf: dim_vzorova_pisemka_zk.pdf.

Literatura

• M. Kubesa. Základy diskrétní matematiky, výukový text I (skripta online), FEI VŠB - TUO, 2011.
• P. Kovář. Úvod do teorie grafů, výukový text II (skripta online - část), FEI VŠB - TUO, 2011.
• P. Kovář. Cvičení z diskrétní matematiky, výukový text (soubor cvičení online), 2011.
• P. Hliněný. Diskrétní matematika, výukový text ('DIM-text06.pdf' se připravuje!, FEI VŠB - TUO, 2004.
• J. Matoušek, J. Nešetřil. Kapitoly z diskrétní matematiky, Karolinum Praha 2000.
  (Kapitoly 1, 2 a kousek z 9 pro Část I přednášky. Kapitoly 3, 4, 5 pro Část II přednášky.)

10 výtisků knihy "Kapitoly z diskrétní matematiky" je v knihovně VŠB, prodejna skript ji neprodává. Knihu je možné koupit případně objednat v knihkupectví Profesio v centru Ostravy, Hollarova ulice naproti ČSOB. Vhodné zejména pro studenty s hlubším zájmem o předmět.

Literatura je doporučená, není povinná. Na přednáškách a cvičeních se dozvíte vše co je potřeba znát ke zkoušce.
Rozhodně není potřeba učit se nazpaměť pasáže z knih, látce je třeba rozumět!
Je možné používat i jiné úvodní knihy a skripta pro daný předmět, ovšem pozor: některé detaily na přednášce se mohou lišit od literatury (odchylky v definicích pojmů, které nejsou ustálené) a u zkoušky pak platí to, co bylo na přednášce.