Grafy

Grafy Grafy

math.feld.cvut.cz
from math.feld.cvut.cz More from this publisher
20.07.2013 Views

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

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!