Grafy
Grafy Grafy
Základnípojmyzteoriegrafů. Začnemenásledujícíúlohou. Příklad.Napartyje37lidí.Paktammusíbýtněkdo,kdobylpředstavensudémupočtu přítomnýchúčastníků. První,conásnapadneje,zdačíslo37hrajevtétootázcenějakouroli.Kdybyúčastníků bylonapř.jen36akaždýbylpředstavenkaždému,pakkaždýúčastníkbylpředstaven35 ostatním.Nikdotaknemohlbýtpředstavensudémupočtulidí.Tentoargumentukazuje, žepočetvšechúčastníkůnesmíbýtsudý.Přeformulujemepříkladnanásledujícísilnější tvrzení. Příklad.Napartyjelichýpočetlidí.Paktammusíbýtněkdo,kdobylpředstavensudému počtupřítomnýchúčastníků. Nežsidokážemeplatnosttvrzenívpříkladu,znázornímesigrafickysituacilidínaparty sohledemnajejichvzájemnépředstavení.Naobrázkubodyoznačujíúčastníkyaspojnice mezinimivyznačujefakt,žesibylinavzájempředstaveni.Nespojenébodyznamenají,že titoúčastnícisipředstaveninebyli. Formalizacívýšenakreslenéhoobrázkujedefinicegrafu. Definice. Graf G = (V,E) je uspořádaná dvojice množin V a E, kde V je jakákoli neprázdnámnožinanazývanávrcholygrafu Ga E ⊂ {u,v} u,v ∈ V 1
- Page 2 and 3: 2 senazýváhranygrafu G. Doplněk(
- Page 4 and 5: 4 Druhýpodgrafjevelmispeciálníne
- Page 6 and 7: 6 Schématickypomocígrafujsoumostn
- Page 8 and 9: 8 postupuzucesty P1a P2rozejdou,tj.
- Page 10 and 11: 10 Protože v − l=10 4 +1máme,ž
- Page 12 and 13: 12 Definice.PárovánívG=(V,E)jeta
- Page 14 and 15: 14 Věta11.(Ramsey)Prokaždé n ∈
- Page 16 and 17: 16 (16) Dvahráčihrajínasouvislé
Základnípojmyzteoriegrafů.<br />
Začnemenásledujícíúlohou.<br />
Příklad.Napartyje37lidí.Paktammusíbýtněkdo,kdobylpředstavensudémupočtu<br />
přítomnýchúčastníků.<br />
První,conásnapadneje,zdačíslo37hrajevtétootázcenějakouroli.Kdybyúčastníků<br />
bylonapř.jen36akaždýbylpředstavenkaždému,pakkaždýúčastníkbylpředstaven35<br />
ostatním.Nikdotaknemohlbýtpředstavensudémupočtulidí.Tentoargumentukazuje,<br />
žepočetvšechúčastníkůnesmíbýtsudý.Přeformulujemepříkladnanásledujícísilnější<br />
tvrzení.<br />
Příklad.Napartyjelichýpočetlidí.Paktammusíbýtněkdo,kdobylpředstavensudému<br />
počtupřítomnýchúčastníků.<br />
Nežsidokážemeplatnosttvrzenívpříkladu,znázornímesigrafickysituacilidínaparty<br />
sohledemnajejichvzájemnépředstavení.Naobrázkubodyoznačujíúčastníkyaspojnice<br />
mezinimivyznačujefakt,žesibylinavzájempředstaveni.Nespojenébodyznamenají,že<br />
titoúčastnícisipředstaveninebyli.<br />
Formalizacívýšenakreslenéhoobrázkujedefinicegrafu.<br />
Definice. Graf G = (V,E) je uspořádaná dvojice množin V a E, kde V je jakákoli<br />
neprázdnámnožinanazývanávrcholygrafu Ga<br />
E ⊂ {u,v} u,v ∈ V <br />
1
2<br />
senazýváhranygrafu G.<br />
Doplněk(komplement) G c grafu Gjegrafsestejnýmivrcholy,kdedvavrcholyjsou<br />
spojenyhranouvG c právě,kdyžnejsouspojenyvpůvodnímgrafu G.<br />
Předchozíobrázekjetedygraf,jehožvrcholyjsouúčastnícipartyadvavrcholyjsou<br />
spojenyhranouprávě,kdyžodpovídajícíúčastnícisibylipředstaveni.Nadalšímobrázku<br />
jsouukázkyjinýchmožnýchgrafů.<br />
Jsou-li u,v ∈ V dvavrcholy,pakhrana,kterájespojuje,je e={u,v}.Projednoduchostbudemekroucenézávorkyvynechávatahranumezivrcholy<br />
u,vznačit e=uv.<br />
Mezidvěmavrcholymůževéstvícehrannebohranamůževycházetakončitvtémže<br />
vrcholu(tzv.smyčka)jakonapř.druhýgrafnapředchozímobrázku.Graf,kterýneobsahuje<br />
smyčkyakdedvarůznévrcholymohoubýtspojenynejvýšejednouhranou,senazývá<br />
jednoduchý.<br />
Definice. Mějmegraf G = (V,E). Stupeň vrcholu v ∈ V jepočet hran obsahujících<br />
vrchol v.Značíse d(v).<br />
Smyčka uvrcholu v přispívákestupni d(v) hodnotou2.Má-li jednoduchýgraf n<br />
vrcholů,pakmaximálnístupeňkaždéhovrcholuje n −1.Graf,uněhožjetétomaximální<br />
hodnotystupnědosaženovevšechvrcholechsenazýváúplnýabudemehoznačit Kn.Na<br />
obrázkunížejsougrafy K2, K3aK6.Doplněk K c n úplnéhografujegraftvořenýpouze<br />
vrcholy.Někdysetakovýgrafnazývádiskrétní.Napředchozímobrázkuje K c 3 třetígrafv<br />
hornířadě.
Věta1.Mějmegraf G=(V,E).<br />
(i) Součetstupňůvšechvrchlůgrafujerovendvojnásobkupočtuhran,tj.<br />
<br />
d(v)=2|E|.<br />
v∈V<br />
(ii) Je-li Gjednoduchýa|V |=n,pak |E| ≤ n<br />
2<br />
arovnostnastáváprávě,když G=Kn.<br />
Důkaz. (i)Sčítáme-listupněvšechvrcholůgrafu,počítámevlastně,kolikjekoncůhran.<br />
Každáhranamádvakonce,protopočetkoncůvšechhranjedvojnásobekpočtuhran.<br />
(ii)Protožehranajeurčenadvojicírůznýchvrchlů,jepočethranomezenpočtem<br />
<br />
. <br />
dvouprvkovýchpodmnožinvybranýchzmnožiny V,cožje n<br />
2<br />
Nynísevrátímekpříkladuoúčastnícíchparty.VzájemnépředstavovánímámeznázorněnopomocígrafuapronějplatítvrzeníVěty1(i).Vnašempřípaděmásumalichýpočet<br />
sčítanců,alehodnotasoučtujezřejměsudá.Protonemohoubýtvšechnyčlenysumyliché.<br />
Odtudvyplývá,žealespoňjedensčítanecjesudý,atedyvgrafuexistujevrcholsesudým<br />
stupněm.Atentovrcholreprezentujehledanéhoúčastníkaparty,kterýbylpředstaven<br />
sudémupočtuúčastníků.<br />
Definice. Graf G ′ =(V ′ ,E ′ )nazývámepodgraf grafu G=(V,E),jestliže V ′ ⊂ V a<br />
E ′ ⊂ E.Zapisujeme G ′ ⊂ G.<br />
Příkladypodgrafůjsounanásledujícímobrázku.<br />
3
4<br />
Druhýpodgrafjevelmispeciálníneboťtvoříjakousicestupřísušnýmgrafemodjednoho<br />
vrcholukedruhému.Dvadruhytakovýchpodgrafůsioznačímejménem.<br />
Definice. Cesta P vgrafu G=(V,E)jeposloupnoststřídavěseskládajícízvrcholůa<br />
hran,<br />
P=(v0,e1,v1,e2,... ,ek,vk),<br />
kde ei= vi−1vijsouhranya{v0,v1,... ,vk} ⊂ V jsounavzájemrůznévrcholy.Přidáme-li<br />
k P navíchranu vkv0,vznikneuzavřenácestanazývanákružnicenebotakécyklus.<br />
Tah Wvgrafu Gjeposloupnoststřídavěseskládajícízvrcholůahran,<br />
kde ei= vi−1vijsounavzájemrůznéhrany.<br />
W=(v0,e1,v1,e2,...,ek,vk),<br />
Protožecestavgrafuprocházínavzájemrůznýmivrcholy,nemůžepoužítžádnouhranu<br />
dvakrát.Každácestajetedyitah.<br />
Pomocípojmucestavgrafumůžemezavéstjinoudůležitoucharakteristiku,atoje<br />
souvislostgrafu.<br />
Definice.Graf Gjesouvislý,jestližeprokaždédvavrcholyexistujecestavG,kteráje<br />
spojuje.Každýmaximálnísouvislýpodgrafgrafu Gsenazývákomponentasouvislosti.<br />
Naobrázkujepříkladsouvisléhoanesouvisléhografu.Nesouvislýgrafmátřikomponentysouvislosti.<br />
Abygrafbylsouvislý,musímít“dostatečný” počethran.Položme siotázku,jaký<br />
jevztahmezisouvislostígrafuapočtemjehohran.Jsoudvěmožnévarianty.Je-ligraf<br />
souvislý,kolik musímítnutněhran?Anaopak,jakýpočethrangrafusivynutíjeho<br />
souvislost?OdpovědijsouvnásledujícíVětě2.<br />
Věta2.Mějmegraf G=(V,E).Pakplatí<br />
(i) Je-li Gsouvislý,pak |E| ≥ |V | −1.<br />
(ii) Je-li Gjednoduchýamá-livícenež |V |−1<br />
2<br />
hran,jesouvislý.<br />
Důkaz. (i)Důkazprovedemematematickouindukcípodlepočtuhran.<br />
(1) Je-li |E|=1,paksouvislýgrafojednéhranězřejměnemůžemítvíceneždvavrcholy.<br />
Tedy |V | ≤2=|E|+1,tj. |E| ≥ |V | −1.
(2) Předpokládejme,ženerovnostplatíprografy,jejichžpočethranje kachcemetuto<br />
nerovnostdokázatprografys|E|=k+1.Mějmesouvislýgrafsk+1hranami.<br />
Uvážímedvapřípady:<br />
(a) Grafobsahujekružnici.Uberemezgrafu Ghranu,kterábylasoučástíkružnice.<br />
Vzniklýgrafjeopětsouvislý,mástejnýpočetvrcholů,alejen khran.Podle<br />
indukčníhopředpokladuje<br />
|V | −1 ≤ k=|E| −1 ≤ |E|.<br />
(b)Grafneobsahujekružnici.Označmesi P nejdelšícestuvgrafu Ganechť uje<br />
počátečnívrcholcesty P.Pakstupeňvrcholu umusíbýt1:vopačnémpřípadě<br />
byexistovalahrana e=uv /∈ P ajejímpřidánímbychomvytvořilibuďcestu<br />
delšínež P(pokud v /∈ P)nebokružnici(pokud v ∈ P).Odstraněnímvrcholu<br />
uspolushranou,kterádonějvede,vznikneopětsouvislýgrafs|V |−1vrcholy<br />
askhranami.Podleindukčníhopředpokladupronějplatí<br />
(|V | −1) −1 ≤ k= |E| −1, tj. |E| ≥ |V | −1.<br />
(ii)Předpokládejme,žepočethranje |E| > |V |−1<br />
2 ,apřestografnenísouvislý,tj.<br />
existujíalespoňdvěkomponentysouvislosti.Označmesi V1vrcholyjednézkomponent<br />
sovislostiaV2= V \ V1.PakžádnáhrananespojujevrcholyzV1svrcholyzV2.Je-li<br />
|V1|=ka |V2|=|V | − k,kde1 ≤ k ≤ |V | −1,pakpodleVěty1(ii)platí,že<br />
|E| ≤<br />
<br />
k<br />
+<br />
2<br />
<br />
|V | − k<br />
= k<br />
2<br />
2 − k|V |+<br />
|V |(|V | −1)<br />
.<br />
2<br />
Poslednívýrazjekvadratickývkanabývásvéhomaximavkrajníchbodechintervalu<br />
1 ≤ k ≤ |V | −1.Pro k=1ipro k=|V | −1mástejnouhodnotuato |V |−1<br />
2 .Tím<br />
<br />
,cožjespor. <br />
dostávámeodhad |E| ≤ |V |−1<br />
2<br />
Eulerovskégrafy.<br />
Definice.Grafnazvemeeulerovský,jestliževněmexistujetahobsahujícívšechnyhrany.<br />
Takovýtahněkdyoznačujemejakoeulerovskýtah.<br />
Eulerovskýgrafsimůžemeintuitivněpředstavitjakograf,kterýlzenakreslitjedním<br />
tahem,anižbychomnějakouhranoumuseliprojítvícekrát.<br />
EulerovskýgrafjenazvánpoL.Eulerovi,kterývroce1736charakterizoval právě<br />
takovégrafy.KtétootázcehopřivedlahádankaosedmimostechvměstěKönigsberg<br />
(vizobrázekníže),kdeseměšťanéKönigsbergusnažilizjistit,zdajemožnésinaplánovat<br />
procházkupovšechmostechtak,abyprošlivšechnymostyprávějednou.Situacejena<br />
obrázkuníže.<br />
5
6<br />
Schématickypomocígrafujsoumostnípropojenínásledovná:<br />
Řešenítétohádankyjeobsaženovnásledujícívětě.<br />
Věta3.Souvislýgrafjeeulerovskýprávě,kdyžvšechnyvrcholymajísudýstupeňsjedinou<br />
možnouvýjimkoudvouvrcholů.<br />
Důkaz. Mějmegraf,vekterémexistujetah obsahujícívšechnyhrany.Je-litento tah<br />
uzavřený,tj.začíná-liakončívestejnémvrcholu,pakpřikaždémprůchodujakýmkoli<br />
vrcholemjednouhranouvstupujemeadruhouvystupujeme.Stupeňtakovéhovrcholuje<br />
tedysudý.Má-litahzačátekakonecvrůznýchvrcholech,paktojsouprávětyjediné<br />
vrcholymajícílichýstupeň.<br />
Důkaz opačnéimplikace provedemenejprvepropřípadsouvisléhografu,kterýmá<br />
všechnyvrcholysudéhostupně.Vezmemesivtomtografutah<br />
W=(v0,e1,v1,... ,ek,vk)<br />
maximální možné délky. Protože tah W již nelze prodloužit, musíobsahovat všechny<br />
hranyvycházejícízvrcholu vk.Kdybytah W nebyluzavřený,tj.kdyby v0 = vk,pak<br />
stupeňvrcholu vkbybyllichýdíkyposlednímukrokuvtahu W.Protoževšechnystupně<br />
jsousudé,dostáváme,žetah Wjenutněuzavřený.Zbývásiuvědomitposlednívěc,že W<br />
jeeulerovský,tj.obsahujevšechnyhranygrafu.Vopačnémpřípaděbyexistovalahrana e,<br />
kteránenáležítahu W,alepřitomvycházíznějakéhovrcholu viležícímuna W.Nazvěme<br />
ji e=uvi.Pakovšemtah<br />
jeojedenkrokdelšínež W,cožjespor.<br />
(u,e,vi,ei+1,vi+1,... ,ek,vk= v0,e1,... ,ei,vi)
Předpokládejmenyní,žesouvislýgrafmákromědvouvrcholů u,vvšechnyostatní<br />
vrcholysudéhostupně.Přidámekegrafunavíchranu e=uv.Tentonovýgrafmávšechny<br />
vrcholysudéhostupněapodledokázanépředchozíčástivněmexistujeuzavřenýeulerovský<br />
tah W.Odebereme-liod Wumělepřidanouhranu e,dostanemeeulerovskýtahvpůvodním<br />
grafu. <br />
Stromy<br />
Definice.Grafneobsahujícíkružnicesenazýváacyklický.Stromjesouvislýacyklickýgraf.<br />
Příkladystromůjsounanásledujícímobrázku.<br />
Běžnýpříkladstromujetzv.genealogickýstrom,kterýzachycujeposloupnostarozvětvováníčlenůrodinyodzakladatelekpotomkům.<br />
Můžemesipovšimnout,žegraf G,kterýjeacyklickýanenísouvislý,mázakomponenty<br />
souvislostistromy.Plynetoztoho,žekomponentajakopodgrafacyklickéhografunemůže<br />
obsahovatkružnici(atedyjeacyklická)apřitomjesouvislá.Takovýgrafseněkdynazývá<br />
les.<br />
Stromlzeekvivalentěpopsatijinýmivlastnostmi,kteréjsouoněconázornější.<br />
Věta4.Mějmegraf G=(V,E).Paknásledujícítvrzeníjsouekvivalentní.<br />
(i) Gjestrom.<br />
(ii) Gjeminimálnísouvislý,tj. Gjesouvislýavynechánímjakékolihranyvzniknenesouvislýgraf.<br />
(iii) Mezikaždýmidvěmavrcholyexistujejedinácesta,kterájespojuje.<br />
(iv) Gjemaximálníacyklický,tj. Gjeacyklickýapřidánímjakékolinovéhranyvznikne<br />
kružnice.<br />
Důkaz. (i) ⇒(ii)Protožestromjezdefinicesouvislýgraf,kověření(ii)zbýváukázat,<br />
žeodebránímjakékolihranyvzniknenesouvislýgraf.Odebermehranu e=uvzgrafu G.<br />
Kdybyzůstalsouvislý,pakvněmexistujecesta P spojujícívrcholy uav.Tatocestas<br />
přidanouhranou ebyvpůvodnímgrafu Gvytvořilakružnici,cožnelze.<br />
(ii) ⇒(iii)Předpokládejme,žegrafmávlastnost(ii),apřestovněmexistujívrcholy<br />
uavspojenédvěmarůznýmicestami P1a P2.Označme wprvnívrchol,vekterémsepři<br />
7
8<br />
postupuzucesty P1a P2rozejdou,tj.existujíhrany e1ae2vycházejícízw, e1 = e2a<br />
e1 ∈ P1a e2 ∈ P2.Pakvynechánímhrany e1zgrafu Gneporušímejehosouvislost.<br />
(iii) ⇒(iv)Jezřejmé,žegrafmajícívlastnost(iii)nemůžeobsahovatkružnici,neboť<br />
libovolnédvavrcholyležícínatétokružnicibybylomožnéspojitdvěmarůznýmizpůsoby.<br />
Zbývásiuvědomit,žepřidánímjakékolihranydografu Gkružnicevznikne.Přidejmetedy<br />
do Gnovouhranu e=uvspojujícívrcholy uav.Protože Gmávlastnost(iii),musíbýt<br />
souvislý,atedyvrcholy u,vbylyvpůvodnímgrafuspojenycestou P.Dodáme-likPještě<br />
novouhranu e,vzniknekružnice.<br />
(iv) ⇒(i)Ografu Gvíme,žejeacyklický,stačítedydokázatjehosouvislost.Kdyby<br />
uavpatřilydorůznýchkomponentgrafu G,pakpřidánímhrany uvnemůževzniknout<br />
kružnice.Proto Gjesouvislý. <br />
Kpředchozívětěpřidámeještějednuvlastnoststromu,kterájesicesnadnoodvoditelná,nicméněpatříkvelmidůležitým.<br />
Věta5.Každýstromsalespoňdvěmavrcholymáalespoňdvavrcholysestupněmjedna.<br />
Důkaz. Uvažujmevestromucestu P maximálnídélky.Pakjejíkoncovévrcholyjsou<br />
právěhledanévrcholystupnějedna.Ktomusistačíuvědomit,žekdybynapř.koncový<br />
vrcholmělstupeňvícnežjedna,pakmusíexistovathrana e /∈ P,jejímžpřidánímkP<br />
bychomdostalicestudelšínebobyvzniklakružnice.Anijednovšaknenímožné. <br />
Nakonecsipoložmeotázku,kolikmástromhran?Jakoukaždéhosouvisléhografu,<br />
počethranzávisísamozřejměnapočtuvrcholů,vizVětu2,anadalšíchvlastnostechgrafu.<br />
Ustromu,poněkudpřekvapivě,počethranzávisípouzenapočtuvrcholů.<br />
Věta6.Každýstromsnvrcholymá n −1hran.<br />
Důkaz. Důkazprovedemeindukcípodlepočtuvrcholů.Má-listrompouzejedenvrchol,<br />
paknemůžemítžádnouhranu,neboťjedináhranapřicházejícívúvahujesmyčka,ataby<br />
vytvořilakružnici.<br />
Předpokládejme,žetvrzeníplatíprostromysnvrcholyamějmestrom Gsn+1<br />
vrcholy.PodleVěty5existujevrchol u,jehožstupeňjejedna.Odebránímvrcholu uspolu<br />
shranou,kterédonějvede,dostanemeopětsouvislýgrafbezkružnice,tj.strom.Protože<br />
má nvrcholů,podleindukčníhopředpokladuma n −1hran.Odtudplyne,žepůvodní<br />
strom Gmá nhranadůkazjeuzavřen. <br />
Definice.Kořenovýstromjestrom,ukteréhojejedenvrcholoznačenjakokořen.<br />
Tím,žeoznačímejedenvrcholzakořen,zavádímeautomatickydostromunásledující<br />
uspořádánímezivrcholy.ProtožepodleVěty4(iii)vedezkořenedojakéhokolivrcholu<br />
právějedinácesta,mámemezivrcholynatétocestězavedenypojmynásledník vrcholu<br />
apředchůdcevrcholu.Obvyklepakkreslímekořenovéstromytak,žekořenumístímenahoruahranysměřujíodnějdolů.Vrchol,kterýnemánásledníkasenazýválist.Jetřeba<br />
podotknout,žerůznýmivolbamikořenevznikajírůznékořenovéstromy,vizobrázek.
Kořenovéstromysloužíjakomodelyvmnohasituacích.Nejběžněšjšíjsounapř.strukturaorganizace,kdevrcholoznačujepozicivdanéorganizaciahranypaknadřízenostči<br />
podřízenosttěchtopozic.Jinýpříkladjeuspořádánísouborůvpamětipočítače.Kořen<br />
odpovídáhlavnímuadresáři,vrcholypodadresářůmalistyjednotlivýmsouborům.<br />
Definice.Kořenovýstromsenazývá n-ární,jestližekaždývrcholmánejvýše nnásledovníků.Má-likaždývrchol,kterýnenílist,přesně<br />
nnásledovníků,nazývámetakovýstrom<br />
plně n-ární.<br />
Mezipočtemvrcholůapočtemlistůplně n-árníhostromujejednoduchývztah.<br />
Věta7.Plně n-árnístromsllistymá(nl −1)/(n −1)vrcholů.<br />
Důkaz. Označmesipočetvrcholů v.Každývrchol,kterýnenílistmá nnásledníků.Počet<br />
takovýchnásledníkůjetím n(v−l).Zbývápřidatvrchol,kterýnenínásledník,atojekořen.<br />
Tímdostávámecelkovýpočetvrcholů v= n(v − l)+1.Odtudjižplynetvrzení. <br />
Příklad.Jistýčlověkpošle5lidemdopisžádajícíje,abyhookopírovaliaposlalidalším5.<br />
Někteřítoučiní,jiníhohodídokoše.<br />
(i) Koliklidídostalotakovýdopis,víme-li,žecelýřetězskončilpoté,co73lidíhodilo<br />
dopisdokošeapředpokládáme-li,ženikdonedostaltakovýdopisdvakrát.<br />
(ii) Jestliže10000lidíposlalodopisběhemtrváníceléhoposílacíhořetězce,koliklidí<br />
obdrželodopisakoliksejichrozhodlodopisydáleneposílat?(Stálepředpokládáme,<br />
ženikdonedostalvícenežjedendopis.)<br />
(i)Situacimodelujemepomocí5-árníhostromu,okterémvíme,žemá73listů.Podle<br />
Věty7jepočetvrcholů91.Odečteme-liprvníhočlověka,pakmáme,žedopisdostalo90<br />
lidí.<br />
(ii)Početlidí,kteříobdrželidopisjepočetvrcholůpříslušného5-árníhostromubez<br />
kořene.Vztahmezipočtemvrcholů valistů lje<br />
v= n(v − l)+1.<br />
9
10<br />
Protože v − l=10 4 +1máme,že v=5 ·10 4 +6,atedypočetlidí,kteříobdrželidopis<br />
je50005.Ztohosejich l=40005rozhodlořetězpřerušit.(Vtomtopříkladuvlastně<br />
nepotřebujemepoužívatvzoreczVěty7.Jestliže10000lidíposlalodopisdál,takhood<br />
nichobdrželo50000dalších+5,kteřídostalidopisodprvníhočlověkavřetězci.)<br />
Představmesisilničnísíťmeziobcemidanéhookresu.Přidlouhotrvajícímsněžení<br />
jetřebacestyprohrnovat.Jakécestykprohrnovánívybrat,abyseminimalizovalpočet<br />
upravovanýchcestapřitomupravenécestyspojovalikaždédvěobce?<br />
Definice.Kostragrafu Gjekaždýstrom T ⊂ Gobsahujícívšechnyvrcholygrafu G.<br />
Snadnovidíme,žepokud Gmákostru,jenutněsouvislý.Obráceně,máme-lisouvislý<br />
graf Gpaknejmenší(tj.sminimálnímpočtemhran)souvislýpodgraf Tobsahujícívšechny<br />
vrcholyjehledanákostra.PodleVěty4(ii)jetotižtakovýminimálnígraf Tstrom.Vidíme,<br />
žegraf Gmákostruprávě,kdyžjesouvislý.<br />
Kolikrůznýchkostermá K4?(12)KolikjeneizomorfníchkostervK4?(2)<br />
Kostrapředstavujenejekonomičtějšípropojenívšechvrcholůgrafu.Takovýchkoster<br />
jevgrafuvíceajsouvzásaděrovnocené.Situacesezmění,pokudkaždéhraně egrafu<br />
připíšemejistéohodnocení,tj.nezápornéčíslo w(e),abudemechtítnaléztkostruproníž<br />
jesoučetohodnoceníjejíchhranminimální.Praktickývýznamtakovésituacejezřejmý:<br />
vrcholygrafupředstavujínapř.obcečiměsta,kteráchcemepropojitželezničními,potrubníminebonějakýmikomunikačnímispojiaohodnoceníhranznamenánákladyvynaložené<br />
kvybudováníjednotlivýchspojení.Matematickýpopisjevnásledujícídefinici.<br />
Definice. Mějmegraf G =(V,E). Zobrazení w: E −→ 〈0, ∞)senazýváohodnocení<br />
grafu Gačíslo<br />
w(G)= <br />
w(e)<br />
váhougrafu G.Kostrugrafu Gsminimálníváhoubudemenazývatminimálníkostra.<br />
Existenceminimálníkostryjejasná,neboťvgrafu Gjepouzekonečněmnohokoster<br />
ajedna(neboivíce)znichmusímítminimálníváhu.Covšakneníjasnéjedůležitá<br />
optimalizačníúloha,jakvdanémsouvislémgrafuminimálníkostrunalézt.<br />
Věta8.(Kruskalůvalgoritmus)Mějmesouvislýgraf G=(V,E)sohodnocením w.Následujícíalgoritmusvytváříminimálníkostru<br />
T grafu G.<br />
(1) Zvoljakoukolihranu e0sminimálnímohodnocením,kteránetvořísmyčku.<br />
e∈E<br />
(2) Jsou-livybrányhrany e0,e1,... ,ek−1,vybermezizbývajícími E \ {e0,e1,...,ek−1}<br />
hranu eksminimálnímohodnocenímtakovou,abyjejímpřidánímnevzniklakružnice.<br />
(3) Aplikujbod(2)dokudtolze.<br />
Důkaz. Nechť T ⊂ Gjegrafzkonstruovanýpodlealgoritmu.Jezřejmé,že Tneobsahuje<br />
kružnici,neboťhranysedo Tpřidávalytak,abykružnicenevznikla.Konstrukcekončív<br />
okamžiku,kdyžužnelzeprovéstkrok(2),cožspecielněznamená,že Tobsahujevšechny
vrcholygrafu G.Vidíme,že T jemaximálníacyklickýgraf,tj.podleVěty4(iv), T je<br />
kostragrafu G.Našímúkolemzůstáváukázat,žejeminimální.<br />
Symbolem T ′ označímetuzminimálníchkostergrafu G,kterásesTshodujevnejvíce<br />
hranáchadokážeme,že T= T ′ .<br />
Předpokládejme,že T = T ′ .HranyvTjsmevybíralipostupněpodlealgoritmuanechť<br />
e=uvjeprvníhranavT,kteránepatřído T ′ .Ovšemvrcholy u,vdo T ′ patří,neboť<br />
T ′ jekostra.PodleVěty4(iii)existujejedinácesta P ⊂ T ′ spojující uav.Tatocesta<br />
musíobsahovatalespoňjednuhranu,nazvěmeji e ′ ,kteránepatřído T,neboťpakbyvT<br />
existovalakružnice.<br />
Patřila e ′ mezikandidátyvkroku,kdyjsmevybíralihranu e?Hrana ejeprvníhranou<br />
v T,kteránepatřído T ′ ,tj.všechnydřívevybranéhranydo T ′ patří.Protoeventuálním<br />
přidánímhrany e ′ ktěmtodosudvybranýmnemůževzniknoutkružnice,neboť T ′ jestrom.<br />
Takže e ′ bylamezimožnýmikandidátynavýběr.Protožejsmealevybralihranu e,platí<br />
w(e) ≤ w(e ′ ).<br />
Nynípozměnímeminimálníkostru T ′ následovně:odeberemeodníhranu e ′ amísto<br />
nípřidámehranu e.Vzniklýgraf Tjeopětkostra,kterádíkyvýměněhran eae ′ splňuje<br />
w( T) ≤ w(T ′ ).Jejasné,žeostránerovnostnastatnemůže,neboť T ′ jekostrasminimální<br />
váhou,takže w( T)=w(T ′ ).Kostra T jetakéminimálníanavícmásT vícespolečnýchhrannež<br />
T ′ .Tentosporuzavírádůkaz,že T= T ′ ,atedy T jeopravduminimální<br />
kostra. <br />
Minimálníkostrudávajíidalšíalgoritmy.Např.Primůvalgoritmus,kterýselišíod<br />
Kruskalovatím,žedalšíhranasminimálnímohodnocenímsenavícberejenzhranvycházejícíchzvrcholuužčástečněvytvořenéhostromu.JemožnérovněžKruskalůvpostup<br />
vjistémsmysluobrátit:Zgrafupostupněvynechávámehranysnejvyššímohodnocením,<br />
pokudjejichvypuštěnímzůstávágrafsouvislý.Nakoncidostanememinimálníkostru.<br />
Párování<br />
Příklad.Napromočnímvečírkuje150studentů.Víme,žekaždádívkaseznás20hochy<br />
akaždýhochseznás20dívkami.Jemožnézevšechúčastníkůsestavittanečnípárytak,<br />
abysetanečníciznali?<br />
Povšimněmesi,žeaninevíme,zdajepočetdívekstejnýjakopočethochů.Kvyřešení<br />
tohotoproblémubudevhodnésispeciálnígraf,kterýdanousituaciznázorňuje,nějak<br />
pojmenovat.<br />
Definice.Graf G=(V,E)senazývábipartitní,jestližemnožinavrcholůsedározložitna<br />
dvěčásti, V = A ∪ B, A ∩ B= ∅,akaždáhranaspojujevrcholzAsvrcholemzB,tj.<br />
každáhranajetvaru e=ab,kde a ∈ Aab ∈ B.<br />
Naobrázkujsoupříkladybipartitníchgrafů.<br />
11
12<br />
Definice.PárovánívG=(V,E)jetakovápodmnožinahran F ⊂ E,žežádnédvěhrany<br />
z Fnemajíspolečnývrchol.<br />
Je-ligraf G=(V,E)bipartirní, V = A ∪ B,pakúplnépárovánízAdo Bjetakové<br />
párování F ⊂ E,žezkaždéhovrcholumnožiny Avedenějakéhranapárování F.<br />
<strong>Grafy</strong>naobrázkupředdefinicímajípárování,avšakzatímcoprvníznichmáúplné<br />
párovánízAdo B,udruhéhotakovéúplnépárováníneexistuje.Projednoduššíformulacivětyoexistenciúplnéhopárováníbudehodnésizavéstnásledujícíoznačení.Mějme<br />
podmnožinu S ⊂ V množinyvrcholů.Symbol N(S)označujevšechnyvrcholy,kteréjsou<br />
hranouspojenysnějakýmvrcholemvmnožině S.Volněřečeno,do N(S)dámevšechny<br />
vrcholy,kteréjsousousedynějakéhovrcholuzS.<br />
Věta9.Mějmebipartitnígraf G=(V,E),kde V = A ∪ B.Pakexistujeúplnépárování<br />
z Ado Bprávě,kdyžprokaždoupodmnožinu S ⊂ Aplatí<br />
(*) |S| ≤ |N(S)|.<br />
Důkaz. Předpokládejmenejprve,že F ⊂ EjeúplnépárovánízAdo Bamějme S ⊂ A<br />
libovolnou.Každáhranapárování Fspojujevrcholzmnožiny SsvrcholemvN(S),proto<br />
jevN(S)alespoňtolikprvkůjakovS.<br />
Obrácenouimplikacibudemedokazovatindukcípodlevelikostimnožiny A.Předpokládejme,ževbipartitnímgrafuplatípodmínka(*).<br />
(1) |A|=1,tj. A={a}.Protože |N(A)| ≥1,spojímevrchol aslibovolýmvrcholem<br />
b ∈ N(A)ahledanépárováníseskládáztétojedinéhrany ab.<br />
(2) Předpokládámenyní,žetvrzeníplatíkdykoli |A| ≤ nauvažujemebipartitnígrafs<br />
|A|=n+1.Mohounastatdvapřípady:<br />
(a) Prokaždouneprázdnoumnožinu S ⊂ Aplatívpodmínce(*)ostránerovnost,<br />
|S| < |N(S)|.Vtompřípaděspojímelibovolnývrchol a ∈ Asnějakýmvrcholem<br />
b ∈ N(a)apakobavrcholyspolusevšemihranami,kterédonichvedouzgrafu<br />
vypustíme.Vzniknegraf,kde |A| = n,stálesplňujícípodmínku(*).Podle<br />
indukčníhopředpokladuvněmexistujeúplnépárování,kterédodánímhrany<br />
abvytvoříúplnépárovánívpůvodnímgrafu.
(b)Existujepodmnožina S ⊂ Ataková,že<br />
|S|=|N(S)|.<br />
Uvažujeme-libipartitnípodgrafsvrcholy S a N(S),paksplňujepodmínku<br />
(*),neboťjisplňujecelýgraf.Podleindukčníhopředpokladumátentopodgraf<br />
úplnépárování F1z Sdo N(S).<br />
Jaktovypadásezbytkemgrafu?Ověříme,žeionsplňujepodmínku(*).Zvolme<br />
si mvrcholůvA \ S.Kdybybylyspojenysnejvýše m −1vrcholyvmnožině<br />
B \ N(S),pakpřidánímtěchto mvrcholůkmnožině Sbychomdostalisituaci,<br />
kdy m+|S|vrcholůjespojenosnejvýše m −1+|N(S)|=m −1+|S|vrcholy.<br />
Cožovšemodporujepodmínce(*).Zjistilijsme,žeizbytekgrafuvyhovuje(*)<br />
apodleindukčníhopředpokladuexistujeivtétočástigrafuúplnépárování F2.<br />
Hledanéúplnépárováníje F= F1 ∪ F2.<br />
<br />
ZVěty9vyplývákonečněpoznatek,kterýnámpomůžepřivyřešenísituacevpříkladu<br />
nazačátkutohooddílu.<br />
Věta10.Mějmebipartitnígraf G=(V,E),kde V = A ∪ B,takový,ževšechnyvrcholy<br />
majístejnýstupeň d ≥1.Pak |A|=|B|aexistujeúplnépárovánízAdo B.<br />
Důkaz. Ověříme,žegraf Gsplňujepodmínku(*)zVěty9.Mějme S ⊂ A.Ztétomnožiny<br />
vedecelkovýpočet d|S|hran.Kdybytytohranykončilyvméněnež |S|vrcholechmnožiny<br />
B,vedlobynutnědonějakéhovrcholumnožiny Bvícenež dhran,cožjesporsestupněm<br />
vrcholu.<br />
Podle Věty 9existuje úplnépárování z A do B.Tímale |A| ≤ |B|. Zesymetrie<br />
celésituaceexistujerovněžúplnépárovánízB do A,atedy |B| ≤ |A|.Dohromady,<br />
|A|=|B|. <br />
Řešenípříkladu:Situacejeznázorněnabipartitnímgrafem,kdemnožina Apředstavuje<br />
dívkyamnožina Bhochy.Hranyindikujívzájemnouznámost.StačínyníaplikovatVětu10<br />
s d=20.<br />
Ramseyovavěta<br />
Vtétočástisebudemezabývatotázkou,jaképravidelnostisenutněmusíobjevitvkaždém<br />
grafu,je-lidostatečněvelký.Specielněnásbudezajímat,zdasevtakovémgrafuobjeví<br />
jakopodgrafbuďtoúplnýgraf Knnebojehodoplněk Kc n.Obvyklýmotivačnípříkladje,že<br />
veskupiněšestilidísevždynajdoutři,kteřísemezisebounavzájemznajínebotři,kteří<br />
sevůbecneznají.Vřečigrafůtoznamená,ževkaždémgrafuošestivrcholechexistuje<br />
buďtrojúhelníknebotřivrcholy,mezinimižnevedežádnáhrana,vizcvičení(17).<br />
Ekvivalentnělzeotázkuoexistenci Knnebo K c n<br />
13<br />
vdanémgrafu Gformulovattak,že<br />
hranyvGobarvímejednoubarvouahrany,kterévGchybídoplníme,aleobarvímeje<br />
jinoubarvou.Vyniknetakúplnýgraf,jehožhranyjsouobarvenydvěmarůznýmibarvami.<br />
Problémnyníspočívávnalezeníúplnéhopodgrafu Knjehožvšechnyhranymajístejnou<br />
barvu.Následujícívětajeformulovánaprávěvjazykuobarveníhran.
14<br />
Věta11.(Ramsey)Prokaždé n ∈ Nexistuje N ∈ N,žejakýkoliúplnýgrafsalespoň N<br />
vrcholy,jehožhranyjsoulibovolněobarvenydvěmarůznýmibarvami,obsahujejednobarevný<br />
Knjakopodgraf.<br />
Důkaz. Tvrzeníjetriviálnípro n=1,protouvažujme n ≥2.Hledanéčíslo Npoložíme<br />
N=2 2n−3<br />
aukážeme,ževkaždémúplnémgrafusalespoň N vrcholynajdeme Knjehožvšechny<br />
hranymajístejnoubarvu.Barvy,kterébudemepoužívat,jsounapř.bíláamodrá.<br />
Zvolmesijakoukolipodmnožinu V1 ⊂ V mající Nprvků, |V1|=N,alibovolnývrchol<br />
v1 ∈ V1.Uvažujmeteďhrany,kteréspojují v1sostatnímivrcholyve V1.Protožemnožina<br />
V1 \ v1málichýpočetprvků,buďbílýchhranjealespoňpolovinacelkovéhopočtuuvažovanýchhrannebomodrýchhranjealespoňpolovinacelkovéhopočtu,tj.jejichalespoň<br />
2 2n−4 .Ztěchhran,kterýchjevětšinasijichvyberemepřesně2 2n−4 ,avrcholy,dokterých<br />
vedou,označímejako V2.<br />
Nynízvolímevrchol v2 ∈ V2libovolně.Podobnějakovýšeexistujebarva,žehranytéto<br />
barvyspojují v2alespoňspolovinouostatníchvrcholůve V2.Zvrcholů,dokterýchtyto<br />
hranyvedouvyberemepřesně2 2n−5 vrcholů,cožbudemnožina V3.<br />
Taktopokračujemeažvytvoříme2n −2množin V1,V2,... ,V2n−2a2n −2vrcholů<br />
v1,v2,... ,v2n−2takových,žeplatí<br />
(i) vi ∈ Via |Vi|=2 2n−2−i , i=1,2,... ,2n −2;<br />
(ii) Vi+1 ⊂ Vi \ {vi}, i=1,2,... ,2n −3;<br />
(iii) vijespojenhranamistejnébarvysevšemivrcholyve Vi+1, i=1,2,... ,2n −3.<br />
Meziprvními2n −3vrcholy v1,v2,...,v2n−3jealespoňpolovina(tj. n −1)takových,že<br />
proněvbodě(iii)nastalatatážbarva,řekněme,žebílá.Tytovrcholyspolusposledním<br />
v2n−2vytvoří Kn,majícítakvšechnyhranybílé. <br />
Nejmenšíčíslo mveVětě11senazýváRamseyovočíslo R(n).Jehopřesnáhodnota<br />
neníznámakroměněkolikajednoduchýchpřípadů: R(2)=2, R(3)=6aR(4)=18.Pro<br />
R(5)jenapř.známodhad41 ≤ R(5) ≤49,apod.<br />
Cvičení.<br />
(1) Uvažujmejednoduchýgraf Gsešestivrcholy.<br />
(a) MůžebýtvGsoučasněvrcholstupně0avrcholstupně5?<br />
(b)Obsahuje-li Gprávědvavrcholytéhožstupně,mohoutobýtstupně0nebo5?<br />
(c) Jemožné,abykaždývrcholvGbyljinéhostupně?<br />
(2) Komplement G c grafu Gjegrafsestejnýmivrcholy,kdedvavrcholyjsouspojeny<br />
hranouvG c právě,kdyžnejsouspojenyvpůvodnímgrafu G.Ukažte,žealespoň<br />
jedenzdvojice GaG c jevždysouvislýgraf.
(3) Silničnísíťdanéhookresuspojuje2nobcítak,žezkaždéobcevede nsilnicdo n<br />
sousedníchobcí.Existujesilničníspojenízlibovolnéobcedolibovolnéobce?<br />
(4) Mají-lihranyvsouvislémgrafunavzájemrůznéohodnocení,pakexistujejediná<br />
minimálníkostra.<br />
(5) Ukažte,žegrafjebipartitníprávě,kdyžneosahujekružnicilichédélky.<br />
(6) k-rozměrnákrychlemápárováníobsahujícívšechnyvrcholy, k ≥1.<br />
(7) Kolikpárováníobsahujícívšechnyvrcholymá K2n?<br />
(8) Kolikpárováníobsahujícívšechnyvrcholymástrom?<br />
(9) Naleznětenekonečnýbipartitnígraf,vekterémjesplněnapodmínka(*)zVěty9,a<br />
přestoneexistujeúplnépárování.<br />
(10) Mějmestrom To50hranách.Odstraněnímjednéhranysestrom Trozpadnenadva<br />
stromy T1a T2,okterýchplatí,žepočethranvT1serovnápočtuvrcholůvT2.<br />
Určetepočtyvrcholůpro T1a T2.<br />
(11) Ukažte,žesouvislýgrafsnvrcholyjestromprávě,kdyžsoučetstupňůvšechvrcholů<br />
je2(n −1).<br />
(12) Vsouvislémgrafumajíjakékolidvěcestymaximálnídélkyspolečnývrchol.<br />
(13) Předpokládejme,žejistáhranasouvisléhografupatřídokaždékostrytohotografu.<br />
Colzeotétohraněříci?<br />
(14) Uvažujmesouvislýgraf Goalespoňdvouvrcholech.Ukažte,ževGexisujídva<br />
vrcholytakové,žeodstraněnímjednohonebodruhéhozůstanegrafsouvislý.<br />
(15) Mějmebipartitnígraf G=(V,E), V = A ∪ B,kterýmáúplnépárovánízAdo B,<br />
tj.platípodmínka(*)zVěty9.<br />
(a) Platí-lidokonce |N(S)| ≥ |S|+1prokaždouvlastnípodmnožinu S ⊂ A,pak<br />
všechnyvrcholy a ∈ Amajívlastnost,žeprokaždouhranu abnaleznemevG<br />
úplnépárovánízAdo Bobsahujícíhranu ab.<br />
(b)Je-li S ⊂ Aminimálnímnožina,prokterouplatí |N(S)|=|S|,pakkaždývrchol<br />
a ∈ Smávlastnost,žeprokaždouhranu abnaleznemevGúplnépárovánízA<br />
do Bobsahujícíhranu ab.<br />
(c) Ukažte,ževgrafu Gexistujevrchol a ∈ A,žeprokaždouhranu abnalezneme<br />
v GúplnépárovánízAdo Bobsahujícíhranu ab.<br />
(d)Je-listupeň d(a)=dprovšechnyvrcholy a ∈ A,pakvGexisujealespoň N<br />
úplnýchpárování,kde<br />
<br />
d! pro d ≤ |A|,<br />
N=<br />
d(d −1) · · ·(d − |A|+1) pro d > |A|.<br />
15
16<br />
(16) Dvahráčihrajínasouvislémgrafu G=(V,E)hruspočívajícívestřídavémvybírání<br />
různýchvrcholů u1,u2,... tak,ženáslednývrchol ui+1musíbýtspojenhranous<br />
předchozím ui.Poslední,kdomůžetakovýtahučinit,vyhrává.Ukažte,žeprvníhráč<br />
mávyhrávajícístrategiiprávě,kdyžvgrafu Gneexistujepárováníobsahujícívšechny<br />
vrcholy(tzv.perfektnípárování).<br />
(17) Ukažte,žekaždýgrafošestivrcholechobsahujebuď K3nebo K c 3 .<br />
Řešení.<br />
(1a),(1b),(1c)Navšechnyotázkyjeodpověďnegativní.<br />
(2)Není-li Gsouvislý,pakkaždývrcholvkaždézjehokomponentjevG cspojenhranou sevšemivrcholyvostatníchkomponentách.<br />
(3)Kdybygrafznázorňujícíspojenímeziobceminebylsouvislý,pakkaždájehokomponentamánutněalespoň<br />
n+1vrcholů,cožnelze.<br />
(5)Můžemepředpokládat,žegraf Gjesouvislý,jinakprovedemenásledujícíúvahyvkaždé<br />
komponentěsouvislosti.Je-ligrafbipartitnísmnožinouvrcholů A ∪B,pakpřiprocházení<br />
kružnicísenanístřídajívrcholyzAavrcholyzB.Přinavrácenísedovýchozíhobodu<br />
jsmetaknutněmuseliprojítsudýpočethran.Obráceně,máme-lisouvislýgraf,kdese<br />
každákružniceskládázesudéhopočetuhran,rozdělímemnožinuvrcholů V načásti Aa<br />
Bnásledovně.Nechť Tjekostragrafu Gav∈Tlibovolný.Tentovrcholdámedomnožiny<br />
A.Ostatnívrcholydámedomnožiny Anebo Bpodletoho,jestlisekněmudostanemez<br />
vrcholu vcestouvTmajícísudýnebolichýpočethran.<br />
(6)Párovánítvoříhrany,kteréspojujívrcholylišícíseprávěvprvnísouřadnici.<br />
(7)Protožehranajeurčenadvojicívrcholů,vybírámedvojicevrcholůvK2n.Prvnídvojici<br />
vybereme 2n 2n−2<br />
2 způsoby,druhou 2 způsobyatd.Protoženezáležínapořadí,vjakém<br />
hranyvybíráme,výsledekdělíme n!,cožpoúpravědá(2n)!/(2 nn!). (8)Jediné,má-lisudýpočetvrcholůažádné,má-lilichýpočetvrcholů.<br />
(9)Např.graf G=(A ∪ B,E),kde A={0,1,2,... }, B= {1,2,... }ahranyjsou<br />
E= {k,k} k ≥1 ∪ {0,k} k ≥1 .<br />
(10) |V1|=26, |V2|=25.<br />
(11)Součetstupňůjerovendvojnásobkupočtuhran,grafmátedy n −1hran.Jedna<br />
implikaceplynezVěty6adruházfaktu,žegrafsn −1hranamijepodleVěty2(i)<br />
minimálnísouvislý.Nynípoužijemecharakterizacistromu,Větu4(ii).<br />
(12)Mějme P=(u0 ...un)aP ′ =(u ′ 0 ... u′ n)dvěmaximálnícestyapředpokládejme,že<br />
P ∩ P ′ = ∅.Existujecesta Q=(u0 ...u...u ′ ...u ′ n)spojující u0a u ′ n,kde ujeposlední<br />
vrcholna Qpatřícído P a u ′ jeprvnívrcholna Qležícíza uapatřícído P ′ .Jednaz<br />
částí(u0 ... u)a(u...un)cesty P jedlouháalespoňjakopolovina P apodobnějednaz<br />
částí(u ′ 0 ...u′ )a(u ′ ...u ′ n)cesty P ′ jedlouháalespoňjakopolovina P ′ .Spojenímtěchto<br />
delšíchčástípomocíúseku(u... u ′ )cesty Qbyvznikladelšícestanežmaximální.<br />
(13)Jetohrana,jejížodstraněnímsegrafrozpadnenadvěkomponenty.<br />
(14)Zvoltekostruvgrafu GapoužijteVětu5.<br />
(15a)Zvolímehranu ab.Poodebránívrcholů aabzgrafu Gbudezbylýpodgrafsplňovat<br />
podmínku(*).
(15b)Úplněstejnýargumentjakov(15a).<br />
(15c)Grafmánutnějednuzvlastností(15a)nebo(15b).<br />
(15d)Podle(15c)existujevrchol a ∈ A,želibovolnouhranu ablzedoplnitnapárování.V<br />
tomtoprvnímkrokutakmáme dmožností.Odebránímvrcholů aabbudoumítvrcholy<br />
v Astupeňalespoň d −1.Aplikujeme(15c)natentopodgrafapostupopakujemedokud<br />
tolze.<br />
(16)Má-ligrafperfektnípárování,odpovídáhráčč.2natahhráčeč.1tak,ževolívrchol,<br />
kterýjespojenhranouperfektníhopárovánísvrcholem,ježzvolilhráčč.1.Takhráčč.2<br />
vždyvyhraje,atedyhráčč.1nemávyhrávajícístrategii.<br />
Nemá-ligrafperfektnípárování,zvolímesijakékolipárování F ⊂ E,kterémámaximální<br />
počethran.Vrcholytvořící koncehranpárování F označme U ⊂ V.Protože F není<br />
perfektní,existujevrchol u1,doněhožnevedežádnáhranazF.Tojeprvnívolbahráče<br />
č.1.Hranyvycházejícízvrcholu u1musíkončitvmnožině U,jinakby Fnebylomaximální.<br />
Hráčč.2musítakvolitvrcholzu2 ∈ Uaodpověďhráčeč.1jevrchol u3,že u2u3 ∈ F.<br />
Dalšípostupjestejný,hráčč.2musínutněvybrat u4 ∈ U,protože Fjemaximální,ahráč<br />
č.1volí u5tak,aby u4u5 ∈ F.Tímtozpůsobemmáhráčč.1zaručeno,žepokaždévyhraje,<br />
tj.mávyhrávajícístrategii.<br />
(17)Zvolmevrchol vlibovolně.Tenjespojensnějakýmivrcholy u1,u2a u3buďvgrafu<br />
GnebovG c .Předpokládejme,ženastalaprvnímožnost,druháseřešíanalogicky.Jsou-li<br />
některézvrcholů u1,u2,u3spojenymezisebouhranou,vytvořísvrcholem vtrojúhelník,<br />
tj. K3.Nevede-limezi u1,u2,u3žádnáhrana,tvoří K c 3 .<br />
17