08.08.2013 Views

GRAAFITEOORIA - Cs.ioc.ee

GRAAFITEOORIA - Cs.ioc.ee

GRAAFITEOORIA - Cs.ioc.ee

SHOW MORE
SHOW LESS

Transform your PDFs into Flipbooks and boost your revenue!

Leverage SEO-optimized Flipbooks, powerful backlinks, and multimedia content to professionally showcase your products and significantly increase your reach.

Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

<strong>GRAAFITEOORIA</strong><br />

T<strong>ee</strong>ma 7<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Loengu kava<br />

1 Graafi definitsioon ja lihtsamad omadused<br />

2 T<strong>ee</strong>d, tsüklid ja sidusus<br />

3 Euleri graafid<br />

4 Hamlitoni graafid<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Graafi definitsioone<br />

Definitsioon A<br />

Graaf G on struktuur G = (V ,E), kus<br />

V = V (G) on tippude hulk;<br />

E = E(G) ⊆ V × V on servade hulk.<br />

Definitsioon B<br />

Graaf G on struktuur G = (V ,E,E ), kus<br />

Märkus<br />

V = V (G) on tippude hulk;<br />

E = E(G) on servade hulk;<br />

E : E → P(V ) on intsidentsusfunktsioon, nii et iga e ∈ E korral |E (e)| = 1 või<br />

|E (e)| = 2.<br />

Käesolevas kursuses vaatleme üldiselt graafe, kus V ja E on lõplikud hulgad.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Graafi definitsioone<br />

Definitsioon A<br />

Graaf G on struktuur G = (V ,E), kus<br />

V = V (G) on tippude hulk;<br />

E = E(G) ⊆ V × V on servade hulk.<br />

Definitsioon B<br />

Graaf G on struktuur G = (V ,E,E ), kus<br />

Märkus<br />

V = V (G) on tippude hulk;<br />

E = E(G) on servade hulk;<br />

E : E → P(V ) on intsidentsusfunktsioon, nii et iga e ∈ E korral |E (e)| = 1 või<br />

|E (e)| = 2.<br />

Käesolevas kursuses vaatleme üldiselt graafe, kus V ja E on lõplikud hulgad.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Graafi definitsioone<br />

Definitsioon A<br />

Graaf G on struktuur G = (V ,E), kus<br />

V = V (G) on tippude hulk;<br />

E = E(G) ⊆ V × V on servade hulk.<br />

Definitsioon B<br />

Graaf G on struktuur G = (V ,E,E ), kus<br />

Märkus<br />

V = V (G) on tippude hulk;<br />

E = E(G) on servade hulk;<br />

E : E → P(V ) on intsidentsusfunktsioon, nii et iga e ∈ E korral |E (e)| = 1 või<br />

|E (e)| = 2.<br />

Käesolevas kursuses vaatleme üldiselt graafe, kus V ja E on lõplikud hulgad.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Graafi näide<br />

Olgu V = {v1,v2,v3,v4} ja E = {e1,e2,e3,e4,e5,e6}<br />

e E (e)<br />

e1 {v1,v2}<br />

e2 {v2,v3}<br />

e3 {v2,v4}<br />

e4 {v3,v4}<br />

e5 {v3,v4}<br />

{v2}<br />

e6<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria<br />

v1<br />

v4<br />

e1<br />

e3<br />

e4<br />

e5<br />

e6<br />

v2<br />

e2<br />

v3


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Graafi näide<br />

Peterseni graaf:<br />

Balabani graaf:<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Servad<br />

Kui E (e) = {u,v}, siis tippe u ja v nimetatakse serva e otstippudeks.<br />

Tähistame ka u e<br />

−− v või ka lihtsalt uv.<br />

e ∈ E on kordne serv, kui leidub serv e ′ ∈ E \ {e}, nii et E (e) = E (e ′ ).<br />

e ∈ E on silmus, kui |E (e)| = 1.<br />

Lihtgraaf on graaf ilma kordsete servade ja silmusteta.<br />

Olgu mingil hulgal V määratud sümm<strong>ee</strong>triline binaarne relatsioon ρ ⊆ V × V , nii<br />

et (x,x) = ρ ühegi x ∈ V korral, määrab ρ lihtgraafi tippude hulgaga V ja<br />

servade hulgaga<br />

E = {(x,y)|x,y ∈ V ,xρy}<br />

.<br />

(Suunamata) lihtgraafis vastab servale e ∈ E, kus E (e) = {u,v},<br />

alamhulk{(u,v),(v,u)} ⊆ V × V .<br />

Kui lihtgraafi servale e ∈ E, kus E (e) = {u,v} on vastavusse seatud paar<br />

(u,v) ∈ V × V , nimetatakse serva e suunatud servaks ehk kaareks.<br />

Kui graafi G servade hulk E(G) koosneb ainult kaartest, nimetatakse graafi<br />

suunatud graafiks ehk orient<strong>ee</strong>ritud graafiks ehk o-graafiks.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Servad<br />

Kui E (e) = {u,v}, siis tippe u ja v nimetatakse serva e otstippudeks.<br />

Tähistame ka u e<br />

−− v või ka lihtsalt uv.<br />

e ∈ E on kordne serv, kui leidub serv e ′ ∈ E \ {e}, nii et E (e) = E (e ′ ).<br />

e ∈ E on silmus, kui |E (e)| = 1.<br />

Lihtgraaf on graaf ilma kordsete servade ja silmusteta.<br />

Olgu mingil hulgal V määratud sümm<strong>ee</strong>triline binaarne relatsioon ρ ⊆ V × V , nii<br />

et (x,x) = ρ ühegi x ∈ V korral, määrab ρ lihtgraafi tippude hulgaga V ja<br />

servade hulgaga<br />

E = {(x,y)|x,y ∈ V ,xρy}<br />

.<br />

(Suunamata) lihtgraafis vastab servale e ∈ E, kus E (e) = {u,v},<br />

alamhulk{(u,v),(v,u)} ⊆ V × V .<br />

Kui lihtgraafi servale e ∈ E, kus E (e) = {u,v} on vastavusse seatud paar<br />

(u,v) ∈ V × V , nimetatakse serva e suunatud servaks ehk kaareks.<br />

Kui graafi G servade hulk E(G) koosneb ainult kaartest, nimetatakse graafi<br />

suunatud graafiks ehk orient<strong>ee</strong>ritud graafiks ehk o-graafiks.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Servad<br />

Kui E (e) = {u,v}, siis tippe u ja v nimetatakse serva e otstippudeks.<br />

Tähistame ka u e<br />

−− v või ka lihtsalt uv.<br />

e ∈ E on kordne serv, kui leidub serv e ′ ∈ E \ {e}, nii et E (e) = E (e ′ ).<br />

e ∈ E on silmus, kui |E (e)| = 1.<br />

Lihtgraaf on graaf ilma kordsete servade ja silmusteta.<br />

Olgu mingil hulgal V määratud sümm<strong>ee</strong>triline binaarne relatsioon ρ ⊆ V × V , nii<br />

et (x,x) = ρ ühegi x ∈ V korral, määrab ρ lihtgraafi tippude hulgaga V ja<br />

servade hulgaga<br />

E = {(x,y)|x,y ∈ V ,xρy}<br />

.<br />

(Suunamata) lihtgraafis vastab servale e ∈ E, kus E (e) = {u,v},<br />

alamhulk{(u,v),(v,u)} ⊆ V × V .<br />

Kui lihtgraafi servale e ∈ E, kus E (e) = {u,v} on vastavusse seatud paar<br />

(u,v) ∈ V × V , nimetatakse serva e suunatud servaks ehk kaareks.<br />

Kui graafi G servade hulk E(G) koosneb ainult kaartest, nimetatakse graafi<br />

suunatud graafiks ehk orient<strong>ee</strong>ritud graafiks ehk o-graafiks.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Servad<br />

Kui E (e) = {u,v}, siis tippe u ja v nimetatakse serva e otstippudeks.<br />

Tähistame ka u e<br />

−− v või ka lihtsalt uv.<br />

e ∈ E on kordne serv, kui leidub serv e ′ ∈ E \ {e}, nii et E (e) = E (e ′ ).<br />

e ∈ E on silmus, kui |E (e)| = 1.<br />

Lihtgraaf on graaf ilma kordsete servade ja silmusteta.<br />

Olgu mingil hulgal V määratud sümm<strong>ee</strong>triline binaarne relatsioon ρ ⊆ V × V , nii<br />

et (x,x) = ρ ühegi x ∈ V korral, määrab ρ lihtgraafi tippude hulgaga V ja<br />

servade hulgaga<br />

E = {(x,y)|x,y ∈ V ,xρy}<br />

.<br />

(Suunamata) lihtgraafis vastab servale e ∈ E, kus E (e) = {u,v},<br />

alamhulk{(u,v),(v,u)} ⊆ V × V .<br />

Kui lihtgraafi servale e ∈ E, kus E (e) = {u,v} on vastavusse seatud paar<br />

(u,v) ∈ V × V , nimetatakse serva e suunatud servaks ehk kaareks.<br />

Kui graafi G servade hulk E(G) koosneb ainult kaartest, nimetatakse graafi<br />

suunatud graafiks ehk orient<strong>ee</strong>ritud graafiks ehk o-graafiks.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Servad<br />

Kui E (e) = {u,v}, siis tippe u ja v nimetatakse serva e otstippudeks.<br />

Tähistame ka u e<br />

−− v või ka lihtsalt uv.<br />

e ∈ E on kordne serv, kui leidub serv e ′ ∈ E \ {e}, nii et E (e) = E (e ′ ).<br />

e ∈ E on silmus, kui |E (e)| = 1.<br />

Lihtgraaf on graaf ilma kordsete servade ja silmusteta.<br />

Olgu mingil hulgal V määratud sümm<strong>ee</strong>triline binaarne relatsioon ρ ⊆ V × V , nii<br />

et (x,x) = ρ ühegi x ∈ V korral, määrab ρ lihtgraafi tippude hulgaga V ja<br />

servade hulgaga<br />

E = {(x,y)|x,y ∈ V ,xρy}<br />

.<br />

(Suunamata) lihtgraafis vastab servale e ∈ E, kus E (e) = {u,v},<br />

alamhulk{(u,v),(v,u)} ⊆ V × V .<br />

Kui lihtgraafi servale e ∈ E, kus E (e) = {u,v} on vastavusse seatud paar<br />

(u,v) ∈ V × V , nimetatakse serva e suunatud servaks ehk kaareks.<br />

Kui graafi G servade hulk E(G) koosneb ainult kaartest, nimetatakse graafi<br />

suunatud graafiks ehk orient<strong>ee</strong>ritud graafiks ehk o-graafiks.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Servad<br />

Kui E (e) = {u,v}, siis tippe u ja v nimetatakse serva e otstippudeks.<br />

Tähistame ka u e<br />

−− v või ka lihtsalt uv.<br />

e ∈ E on kordne serv, kui leidub serv e ′ ∈ E \ {e}, nii et E (e) = E (e ′ ).<br />

e ∈ E on silmus, kui |E (e)| = 1.<br />

Lihtgraaf on graaf ilma kordsete servade ja silmusteta.<br />

Olgu mingil hulgal V määratud sümm<strong>ee</strong>triline binaarne relatsioon ρ ⊆ V × V , nii<br />

et (x,x) = ρ ühegi x ∈ V korral, määrab ρ lihtgraafi tippude hulgaga V ja<br />

servade hulgaga<br />

E = {(x,y)|x,y ∈ V ,xρy}<br />

.<br />

(Suunamata) lihtgraafis vastab servale e ∈ E, kus E (e) = {u,v},<br />

alamhulk{(u,v),(v,u)} ⊆ V × V .<br />

Kui lihtgraafi servale e ∈ E, kus E (e) = {u,v} on vastavusse seatud paar<br />

(u,v) ∈ V × V , nimetatakse serva e suunatud servaks ehk kaareks.<br />

Kui graafi G servade hulk E(G) koosneb ainult kaartest, nimetatakse graafi<br />

suunatud graafiks ehk orient<strong>ee</strong>ritud graafiks ehk o-graafiks.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Servad<br />

Kui E (e) = {u,v}, siis tippe u ja v nimetatakse serva e otstippudeks.<br />

Tähistame ka u e<br />

−− v või ka lihtsalt uv.<br />

e ∈ E on kordne serv, kui leidub serv e ′ ∈ E \ {e}, nii et E (e) = E (e ′ ).<br />

e ∈ E on silmus, kui |E (e)| = 1.<br />

Lihtgraaf on graaf ilma kordsete servade ja silmusteta.<br />

Olgu mingil hulgal V määratud sümm<strong>ee</strong>triline binaarne relatsioon ρ ⊆ V × V , nii<br />

et (x,x) = ρ ühegi x ∈ V korral, määrab ρ lihtgraafi tippude hulgaga V ja<br />

servade hulgaga<br />

E = {(x,y)|x,y ∈ V ,xρy}<br />

.<br />

(Suunamata) lihtgraafis vastab servale e ∈ E, kus E (e) = {u,v},<br />

alamhulk{(u,v),(v,u)} ⊆ V × V .<br />

Kui lihtgraafi servale e ∈ E, kus E (e) = {u,v} on vastavusse seatud paar<br />

(u,v) ∈ V × V , nimetatakse serva e suunatud servaks ehk kaareks.<br />

Kui graafi G servade hulk E(G) koosneb ainult kaartest, nimetatakse graafi<br />

suunatud graafiks ehk orient<strong>ee</strong>ritud graafiks ehk o-graafiks.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Servad<br />

Kui E (e) = {u,v}, siis tippe u ja v nimetatakse serva e otstippudeks.<br />

Tähistame ka u e<br />

−− v või ka lihtsalt uv.<br />

e ∈ E on kordne serv, kui leidub serv e ′ ∈ E \ {e}, nii et E (e) = E (e ′ ).<br />

e ∈ E on silmus, kui |E (e)| = 1.<br />

Lihtgraaf on graaf ilma kordsete servade ja silmusteta.<br />

Olgu mingil hulgal V määratud sümm<strong>ee</strong>triline binaarne relatsioon ρ ⊆ V × V , nii<br />

et (x,x) = ρ ühegi x ∈ V korral, määrab ρ lihtgraafi tippude hulgaga V ja<br />

servade hulgaga<br />

E = {(x,y)|x,y ∈ V ,xρy}<br />

.<br />

(Suunamata) lihtgraafis vastab servale e ∈ E, kus E (e) = {u,v},<br />

alamhulk{(u,v),(v,u)} ⊆ V × V .<br />

Kui lihtgraafi servale e ∈ E, kus E (e) = {u,v} on vastavusse seatud paar<br />

(u,v) ∈ V × V , nimetatakse serva e suunatud servaks ehk kaareks.<br />

Kui graafi G servade hulk E(G) koosneb ainult kaartest, nimetatakse graafi<br />

suunatud graafiks ehk orient<strong>ee</strong>ritud graafiks ehk o-graafiks.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Naabrusmaatriks<br />

Olgu G = (V ,E) mittesuunatud lihtgraaf tippudega V = {v1,...,v1,. . . ,vn}.<br />

Definitsioon<br />

Graafi G naabrusmaatriksiks on n × n maatriks A = <br />

aij , kus<br />

<br />

1, kui (vi ,vj ) ∈ E<br />

aij =<br />

0, kui (vi ,vj ) /∈ E<br />

Kui aij = 1, nimetame tippe vi ja vj naabriteks.<br />

Tipu v ∈ V naabrite arvu deg(v) nimetatakse tema astmeks ehk valentsiks.<br />

Naabrusmaatriks on sümm<strong>ee</strong>triline ja peadiagonaalil on nullid.<br />

v1<br />

v4<br />

e1<br />

e3<br />

e4<br />

v2<br />

e2<br />

v3<br />

1 2 3 4<br />

1 0 1 0 0<br />

2 1 0 1 1<br />

3 0 1 0 1<br />

4 0 1 1 0<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Graafi paarituvalentsete tippude arv<br />

Teor<strong>ee</strong>m 7.1.1.<br />

Mittesuunatud lihtgraafis on paarisarv paaritu astmega tippe.<br />

Tõestuse id<strong>ee</strong>. Induktsioon servade arvu järgi, vt illustr<strong>ee</strong>rivat näidet, mustad tipud<br />

on paarisarvulise astmega.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

T<strong>ee</strong>d, tsüklid ja sidusus: mõisted<br />

T<strong>ee</strong> ehk ahel graafis G = (V ,E) (tipust x tipuni y) on jada<br />

P : x = x0 e1 −− x1 e2 −− x2 e3 −− x3 e4 ek−1 −− ··· −− xk−1 ek −− xk = y.<br />

Arvu k nimetatakse t<strong>ee</strong> P pikkuseks ja tähistatakse |P|.<br />

Seda, et P on t<strong>ee</strong> tipust x tipuni y, tähistame x P y.<br />

T<strong>ee</strong>d, kus tipud on kõik erinevad (erandina võivad x0 ja xk võrdsed<br />

olla), nimetame lihtt<strong>ee</strong>ks.<br />

T<strong>ee</strong>d, kus x0 = xk, nimetame kinniseks t<strong>ee</strong>ks.<br />

Kinnist lihtt<strong>ee</strong>d nimetame tsükliks.<br />

Graaf on sidus, kui tema iga kahe tipu vahel leidub t<strong>ee</strong>.<br />

Kauguseks d(u,v) tippude u,v ∈ V vahel nimetatakse neid<br />

ühendava lühima lihtahela pikkust.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Tsükli leidumine<br />

Teor<strong>ee</strong>m<br />

Graafis G = (V ,E), mille iga tipu v ∈ V aste deg(v) 2, leidub<br />

tsükkel.<br />

Tõestus.<br />

Silmus on tsükkel ning kordsed servad annavad tsükli pikkusega 2.<br />

Oletame väitevastaselt, et G on tsüklivaba lihtgraaf ja v1 ∈ V tema tipp. Kuna<br />

tipu v1 astak on vähemalt 2, siis leidub v2 ∈ V , nii et v1 −− v2. Kuna ka<br />

deg(v2) 2, siis saab leida tipu v3, nii et v1 −− v2 −− v3.<br />

Analoogiliselt saab iga k korral lihtahelat v1 −− v2 −− ··· −− vk pikendada tipuni<br />

vk+1.<br />

Lihtahela pikkus on aga piiratud hulga V võimsusega ning varem või hiljem<br />

peab tekkima tsükkel.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria<br />

m.o.t.t.


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Alamgraafid<br />

Näide<br />

Graafi G = (V ,E) alamgraafiks nimetame graafi G ′ = (V ′ ,E ′ ), kui<br />

V ′ ⊆ V ja E ′ ⊆ E ning iga e ∈ E ′ jaoks kehtib E (e) ⊆ V ′ .<br />

Alamgraafi (V ′ ,E ′ ) nimetame indust<strong>ee</strong>rituks (hulga V ′ poolt), kui<br />

hulk E ′ on V ′ jaoks suurim võimalik, s.t. iga e ∈ E jaoks kehtib<br />

E (e) ⊆ V ′ ⇒ e ∈ E ′ .<br />

v1<br />

v4<br />

v2 v1<br />

v3<br />

v2 v1<br />

Graafi G sidususkomponentideks nimetatakse tema maksimaalseid<br />

sidusaid alamgraafe.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria<br />

v3<br />

v2<br />

v3


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Alamgraafid<br />

Näide<br />

Graafi G = (V ,E) alamgraafiks nimetame graafi G ′ = (V ′ ,E ′ ), kui<br />

V ′ ⊆ V ja E ′ ⊆ E ning iga e ∈ E ′ jaoks kehtib E (e) ⊆ V ′ .<br />

Alamgraafi (V ′ ,E ′ ) nimetame indust<strong>ee</strong>rituks (hulga V ′ poolt), kui<br />

hulk E ′ on V ′ jaoks suurim võimalik, s.t. iga e ∈ E jaoks kehtib<br />

E (e) ⊆ V ′ ⇒ e ∈ E ′ .<br />

v1<br />

v4<br />

v2 v1<br />

v3<br />

v2 v1<br />

Graafi G sidususkomponentideks nimetatakse tema maksimaalseid<br />

sidusaid alamgraafe.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria<br />

v3<br />

v2<br />

v3


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Graafide homomorfism<br />

Definitsioon<br />

Homomorfism graafist G1 = (V1,E1) graafi G2 = (V2,E2) on kujutus f : V1 → V2, nii<br />

et tipud x,y ∈ V1on naabrid parajasti siis, kui tipud f (x),f (y) ∈ V2 on naabrid.<br />

Näide<br />

v1<br />

v4<br />

v2<br />

v3<br />

v ′<br />

1<br />

Homomorfismide kompositsioon on homomorfism.<br />

Homomorfism f on monomorfism, kui ta on üksühene.<br />

Homomorfism f on isomorfism, kui ta on bijektsioon.<br />

Graafid G1 ja G2 on isomorfsed (tähist. G1 ∼ = G2), kui nende vahel leidub<br />

isomorfism.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria<br />

v ′<br />

2<br />

v ′<br />

3


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Graafide homomorfism<br />

Definitsioon<br />

Homomorfism graafist G1 = (V1,E1) graafi G2 = (V2,E2) on kujutus f : V1 → V2, nii<br />

et tipud x,y ∈ V1on naabrid parajasti siis, kui tipud f (x),f (y) ∈ V2 on naabrid.<br />

Näide<br />

v1<br />

v4<br />

v2<br />

v3<br />

v ′<br />

1<br />

Homomorfismide kompositsioon on homomorfism.<br />

Homomorfism f on monomorfism, kui ta on üksühene.<br />

Homomorfism f on isomorfism, kui ta on bijektsioon.<br />

Graafid G1 ja G2 on isomorfsed (tähist. G1 ∼ = G2), kui nende vahel leidub<br />

isomorfism.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria<br />

v ′<br />

2<br />

v ′<br />

3


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Null- ja täisgraaf<br />

Definitsioon<br />

Täisgraafiks nimetatakse graafi, kus iga kahe erineva tipu vahel on üks serv. n-tipulist<br />

täisgraafi tähistatakse Kn.<br />

Definitsioon<br />

Nullgraafiks nimetatakse graafi, milles pole servi. n-tipulist nullgraafi tähistatakse On<br />

või Nn.<br />

Näide; graafid K5 ja O5<br />

Omadus. Graafis Kn on n(n − 1)/2 serva.<br />

Tõestuse id<strong>ee</strong>. Induktsiooniga tippude arvu n järgi.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Kahealuselised graafid<br />

Definitsioon<br />

Graaf G = (V ,E) on kahealuseline, kui V on tükeldatav kaheks hulgaks (aluseks) V1<br />

ja V2 (s.t. V1 ∪ V2 = V ja V1 ∩ V2 = /0) nii, et ühegi serva mõlemad otstipud ei kuulu<br />

samasse alusesse.<br />

Näide<br />

Kui ρ on relatsioon hulkade X ja Y (kus X ∩ Y = /0) vahel, siis lihtgraaf tipuhulgaga<br />

V = X ∪ Y ja servahulgaga<br />

on kahealuseline graaf alustega X ja Y .<br />

E = {(x,y),(y,x)|x ∈ X ,y ∈ Y ,xρy}<br />

Kahealuseline lihtgraaf alustega V1 ja V2 on täielik kahealuseline graaf, kui iga<br />

v1 ∈ V1 ja v2 ∈ V2 vahel leidub serv. Täielikku kahealuselist graafi, kus |V1| = m ja<br />

|V2| = n, tähistatakse Km,n.<br />

Omadus<br />

Graafis Km,n on mn serva.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Kahealuselise graafi tsüklid<br />

Teor<strong>ee</strong>m<br />

Graaf on kahealuseline parajasti siis, kui kõik tema tsüklid on paarisarvulise pikkusega.<br />

Tarvilikkuse tõestus.<br />

Tsüklis on mingi arv samme esimesest alusest teise ja samapalju samme teisest alusest<br />

esimesse.<br />

Piisavuse tõestus.<br />

Eeldame, et graaf G = (V ,E) on sidus. Vastasel korral viime järgneva operatsiooni<br />

läbi iga sidususkomponendiga.<br />

Värvimeme graafi G tippe mustaks ja valgeks:<br />

Valime mingi tipu v0 ∈ V ja värvime ta valgeks.<br />

Olgu u mingi värvitud tipp, millel on värvimata naabreid. Olgu v üks tema<br />

värvimata naabertippudest, mille värvime teist värvi, kui u. Jätame m<strong>ee</strong>lde, et<br />

v-d värvides lähtusime u värvist, tähistades v c −→ u.<br />

Kordame <strong>ee</strong>lmist punkti, kuni tekivad sama värvi naabertipud x ja y, või kuni<br />

tipud saavad otsa. vt. järgmine slaid ...<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Kahealuselise graafi tsüklid (2)<br />

Tõestus jätkub ....<br />

Kui tekivad sellised tipud x ja y, siis on meil paarituarvulise pikkusega tsükkel<br />

x −− ··· −− v ′ −− ··· −− y −− x.<br />

y c<br />

x<br />

c<br />

c<br />

c<br />

c<br />

c<br />

Selline situatsioon on vastuolus <strong>ee</strong>ldusega ning ei saa tekkida. Sellisel juhul saab aga<br />

moodustada valgetest tippudest ühe ja mustadest teise aluse. m.o.t.t.<br />

v ′<br />

c<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria<br />

c<br />

c<br />

v0


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Euleri graafid<br />

Euleri ahelaks graafis G = (V ,E) nimetatakse<br />

kinnist ahelat, mis läbib selle graafi iga serva<br />

täpselt üks kord.<br />

Euleri graafiks nimetatakse graafi, milles leidub<br />

Euleri ahel.<br />

Graafi, milles leidub lahtine ahel, mis läbib selle<br />

graafi iga serva täpselt üks kord, nimetatakse<br />

Euleri semigraafiks.<br />

Leonhard Euler<br />

(1707–1783)<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Euleri ahela näide<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

V<strong>ee</strong>l Euleri ahela näiteid<br />

Levinud ajaviiteülesanne: joonistada etteantud kujund pliiatsit<br />

paberilt tõstmata ja ühtegi joont mitu korda tõmbamata.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Euleri graafi põhiomadus<br />

Teor<strong>ee</strong>m<br />

Olgu G = (V ,E) sidus graaf. Järgmised kolm väidet on samaväärsed:<br />

(a) G on Euleri graaf;<br />

(b) kõigi tippude aste on paarisarv;<br />

(c) E esitub paarikaupa lõikumatute tsüklite ühendina.<br />

Tõestus.<br />

(a)⇒(b). Olgu P graafi G mingi Euleri ahel. Ahel P läbib iga tipuga v ∈ V<br />

intsidentset serva ühel korral ning siseneb tippu v sama arv kordi kui ta sealt väljub.<br />

S<strong>ee</strong>ga on tipu v aste paarisarv.<br />

(b)⇒(c). Induktsion servade arvu järgi.<br />

Baas. kui |E| = 0, siis on tinginmus triviaalselt täidetud.<br />

Samm. Vastavalt <strong>ee</strong>ldusele on kõigi tippude aste vähemalt kaks ning tsükli leidumise<br />

teor<strong>ee</strong>mi kohaselt peab graafis G sisalduna vähemalt üks tsükkel C. Moodustame<br />

graafi G ′ sellel t<strong>ee</strong>l, et kustutame graafis G leitud tsükli C servad. Graafi G ′ tipud on<br />

endiselt paarisarvulise astakuga ning induktsiooni <strong>ee</strong>lduse kohaselt iga siduskomponendi<br />

servade hulk avaldub paarikaupa lõikumatute tsüklite servade hulkade ühendiga.<br />

Sellisel juhul saab graafi G servade hulga esitada G ′ tsüklite ja C kaarte ühendina.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Euleri graafi põhiomadus (tõestuse jätk ...)<br />

(c)⇒(a). Olgu E = C1 ˙∪C2 ˙∪... ˙∪Cn,kus C1,...,Cn on tsüklid.<br />

Üldisust kitsendamata <strong>ee</strong>ldame, et tsüklitel Ci ja Cj , kus 0 j < i,on ühiseid tippe.<br />

Konstru<strong>ee</strong>rime kinnised ahelad P1,...,Pn. Konstruktsioon tagab, et Pi läbib tsüklite<br />

C1,...,Ci iga serva täpselt üks kord ning ei läbi ühtegi ülejäänud serva.<br />

Ahelaks P1 võtame tsükli C1.<br />

Ahela Pi saame ahelast Pi−1 järgmisel viisil.<br />

Liigume ahelas Pi−1 senikaua, kuni jõuame mingi tipuni v, mis<br />

esineb ka tsüklis Ci.<br />

Läbime tsükli Ci, alustades ja lõpetades tipus v.<br />

Läbime ülejäänud osa ahelast Pi−1.<br />

Ahel Pn on Euleri ahel graafis G. m.o.t.t.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Euleri ahela leidmise näide<br />

Tõestus annab algoritmi Euleri ahela leidmiseks graafis G:<br />

a) eraldada G servade hulgast tsüklid;<br />

b) panna tsüklitest kokku Euleri ahel.<br />

Järgnevatel slaididel on demonstr<strong>ee</strong>ritud algoritmi tööd näite varal.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Euleri ahela leidmise näide (2)<br />

a b<br />

e f g h<br />

c d<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Euleri ahela leidmise näide (3)<br />

a b<br />

e f g h<br />

c d<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Euleri ahela leidmise näide (4)<br />

a b<br />

e f g h<br />

c d<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Euleri ahela leidmise näide (5)<br />

a b<br />

e f g h<br />

c d<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Euleri ahela leidmise näide (6)<br />

a b<br />

e f g h<br />

c d<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Euleri ahela leidmise näide (7)<br />

a b<br />

e f g h<br />

c d<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria<br />

e<br />

a<br />

c


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Euleri ahela leidmise näide (8)<br />

a b<br />

e f g h<br />

c d<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria<br />

e<br />

a<br />

c


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Euleri ahela leidmise näide (9)<br />

a b<br />

e f g h<br />

c d<br />

a b<br />

c<br />

f<br />

d<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria<br />

e<br />

a<br />

c


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Euleri ahela leidmise näide (10)<br />

a b<br />

e f g h<br />

c d<br />

a b<br />

c<br />

f<br />

d<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria<br />

e<br />

a<br />

c


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Euleri ahela leidmise näide (11)<br />

a b<br />

e f g h<br />

c d<br />

a b<br />

c<br />

f<br />

d<br />

e<br />

a<br />

c<br />

b<br />

g h<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria<br />

d


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Euleri ahela leidmise näide (12)<br />

a b<br />

e f g h<br />

c d<br />

a b<br />

c<br />

f<br />

d<br />

e<br />

a<br />

c<br />

b<br />

g h<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria<br />

d


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Euleri ahela leidmise näide (13)<br />

1<br />

a b<br />

e 2 f g h<br />

3<br />

c d<br />

a b<br />

c<br />

f<br />

d<br />

e<br />

a<br />

c<br />

b<br />

g h<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria<br />

d


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Euleri ahela leidmise näide (14)<br />

1<br />

a 2 b<br />

e 7 f g 3 h<br />

8<br />

6<br />

5<br />

c 4 d<br />

a b<br />

c<br />

f<br />

d<br />

e<br />

a<br />

c<br />

b<br />

g h<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria<br />

d


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Euleri ahela leidmise näide (15)<br />

1<br />

a 2 b<br />

e 11 f g 7 h<br />

12<br />

10<br />

9<br />

c 8 d<br />

a b<br />

c<br />

f<br />

6<br />

5<br />

d<br />

3<br />

4<br />

e<br />

a<br />

c<br />

b<br />

g h<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria<br />

d


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Euleri semigraafid<br />

Järeldus<br />

Sidus graaf G on Euleri semigraaf parajasti siis, kui graafis G on täpselt kaks<br />

paarituarvulise astmega tippu.<br />

Tõestus.<br />

⇒ Olgu x P y ahel graafis G, mis läbib G iga serva täselt ühe korra. Lisame G-le<br />

täiendava serva e, nii et E (e) = {x,y}. Saadud graaf on Euleri graaf (x P y e<br />

−− x on<br />

Euleri ahel), s<strong>ee</strong>ga on seal kõigi tippude aste paarisarvuline. Järelikult esialgses graafis<br />

on x ja y paarituarvulise ning ülejäänud tipud paarisarvulise astmega.<br />

⇐ Olgu x ja y graafi G paarituarvulise astmega tipud. Lisame G-le täiendava serva e,<br />

nii et E (e) = {x,y}. Saadud graafis on kõigi tippude aste paarisarvuline, s<strong>ee</strong>ga leidub<br />

seal Euleri ahel P. Üldisust kitsendamata <strong>ee</strong>ldame, et viimane serv ahelas P on e.<br />

Ahel P ilma servata e on ahel, mis läbib graafi G iga serva täpselt ühe korra. m.o.t.t.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Kokkuvõtteks Euleri graafidest<br />

Teor<strong>ee</strong>m 7.3.1<br />

Olgu G sidus graaf.<br />

(a) Kui graafil G on rohkem kui kaks paaritu astmega tippu, siis<br />

tal puudub Euleri ahel;<br />

(b) Kui graafil G on täpselt kaks paaritu astmega tippu. siis on tal<br />

lahtine Euleri ahel, mis algab ühest ja lõpeb teises paaritu<br />

astmega tipus;<br />

(c) Kui graafil G puuduvad paaritu astmega tipud, siis tal on<br />

kinnine Euleri ahel (e. G on Euleri graaf).<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Hamiltoni graafid<br />

Hamiltoni tsükliks graafis G = (V ,E) nimetatakse<br />

tsüklit, mis läbib selle graafi kõik tipud täpselt<br />

üks kord.<br />

Hamiltoni ahelaks graafis G = (V ,E) nimetatakse<br />

lahtist lihtahelat, mis läbib selle graafi kõik tipud<br />

täpselt üks kord.<br />

Hamiltoni graafiks nimetatakse graafi, milles<br />

leidub Hamiltoni tsükkel.<br />

Graafi, milles ei leidu Hamiltoni tsüklit, kuid<br />

leidub Hamiltoni ahel, nimetatakse Hamiltoni<br />

semigraafiks.<br />

William R. Hamilton<br />

(1805–1865)<br />

Kontrollimine, kas graafis leidub Hamiltoni tsükkel, on NP-k<strong>ee</strong>rukas ülesanne.<br />

Ei ole teada (mittetriviaalseid) tingimusi, mis oleksid tarvilikud ja piisavad<br />

graafis Hamiltoni tsükli või ahela leidumiseks.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Näited Hamiltoni ahela või tsükli leidmisest:<br />

Allikas: wikipedia.org, c○Christoph Sommer, GFDL / cc-by-sa; c○Claudio Rocchini<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria


Graafi definitsioon ja lihtsamad omadused<br />

T<strong>ee</strong>d, tsüklid ja sidusus<br />

Euleri graafid<br />

Hamlitoni graafid<br />

Teor<strong>ee</strong>m (Ore, 1960)<br />

Olgu G = (V ,E) lihtgraaf, kus |V | = n 3. Kui iga kahe tipu<br />

u,w ∈ V jaoks kehtib implikatsioon<br />

(u,w) /∈ E ⇒ deg(u) + deg(w) n,<br />

siis leidub graafis G Hamiltoni tsükkel.<br />

Järeldus (Dirac,1952)<br />

Kui G = (V ,E) on n-tipuline lihtgraaf, kus iga tipu v ∈ V jaoks<br />

kehtib deg(v) n/2, siis on G Hamiltoni graaf.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: Graafiteooria

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

Saved successfully!

Ooh no, something went wrong!