Teorie grafů(povídání ke třetí sérii)

Podobné dokumenty
Definice 1 eulerovský Definice 2 poloeulerovský

4 Pojem grafu, ve zkratce

Diskrétní matematika. DiM /01, zimní semestr 2018/2019

10 Přednáška ze

Vrcholová barevnost grafu

Grafy. RNDr. Petra Surynková, Ph.D. Univerzita Karlova v Praze Matematicko-fyzikální fakulta.

Vybíravost grafů, Nullstellensatz, jádra

H {{u, v} : u,v U u v }

5 Orientované grafy, Toky v sítích

1 Lineární prostory a podprostory

Drsná matematika III 9. přednáška Rovinné grafy: Stromy, konvexní mnohoúhelníky v prostoru a Platónská tělesa

8 Rovinnost a kreslení grafů

Drsná matematika III 9. přednáška Rovinné grafy: Stromy, konvexní mnohoúhelníky v prostoru a Platónská tělesa

Definice 5.1 Graf G = (V, E) je tvořen množinou vrcholů V a množinou hran, kde

Kreslení grafů na plochy Tomáš Novotný

Teorie grafů Jirka Fink

Teoretická informatika Tomáš Foltýnek Barvení grafů Platónská tělesa

Barevnost grafů MFF UK

PQ-stromy a rozpoznávání intervalových grafů v lineárním čase

8 Přednáška z

TGH02 - teorie grafů, základní pojmy

2. série. Barvení. Téma: Termínodeslání:

TGH09 - Barvení grafů

Úvod do vybíravosti grafů, Nullstellensatz, polynomiální metoda

Teorie her(povídání ke čtvrté sérii)

Stromové rozklady. Definice 1. Stromový rozklad grafu G je dvojice (T, β) taková, že T je strom,

PŘEDNÁŠKA 2 POSLOUPNOSTI

TGH02 - teorie grafů, základní pojmy

TGH02 - teorie grafů, základní pojmy

Kongruence na množině celých čísel

Fakulta elektrotechniky a informatiky Vysoká škola báňská - Technická univerzita Ostrava. Diskrétní matematika 2012/2013.

Diskrétní matematika. DiM /01, zimní semestr 2018/2019

N Q Z N N N, kde A Bjesymbolprokartézskýsoučinmnožin A, B(tj.množinuvšechuspořádanýchdvojic [a, b],kde a A, b B).Opětprosímpřijmětejakofakt, 1 že

Ukážeme si lineární algoritmus, který pro pevné k rozhodne, zda vstupní. stromový rozklad. Poznamenejme, že je-li k součástí vstupu, pak rozhodnout

TOPOLOGIE A TEORIE KATEGORIÍ (2017/2018) 3. PREDNÁŠKA - KOMPAKTNÍ PROSTORY.

TGH05 - aplikace DFS, průchod do šířky

TEORIE GRAFŮ TEORIE GRAFŮ 1

Bipartitní grafy. Karel Klouda c KTI, FIT, ČVUT v Praze 28. března, letní semestr 2010/2011

TGH05 - aplikace DFS, průchod do šířky

Množinu všech slov nad abecedou Σ značíme Σ * Množinu všech neprázdných slov Σ + Jazyk nad abecedou Σ je libovolná množina slov nad Σ

GRAFY A GRAFOVÉ ALGORITMY

V předchozí kapitole jsme podstatným způsobem rozšířili naši představu o tom, co je to číslo. Nadále jsou pro nás důležité především vlastnosti

4 Stromy a les. Definice a základní vlastnosti stromů. Kostry grafů a jejich počet.

Základní pojmy teorie grafů [Graph theory]

10 Podgrafy, isomorfismus grafů

Hledáme efektivní řešení úloh na grafu

2. LIMITA A SPOJITOST FUNKCE

Grafy. doc. Mgr. Jiří Dvorský, Ph.D. Katedra informatiky Fakulta elektrotechniky a informatiky VŠB TU Ostrava. Prezentace ke dni 13.

Diskrétní matematika. DiM /01, zimní semestr 2015/2016

Graf. Uzly Lokality, servery Osoby fyzické i právní Informatické objekty... atd. Hrany Cesty, propojení Vztahy Informatické závislosti... atd.

René Grežďo. Vrcholové barvení grafu

1 Nenulové toky. 1.1 Úvod. 1.2 Definice

Kolik existuje různých stromů na pevně dané n-prvkové množině vrcholů?

07 Základní pojmy teorie grafů

Výroková a predikátová logika - IV

autorovu srdci... Petr Hliněný, FI MU Brno 1 FI: MA010: Průnikové grafy

= je prostý orientovaný graf., formálně c ( u, v) 0. dva speciální uzly: zdrojový uzel s a cílový uzel t. Dále budeme bez

Diskrétní matematika. DiM /01, zimní semestr 2018/2019

Konstrukce relace. Postupně konstruujeme na množině všech stavů Q relace i,

Diskrétní matematika. DiM /01, zimní semestr 2016/2017

Úvod do informatiky. Miroslav Kolařík

Naproti tomu gramatika je vlastně soupis pravidel, jak

Důkaz Heineho Borelovy věty. Bez újmy na obecnosti vezmeme celý prostor A = M (proč? úloha 1). Implikace. Nechť je (M, d) kompaktní a nechť.

Pumping lemma - podstata problému. Automaty a gramatiky(bi-aag) Pumping lemma - problem resolution. Pumping lemma - podstata problému

Tento text je stručným shrnutím těch tvrzení Ramseyovy teorie, která zazněla

3. série. Nerovnosti. Téma: Termínodeslání:

VLASTNOSTI GRAFŮ. Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze. BI-GRA, LS 2010/2011, Lekce 5

Hamiltonovské kružnice, stromy, rovinné grafy

Jan Březina. 7. března 2017

Úlohy klauzurní části školního kola kategorie B

Základy informatiky. Teorie grafů. Zpracoval: Pavel Děrgel Úprava: Daniela Szturcová

Řešení 1. série. Řešení S-I-1-1 Nejdříve si uvědomme, že platí následující vztahy. h = 1 2 v d, h = 1 2 s k,

1. Toky, řezy a Fordův-Fulkersonův algoritmus

Báze a dimenze vektorových prostorů

P 1 = P 1 1 = P 1, P 1 2 =

6 Lineární geometrie. 6.1 Lineární variety

myslímemnožinudvouprvkovýchmnožin {v1, v 2 },kde v 1, v 2 V.

FIT ČVUT MI-LOM Lineární optimalizace a metody. Dualita. Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti

Minimální kostry. Teorie. Štěpán Šimsa

Greenova funkce pro dvoubodové okrajové úlohy pro obyčejné diferenciální rovnice

Teorie grafů. zadání úloh. letní semestr 2008/2009. Poslední aktualizace: 19. května First Prev Next Last Go Back Full Screen Close Quit

Texty k přednáškám z MMAN3: 4. Funkce a zobrazení v euklidovských prostorech

Zobecněný Riemannův integrál

Pomocný text. Polynomy

Učební texty k státní bakalářské zkoušce Matematika Teorie grafů. študenti MFF 15. augusta 2008

Necht tedy máme přirozená čísla n, k pod pojmem systém lineárních rovnic rozumíme rovnice ve tvaru

Věta o dělení polynomů se zbytkem

Diskrétní matematika 1. týden

67. ročník matematické olympiády III. kolo kategorie A. Přerov, března 2018

Matematická analýza III.

Riemannův určitý integrál

Definice barevnosti grafu, základní vlastnosti. Varinaty problému barvení.

Problém obchodního cestujícího(tsp) Vstup: Množina n měst a vzdálenosti mezi nimi. Výstup: Nejkratší okružní cesta procházející všemi městy.

MATEMATIKY. Přednášel: Prof. RNDr. Jaroslav Nešetřil, DrSc. Zapsal: Michal Hrušecký

Operační výzkum. Síťová analýza. Metoda CPM.

Hlavolamy a teorie grafů

2. série. Prvočísla. Téma: Datumodeslání: Dokažte,žekaždéprvočíslovětšínež5jdepsátvetvaru6k+1nebo6k 1,kde kjenějaké přirozené číslo.

Dijkstrův algoritmus

Základy teorie množin

Drsná matematika III 10. demonstrovaná cvičení Kostry grafů

Transkript:

Teorie grafů(povídání ke třetí sérii) Ke zformulování úloh této série je vhodné seznámit Tě se základními pojmy teorie grafů. Nejprvebychomsiměliříci,cojetograf. 1 Populárněřečeno:napapířemámenakresleno několikpuntíků(těmbudemeříkatvrcholy),některédvojicepuntíkůjsouspojenyčarami 2 (tzv. hranami). Přitom mezi dvěma vrcholy vede nejvýše jedna hrana(v grafu nejsou tzv. násobné hrany) a žádná hrana nemá oba konce stejné(nejsou tam tzv. smyčky). Takový systém vrcholů a hran budeme nazývat graf (pokud bychom povolili i násobné hrany a smyčky, dostali bychom tzv. multigraf). Nynípopíšemegrafformálně.Graf Gjeuspořádanádvojice(V, E),kde V jelibovolná množina a E je množina, která obsahuje některé(případně žádné) dvojprvkové podmnožiny V.(Pokud {u, v} E,říkáme,ževrcholy uavjsouvgrafu Gspojenyhranou.)Prvky množiny V jsouvrcholygrafu G,prvkymnožiny 3 Ejehohrany. 4 Několik důležitých grafů: Úplnýgraf K n V = {1,..., n}, E= {{i, j}:1 i<j n} K 3 K 4 K 5 K 6 Kružnice(cyklus) C n V = {1,..., n}, E= {{i, i+1}:1 i<n} {{1, n}} C 3 C 4 C 5 C 6 domeček Dále je ještě potřeba uvést několik grafových pojmů. Stupeň vrcholu u(značíme d(u)) je počet hran, které z něho vycházejí. Skóre grafu je soupis stupňů jeho vrcholů. Např. skóre C 4 je2,2,2,2,skóredomečkuje4,4,3,3,2.grafuříkáme k-regulární,pokudvšechnyjeho vrcholymajístupeň k.např. C nje2-regulární, K nje(n 1)-regulární. Graf nazveme bipartitní, pokud lze jeho vrcholy rozdělit do dvou množin(tzv. partit) tak, ževšechnyhranyvedouzjednépartitydodruhé.jinakřečeno:leží-li uavvtéžepartitě, pak uv není hrana. Např. cyklus je bipartitní, právě když má sudou délku. Grafuříkámerovinný,pokudholzenakreslitdoroviny(tj.vrcholybudoubodyvrovině, hrany křivky spojující příslušné body) tak, že se žádné dvě hrany nekříží(ani žádná hrananeprotínásamasebe).např.všechnykružnice,domeček, K 3, K 4 jsourovinné, K 5 1 Preventivnívarování:grafemsevteoriigrafůrozumíněcoúplnějiného,nežtřebave větě: Nakresletegraffunkce x 2. Nenechsetímzmást. 2 Nenídůležitýtvarčar,podstatnéjejento,zdapříslušnádvojicevrcholůjespojená. 3 Písmena V a Epocházejízanglickýchslovvertex=vrcholaedge=hrana. 4 Správněbychomtedyhranuspojujícívrcholy uavmělioznačovat {u, v}.častovšak pro zkrácení tuto hranu značíme jen uv.

není rovinný(zkus si rozmyslet, proč). Při daném nakreslení nazýváme stěnou každou(i tu vnější) z oblastí roviny omezených nakreslenými křivkami(představte si, že rovinu podél hran rozstříháme).(např.libovolnénakreslenícyklumádvěstěny,nakreslení K 4 čtyřistěny.) Řekneme,žegraf H=(V, E )jepodgraf grafu G=(V, E),pokud V V a E E. Podgrafydomečkujsounapř. C 3, C 4, C 5, K 4.Místo graf H jepodgrafgrafu G říkáme také Gobsahuje H.Taktochápejzadánídruhéúlohy. Tento úvod musí být hodně stručný, proto jsi možná trochu zmaten záplavou nových pojmů. Pokud se budeš chtít o teorii grafů dozvědět více, doporučuji Ti zejména knihu Jiří Matoušek a Jaroslav Nešetřil: Kapitoly z diskrétní matematiky, Matfyzpress, Praha, 1996.

3. série Téma: Termínodeslání: Teorie grafů ½ º ÔÖÓ Ò ½ ½º ÐÓ (1)Existujegrafseskóre3,3,3,3,5,6,6,6,6,6,6? (2)Existujebipartitnígrafseskóre3,3,3,3,3,5,6,6,6,6,6,6,6,6? (3)Existujegrafseskóre1,1,3,3,3,3,5,6,8,9? ¾º ÐÓ Graf je bipartitní právě tehdy, když neobsahuje lichý cyklus. Dokažte. º ÐÓ Kolik vrcholů může mít(1) 3-regulární(2) k-regulární graf? º ÐÓ Pokud má rovinný graf všechny stupně sudé, pak lze(v jeho libovolném nakreslení) obarvit stěny dvěma barvami tak, že sousední stěny(tj. takové, které mají společnou hranu) mají různou barvu. º ÐÓ Procházíme labyrintem podle následujících pravidel.(na začátku jsme na křižovatce S.) (1) Nikdy neprojdeme toutéž cestou tímtéž směrem dvakrát. (2) Kdykoli přijdeme na křižovatku K S, kterou jsme dosud nenavštívili, označíme cestu, po níž jsme přišli. K odchodu z K použijeme tuto cestu jen tehdy, když nemáme jinou možnost. (3) Když v odchodu z křižovatky, na níž se nacházíme, brání pravidlo(1), skončíme. Dokažte, že pokud existuje východ z labyrintu, pak ho tímto postupem najdeme, jinak skončíme zpátky na křižovatce S. Řešení 3. série Ke stručnému zápisu řešení této série je vhodné zavést několik pojmů: Cestou v grafu G rozumíme procházku po grafu, při níž žádný vrchol nenavštívíme dvakrát,cožlzeformálněchápattřebajakoposloupnostvrcholů(v 0, v 1,..., v n),

takovou,že v i a v i+1 jsouspojenyhranouav i v j pro i j.délkoucestyrozumíme počet prošlých hran, čili v našem případě n. Graf je souvislý, když mezi jeho libovolnými dvěma vrcholy existuje cesta. Komponentou v nesouvislém grafu G rozumíme takový jeho podgraf K, že K je souvislýake Knelzeužnicpřidat,abysouvislýmzůstal. 1. úloha (1)Existujegrafseskóre3,3,3,3,5,6,6,6,6,6,6? (2)Existujebipartitnígrafseskóre3,3,3,3,3,5,6,6,6,6,6,6,6,6? (3)Existujegrafseskóre1,1,3,3,3,3,5,6,8,9? (1) Lemma: Pro libovolný graf platí, že součet stupňů všech jeho vrcholů se rovná dvojnásobkupočtuhran,neboli(pro G=(V, E)) v G d(v)=2 E. P Důkaz: Stupeň vrcholu je počet hran, které z něho vycházejí. Přitom každá hrana vychází ze dvou vrcholů. Sečteme-li tedy všechny stupně, započteme každou hranu dvakrát, a tedy dostaneme dvojnásobek počtu hran. Nyní zpět k našemu příkladu. Postupujeme sporem: předpokládejme, že takový graf existuje. Sečteme-li všechna uvedená čísla, dostaneme liché číslo(protože lichý počet uvedených čísel je lichý). Liché číslo nemůže být dvojnásobkem počtu hran spor. Tedy neexistuje graf s uvedeným skóre.(stejně se dokáže obecnější: každý graf obsahuje sudý počet vrcholů s lichým stupněm.) (2)Opětsporem.Nechťtakovýbipartitnígrafexistuje.Označme d 1,..., d k stupněvrcholů vjednépartitě, e 1,..., e l stupněvrcholůvdruhépartitě.stejnouúvahoujakovdůkazu lemmatuzjistíme,žejak d 1 + +d k tak e 1 + +e l jepočethrangrafu.musítedyplatit d 1 + +d k = e 1 + +e l,kde d 1,..., d k, e 1,..., e l jsou(vnějakémpořadí)číslazezadání (tj.3,3,3,3,3,5,6,6,6,6,6,6,6,6).tovšaknenímožné součetnatéstraněrovnosti, v níž se vyskytuje 5, není dělitelný třemi, zatímco součet na druhé straně ano. Čili neexistuje bipartitní graf s uvedeným skóre. (3) Ani tentokrát takový graf neexistuje. Zase sporem: nechť existuje takový graf. Označme a, b, c, dpořaděvrcholysestupni1,1,8,9.zvrcholu dmusívésthranydovšechdevíti ostatníchvrcholů,tedyido aab.tudížzcužnemůževésthranado aanido b,takžezbývá jen7vrcholů,kambyzchranavéstmohla.proto cnemůžemítstupeň8 mámehledaný spor. Poznámky opravovatele: První část jste řešili buď úvahou(součet stupňů vrcholů je lichý) nebo pomoci Havlovy věty. Nezbývá než zopakovat, abyste psali jméno věty, název díla, autora, nakladatelství a číslo stránky, kde je možno danou informaci najít. Podobně i poslední část jste řešili buď úvahou(postupně jste generovali hrany z vrcholu sestupňem9,pak8aukázalijstenasporpřivrcholechsestupňem1. Prostřední část byla nejnáročnější. Našla se řešení pomocí Havlovy věty (ta říká, jak poznat,zdaexistujegrafsdanýmskóre),vnichžautořizapomněli,žesevevětěovlastnosti bipartitnost nehovoří. Další řešitelé převedli úlohu na úlohu rozdělit množinu {6, 6, 6, 6, 6, 6, 6, 6,5,3,3,3,3,3} nadvěpodmnožinysestejnýmsoučtemprvkůapouzekonstatovali,žeto

nejde. Nejlepší řešení byla taková, kde se ona nemožnost dokázala, např. pomocí dělitelnosti třemi. 2. úloha Graf je bipartitní právě tehdy, když neobsahuje lichý cyklus. Dokažte. Kdyžgrafobsahujelichýcyklus(tj.vrcholy v 1, v 2,...,v 2n+1 takové,žezv 1 vedehrana do v 2 a v 2n+1,zv 2 do v 1 a v 3,... ),pakneníbipartitní.je-litotiž v 1 vjednépartitě,musí být v 2 vdruhé(jinakbymezidvěmavrcholyztéžepartityvedlahrana), v 3 vprvní(ztéhož důvodu), v 4 vdruhé,..., v 2n vdruhé, v 2n+1 vprvní,atonejde: v 1 a v 2n+1 jsouobazprvní partity a přitom jsou spojeny hranou. Nyní dokážeme, že neobsahuje-li graf(označme ho G) lichý cyklus, pak je bipartitní. Předpokládejme, že G je souvislý, jinak můžeme rozdělovat každou komponentu zvlášť. K vlastnímurozděleníužijeme K libovolnoukostrugrafu. 5 K,cobygrafbezcyklů,jezjevně bipartitní, můžeme tedy jeho vrcholy(čili i všechny vrcholy G) rozdělit do partit. Víme, že mezidvěmavrcholyztéžepartitynevedežádnáhranavk,potřebujemeukázat,žeanivg. Nechťprosporexistujívrcholy u, vztéžepartity,kteréjsouvgspojenyhranou.strom jesouvislý,takžemezi uavvedecestavk.podobnýmpostupemjakovprvnímodstavci zjistíme,žetatocestamásudoudélku,takžespolushranou uvtvořílichýcyklus spor, v Gnejsoulichécykly. Poznámky opravovatele: Nejčastější chybou bylo, že jste z bipartitnosti sudého cyklu a necyklickýchgrafůusoudilibezdalšíhoodůvodňování,žeto,covzniknejejich složením (takovým, že nevznikne lichý cyklus) je také bipartitní graf. To dle mého názoru není o mnoho jednodušší, než tvrzení úlohy. Další častou chybou bylo, že jste za cyklus považovali něco, co cyklem není(konkrétně uzavřenou cestu, v níž se mohly opakovat vrcholy). 3. úloha Kolik vrcholů může mít(1) 3-regulární(2) k-regulární graf? (1) Označme n počet vrcholů takového grafu. Dle lemmatu z řešení 1. úlohy musíbýt3natedyinsudé.dálemusíbýt n 4,jinakbyzžádnéhovrcholu neměly ty tři hrany kam vést. Ukážeme, že tyto podmínky pro existenci grafu postačují,čiližeprokaždésudé n 4existuje3-regulárnígrafonvrcholech. Mohli bychom se pochopitelně odvolat na část(2), ale zkonstruujeme jiný graf.pro n=4vezmeme K 4.Pro n >4vezmemedvacyklyodélce n/2(cožjeceléčíslo), hranouspojíme1.vrcholzjednohocyklus1.vrcholemzdruhéhocyklu,2.vrcholzprvního cyklus2.vrcholemzdruhéhocyklu,...,vizobrázek(kde n/2=5).zkaždéhovrcholu vedou dvě hrany v příslušném cyklu a jedna hrana mezi cykly, graf je tedy 3-regulární. 5 Zgrafuumazávámehrany,ažnezbudoužádnécykly.Učeněřečeno:kostrajemaximální podgraf, který je strom.

(2)Stejnějakov(1)zjistíme,že nkmusíbýtsudéak<n.nyníprovšechna n, k,kterátoto splňují, zkonstruujeme k-regulární graf s n vrcholy. Na obrázcích jsou ilustrovány případy n=8, k=4an=8, k=5. Nejprve probereme případ sudého k. Vezměme vrcholy pravidelného n-úhelníku a každý vrcholspojmesjehosousedy,druhýmisousedy(tj.sousedysousedů),..., k 2 -týmisousedy. Protože k < n, nevzniknou násobné hrany, a tedy dostaneme k-regulární graf. Nechťjenyní kliché,atedy nsudé.použijemekonstrukci zpředchozíhoodstavcepro nak 1.Protože k < n,jsou Å«nejdelší diagonály neobsazené. Po jejich doplnění získáme k- regulární graf. Poznámky opravovatele: Naprostá většina řešitelů se spokojila s důkazem, že pro k-regulární grafna nvrcholechmusíbýt knsudé(a k < n).tovšakvypovídápouzeok-regulárních grafech,kde knjeliché totižtakovégrafynemohouexistovat.nictovšakneříkáotom, žetakovýgrafexistujetřebapro k=4, n=6.titořešitelésemuselispokojitsdvěmabody. Zvláštnětaképůsobilo,kdyžřešitelpouprávachdospělvpřípadě2 kktomu,že n N. Nebylotojasnéužodpočátku? Podobně to, že se vám nějaký graf nepodařilo najít, nezaručuje jeho neexistenci. K častým chybám také patřilo, že jste pri důkazech neexistence grafů mimoděk předpokládali další omezující podmínky(obsahuje cyklus, je úplný,...). Také prohlásíte-li, že jistě umíme vybrat hrany s nějakými vlastnostmi, měli byste si kontrolovat, zda-li to není problém přinejmenším stejně složitý, jako vyřešit celou úlohu(a je-li to vůbec možné). Také bych znovu upozornil na to, že platí-li nějaké tvrzení pro prvních několik případů, nevyplývá z toho pravdivost pro případy všechny. Dávejte si větší pozor na používání zaklínadel analogickydokážeme popřípadě jezřejmé.jistěnenínutnépsátdořešenívše,než aletakovétozaklínadlonapíšete,mělobybýtpravidlem,žesionen zřejmý důkazuděláte stranou.vyhnetesetaknepříjemnýmsituacím,kdy ozřejmíte něconepravdivého. 4. úloha Pokud má rovinný graf všechny stupně sudé, pak lze(v jeho libovolném nakreslení) obarvit stěny dvěma barvami tak, že sousední stěny(tj. takové, které mají společnou hranu) mají různou barvu. Důkaz provedeme indukcí podle počtu hran. Pro graf bez hran(tedy s jedinou stěnou) tvrzení jistě platí. Nechť tvrzení platí pro všechny grafy s méně než n hranami. Mějme nyní libovolný rovinný graf G se sudými stupni a s n hranami, dále mějme jedno jeho nakreslení. Zvolme v tomto nakreslení libovolnou stěnu a označme ji F, dále označme e 1, e 2,..., e mhrany,které Fohraničují.Uvažmegraf G,kterývzniknezGvypuštěnímhran e 1, e 2,..., e m.vdalšímodstavciukážeme,žeig mávšechnystupněsudé,aprotožemá méněhrannež Gajezjevněrovinný,lze(mj.ivnakresleníurčenémnakreslením G)všechny jehostěnyobarvitdvěmabarvamitak,žesousednístěnynebudoustejnobarevné. G mánásledujícístěny:(1)sjednocení F ajehosousedůa(2)ostatnístěny G.Změnímebarvu F na

opačnou, všemu ostatnímu necháme stejnou barvu. Takto dostaneme žádané obarvení stěn v daném nakreslení G. Tím je důkaz indukcí proveden. Zbýváukázat,že G máskutečněsudé stupně,čiližekaždéhovrcholu vvgrafu G sedotýkásudýpočethranze 1, e 2,..., e m. 0000000 1111111 Označme kpočet cípů,jimižse Fdotýká 000000000 0000000000 00000000000 11111111111 1111111111 111111111 v (pro vyšrafovanou stěnu na obrázku je k=3).žádnédvacípynemohoumítspolečnou hranu e(takže obrázek je vlastně v špatně).poodebráníhrany ebysetotiž komponenta obsahující v rozpadla na dvě 0000000000 1111111111 (rozmyslisi,proč)avoboubybylprávě 0000000000 1111111111 jeden vrchol s lichým stupněm, což není možnédlelemmatuvřešeníúlohy1(1). 00000000 11111111 Takžekaždýcíppoužívá své dvěhrany 000000 111111 z e 1, e 2,..., e ma vsedotýká2kznich.tím jedůkazukonce. 00 11 Poznámka: možná Ti připadalo zbytečné mluvit stále o stěnách v nějakém nakreslení grafu anepřímoostěnáchtohografu.potížjevtom,žetýžgrafmůžemenakreslitrůzně.existuje například graf, který lze nakreslit tak, že všechny jeho stěny jsou pětiúhelníky, ale také tak, že mezi jeho stěnami jsou čtyř-, pěti- i šestiúhelníky.(zkus nějaký takový graf najít.) Poznámky opravovatele: Většina úspěšných řešitelů buď dokazovala indukcí podle počtu hran, ( umazávali hrany náležející vnější stěně), nebo dokazovala bipartitnost duálního grafu za použití tvrzení druhé úlohy v tomto případě pokud nebylo dokázáno, ale bylo používáno tvrzení, že sjednocení sudých kružnic neobsahuje lichou kružnici, strhávala jsem 2body. Hezký nápad, že rovinný graf se sudými stupni je sjednocení hranově disjunktních kružnic, a tedy lze jeho stěny obarvit podle parity počtu kružnic, ve kterých daná stěna leží, zdárně dokázala jen Lenka Zdeborová, a obdržela za to +i. Coseminelíbilo:asičtvrtina řešení vypadalatak,žebyloukázánojaklzeobarvitstěny v okolí jednoho(libovolného) vrcholu a důkaz byl odbyt tvrzením, že takto postupně obarvím okolívšechvrcholůatedycelýgraf.tohlealenemusíobecnějít(takže0bodů).to,žeumím obarvit okolí každého vrcholu zvlášť ještě neznamená, že to lze pro všechny vrcholy zároveň! Například okolí každého vrcholu rovinného grafu lze zřejmě obarvit třemi barvami, ale pro celýgrafužtojítnemusí zkustetotřebapro K 4. 5. úloha Procházíme labyrintem podle následujících pravidel.(na začátku jsme na křižovatce S.) (1) Nikdy neprojdeme toutéž cestou tímtéž směrem dvakrát. (2) Kdykoli přijdeme na křižovatku K S, kterou jsme dosud nenavštívili, označíme cestu, po níž jsme přišli. K odchodu z K použijeme tuto cestu jen tehdy, když nemáme jinou možnost.

(3) Když v odchodu z křižovatky, na níž se nacházíme, brání pravidlo(1), skončíme. Dokažte, že pokud existuje východ z labyrintu, pak ho tímto postupem najdeme, jinak skončíme zpátky na křižovatce S. Nejprve si upřesníme, co je to labyrint. Pro nás to bude konečný souvislý graf.(labyrint bymohlbýtimultigraf:mezidvěmakřižovatkamimůževéstvícecest.tobyvnašemdůkazupřílišnevadilo,přestosiradějivystačímes obyčejným grafem.dopřebytečnéhrany můžeme umístit pomyslnou křižovatku stupně dva a tím z multigrafu udělat graf. Tato náhrada je korektní: při prvním příchodu na křižovatku stupně dva musím odejít jinudy než jsem přišel, při druhém rovněž tak. Tedy tato křižovatka se z hlediska popsaného algoritmu chovájakobynebyla.)dvěkřižovatkyjsouspeciální: S tamzačínámeav tamje východ. Vzhledem ke konečnosti grafu a k tomu, že každou hranu projdeme nejvýše dvakrát, jednouurčitěskončíme.nejprveukážeme,žeskončímevs.uvažmenějaké K S,proněž hrozí,ževněmskončíme,tj.všech d(k)cestkodchoduzkužbylopoužito.pokudjsme z Kodešli,muselijsmedonějpředtímipřijít,takžekpříchodudo Kjsmepoužilitakévšech d(k) cest. Protože žádnou cestou nejdeme dvakrát týmž směrem, po d(k)-tém odchodu z K sedo Kužnikdynemůžemevrátit,nemůžemevněmtedyaniuváznout. Nyní zdůvodníme, proč musíme najít východ. Ukážeme, že předtím, než skončíme v S, projdeme každou hranu(a to v obou směrech) i každý vrchol. Nazvěme vrchol dobrý, pokud jsme všechny hrany z něj vycházející prošli oběma směry. Ukážeme, že každý vrchol je dobrý. Sjejistědobrý:ažvSskončíme,budoupoužityvšechnyhranysousedícísSsměremod S. Takže jsme z S odešli d(s)-krát, a tedy jsme také d(s)-krát přišli, neboli prošli jsme všechny cesty sousedící s S směrem dovnitř. Nyní ukážeme, že všechny vrcholy, které jsme při průchodu grafem navštívili, jsou dobré. Pro spor předpokládejme, že jsme navštívili nějaký špatný vrchol a označme X první z nich. Protože X S, vešli jsme do X poprvé z nějakého vrcholu Y (a hranu z Y jsme v X označili).vrchol Y jedobrý(dlevolby X),takžejsmepoužilihranu XY (vtomtosměru). Podlepravidla(2)toovšemznamená,žejsmezXodešlivšemi d(x)chodbami,atedyjsme ivšemi d(x)chodbamivešli.tudíž Xneníšpatný spor. Zbývá ověřit, že nemůže existovat vrchol, který bychom vůbec nenavštívili. Opět sporem: nechť existuje vrchol N, který jsme nenavštívili. Graf je souvislý, tedy existuje cesta P z S do N.Počátek P jsmenavštívili,konecnikoliv,protona P existujívasousednívrcholy Aa B,kde AjsmenavštíviliaBne(vezmemetřebaza Atennenavštívenývrcholna P,nanějž při procházení P narazíme naposledy). A je navštívený, tedy dle předchozího odstavce dobrý, aprotojsmenavštíviliivšechnyjehosousedy,speciálněib.atojespor,kterýdokazuje,že všechny vrcholy jsme navštívili. Poznámky opravovatele: Většina správných řešení používala podobnou myšlenku jako autorské řešení. Objevilo se také několik důkazů matematickou indukcí podle počtu hran(hranu, kteroujsemprošelsmažu,namenšígrafaplikujuindukčnípředpoklad,... ). Zadůkaztoho,žeskončímena Sjsemdával2body.Několikřešitelůtvrzenívyvrátilo podařilo se jim totiž nalézt protipříklad. Navšimli si však toho, že při své procházce porušili pravidlo(2) dostali0bodů.coseminelíbilo:

Mnozí řešitelé si vůbec neuvědomili, že je třeba něco dokazovat. Jejich řešení vypadalo vpodstatě takto: pořád jdu, jdu a až dojdu na konec(přičemž projdu všechny vrcholy), tak se vrátím. Bylo potřeba dokázat, že nemohu skončit, dokud jsem neprošel všechny vrcholy; dáleto,ženemohuskončitmimo S.Vřešeníchohodnocených0bodyjsemtotopřinejlepší vůli nenašel. Častýobratbyl:grafsirozdělímnastrom 6 acykly.pakrozeberuzvlášťstromy,zvlášť kružniceařeknu,žepakužjetojasné.tatořešenívšakvětšinouužneuváděla,jakgrafna stromanacyklyrozdělí,ahlavně,jakousouvislosttomásnašíúlohou jakzaručí,že človíček bloudící labyrintem bude respektovat jejich rozdělení. 6 tj.souvislýgrafbezcyklů(=kružnic)