| |
Teorie grafů LS 2021/2022
Předmět: 470-4302: Teorie grafů (TG)
Garant: Petr Kovář
Rozsah: 6 kreditů (2/2/0/0/2)
Akademický rok: 2021/2022
Toto není stránka aktuálního akademického roku.
Osnova předmětu je v systému Edison.
Účast na cvičeních je povinná a účast na přednáškách je předpokládaná, neboť přednášky a cvičení navazují, případně se prolínají.
Průběh cvičení
Během semestru studenti odevzdají zápočtový projekt (maximálně za 20 bodů).
Zápočet dostanou ti studenti, kteří za projekt získají alespoň 10 bodů.
Příklad k procvičení najdete v učebním textu, který je v seznamu literatury.
Obsah souborů se průběžně aktualizuje.
Na zkoušku vybírám příklady vždy z učebního textu (z platné verze ke konci semestru).
Pokud najdete v textu chyby, dejte mi, prosím, vědět.
Můžete se podívat na seznam projektů z let 2007/2008, 2008/2009, 2009/2010, 2010/2011, 2011/2012, 2012/2013, 2013/2014, 2015/2016, 2016/2017, 2017/2018, 2018/2019, 2019/2020 a 2019/2020 nebo na vzorový projekt ve formátu pdf: tg_vzorovy_projekt.pdf.
Témata projektů pro akademický rok LS 2021/2022 se teprve připravují.
- Rozklad na hvězdy
Mějme d-pravidelný graf G.
Dokažte, že graf G je možno hranově rozložit na kopie grafu K1,d právě tehdy, když G je bipartitní graf.
- k koster
V grafu K4 existují dvě hranově disjunktní kostry.
Mějme přirozené číslo k.
Pro jaké nejmenší hodnoty n(k) existuje graf, který má k po dvou hranově disjunktních koster?
a) Pro každé k najděte příklad grafu s n(k) vrcholy, který má k po dvou hranově disjunktních koster.
Dále ukažte, že velikost grafu není postačující podmínka, tj. uveďte příklad grafu, který má alespoň tolik počet hran jako graf z části a), avšak neexistuje v něm k po dvou hranově disjunktních koster.
- Lichý faktor
Mějme strom T se sudým počtem vrcholů.
Ukažte, že ve stromu T existuje faktor, který má všechny vrcholy lichého stupně.
Ukažte také, že tento faktor je jediný.
- Bipartitní podgraf
Mějme libovolný graf G s e hranami.
Kolik nejvíce hran může mít jeho bipartitní podgraf?
Dokažte, že takový bipartitní podgraf existuje a že nemusí existovat bipartitní podgraf s větším počtem hran.
Stačí asymptoticky přesný odhad.
- Prostor cyklů
Ukažte, že množina vektorů, které odpovídají sudým podgrafům grafu G spolu s operací sčítání vektorů a násobení skalárem, tvoří vektorový prostor.
Určete počet různých sudých podgrafů kompletního grafu Kn.
Vrcholy rozlišujeme ohodnocením.
- Automorfismy
Ukažte, že graf, který je hranově tranzitivní a není vrcholově tranzitivní, musí být bipartitní.
- Automorfismy II
Pro~každé přirozené číslo n najděte graf s právě n automorfismy.
Podaří se vám najít takové grafy, které mají současně n vrcholů? Pro která n ne?
- Karty
Mějme balíček hracích karet, ve kterém jsou karty h různých hodnot každá v b různých barvách.
Karty rozložíme na stůl do b řad, každá s h sloupci.
Ukažte, že je možno v každém sloupci vybrat jednu kartu tak, že máme karty všech h hodnot.
K řešení využijte párování v grafu.
- Maximální a největší párování
Mějme k-pravidelný graf G s n vrcholy a nějaké jeho maximální párování M.
Kolik nejméně může mít maximální párování grafu G hran?
Tj. kolik nejvýše může v grafu G být M-nesaturovaných vrcholů?
Najdete příklad takového grafu a jeho maximální párování pro k=2 a k=3?
- 3-pravidelný graf
Dokažte, že 3-pravidelný graf G má 1-pravidelný faktor právě tehdy, když lze graf G (hranově) rozložit na cesty P4.
- Hladové barvení
Ukažte, že pro každý graf existuje takové seřazení vrcholů do posloupnosti, že hladový algoritmus popsaný v Lemmatu 8.5. ve skriptech dá dobré vrcholové barvení grafu G.
- Hladové barvení II
Každý netriviální strom T je bipartitní, a proto χ(T)=2.
Ukažte, že pro každé přirozené číslo k existuje takový strom Tk s nejvyšším stupněm k a takové seřazení jeho vrcholů π = v1, v2, ..., vn, že algoritmus popsaný v Lemmatu 8.5., který bude obarvovat vrcholy v pořadí π, použije k+1 barev, třebaže χ(T)=2.
- Kuratowského podgrafy
Ukažte, že každý 3-souvislý graf s alespoň šesti vrcholy, který obsahuje rozdělení grafu K5, obsahuje také rozdělení grafu K3,3.
- Výhonky
Ukažte, že hra popsaná ve Cvičení 9.3.14. má pro n počátečních puntíků vždy alespoň 2n tahů.
- Téma dle dohody
Témata, která jsou už zadaná, jsou šedá.
Očekává se, že projekty budou vypracovány na úrovni, která odpovídá studentům magisterského nebo doktorského studia.
Nezapomeňte na správné citace použitých zdrojů.
Případná různá obtížnost témat bude kompenzována mírou, jak přísně budou projekty hodnoceny.
Termín odevzdání projektů je pondělí 2.5.2022.
Budou akceptovány projekty odevzdané do 9.5., avšak po 5.5. už nebude čas upozorňovat na chyby v projektu pře jeho bodováním.
Termíny zkoušek najdete ke konci semestru v systému Edison.
Zkouška má část písemnou (řešení příkladů dle zadání) a část ústní (rozprava nad probíranými tématy).
- P. Kovář, Teorie grafů, učební text, (2022).
- J. Matoušek, J. Nešetřil, Kapitoly z diskrétní matematiky, Karolinum Praha (2000), ISBN 80-246-0084-6.
Několik výtisků knihy je k dispozici v univerzitní knihovně.
- D.B. West, Introduction to graph theory - 2nd ed., Prentice-Hall, Upper Saddle River NJ, (2001), ISBN 0-13-014400-2.
Několik výtisků knihy je k dispozici v univerzitní knihovně.
Je možné používat i jiné úvodní knihy a skripta, ovšem pozor: některé detaily se mohou lišit! (zejména definice pojmů) a u zkoušky platí to, co bylo probráno na přednášce.
Pro lepší pochopení vybraných pojmů můžete při studiu využít následující animace.
Toto není stránka aktuálního akademického roku.
Konzultační hodiny
Zastihnete mne nejlépe osobně během konzultačních hodin, případně (po dohodě emailem) on-line přes MS Teams.
Best way to reach me is during my office hours. It is also possible to arrange (ahead via e-mail) an on-line appointment in MS Teams.
Den | Čas | Místnost |
Čtvrtek/Thursday | 9:00-10:00 | EA536* |
**Dne 11.4.2024 konzultace nebudou. |
Konzultace on-line po předchozí domluvě. |
Po předchozí domluvě jsou konzultace možné i v jinou dobu. / Or by appointment.
|
Petr<tečka>Kovar<zavináč>vsb<tečka>cz kancelář EA536, tel. 597 325 972 |
Upraveno: 21.01.2023 |
|
|