Grafy
Grafy
Grafy
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
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.