Grafy
Grafy
Grafy
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
(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