GRAAFITEOORIA - Cs.ioc.ee
GRAAFITEOORIA - Cs.ioc.ee
GRAAFITEOORIA - Cs.ioc.ee
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