Professional Documents
Culture Documents
Grafovi Pred 1 Nopause
Grafovi Pred 1 Nopause
Dr.sc.Snjezana Majstorovic
Odjel za matematiku, Sveu
ciliste u Osijeku, Hrvatska
1 of 1
Ciljevi kolegija
3 of 1
1 Uvod
Teorija grafova je posebna grana Kombinatorike, ali je usko povezana sa
Primjenjenom Matematikom, Teorijom optimizacije i Racunalnim znanostima.
Utemeljiteljio ju je Leonhard Euler(1707-1783) godine 1736. rjesavanjem
problema K
onigsberskih mostova.
Stari pruski grad K
onigsberg smjesten je na obalama rijeke Pregel. Dio grada
smjesten je na dva otoka, koji su bili povezani s kopnom i medusobno sa sedam
mostova, kako je prikazano na slici.
1 Uvod
je graf?
Sto
Pojednostavljeno receno, graf je familija tocaka, koje se zovu vrhovi, zajedno
sa spojnicama medu vrhovima, koje se zovu bridovi.
Uz takvu definiciju, graf je lako nacrtati:
A
D
D
GRAF
o
E = {A, B}, {A, B}, {B, D}, {B, D}, {A, C}, {B, C}, {C, D}
5 of 1
1 Uvod
Definicija 1.1
Graf G je uredena trojka G = (V (G), E(G), G ) koja se sastoji od nepraznog
skupa V = V (G), ciji su elementi vrhovi od G, skupa E = E(G) disjunktnog sa
V (G), ciji su elementi bridovi od G i funkcije incidencije G koja svakom bridu
od G pridruzuje neuredeni par (ne nuzno razlicitih) vrhova od G.
Iz definicije je jasno slijedece:
|V | 1, tj. graf mora sadrzavati najmanje jedan vrh
moguce je da E = , tj. graf ne mora sadrzavati bridove
ako e, f E, e 6= f , i u, v V , u 6= v, tada je moguce da
(e) = (f ) = {u, v}, tj. funkcija ne mora biti injekcija (moguce je da
dva razlicita vrha budu spojena sa vise bridova, tj. da graf sadrzi visestruke
bridove)
ako e E i v V , tada je moguce da (e) = {v, v}, tj. brid moze spajati
neki vrh sam sa sobom i zove se petlja
skupovi V (G) i E(G) ne moraju biti konacni. Ukoliko su oba skupa
konacna, tada kazemo da je G konacan graf.
6 of 1
1 Uvod
Definicija 1.1
Graf G je uredena trojka G = (V (G), E(G), G ) koja se sastoji od nepraznog
skupa V = V (G), ciji su elementi vrhovi od G, skupa E = E(G) disjunktnog sa
V (G), ciji su elementi bridovi od G i funkcije incidencije G koja svakom bridu
od G pridruzuje neuredeni par (ne nuzno razlicitih) vrhova od G.
Ako u, v V (G) i e E(G) tako da G (e) = {u, v}, kazemo da e spaja u i v, a
u i v su krajevi od e.
Za krajeve u, v brida e kazemo da su incidentni sa bridom e.
Stovi
se, reci cemo da su v i e incidentni, ako je v jedan kraj brida e.
Za dva vrha incidentna s nekim bridom kazemo da su susjedni.
Za dva brida sa zajednickim vrhom takoder kazemo da su susjedni.
NAPOMENA:
Radi jednostavnosti, umjesto G (e) = {u, v}, pisati cemo G (e) = uv (ili
G (e) = vu).
7 of 1
1 Uvod
Primjer 1.2
Odredimo skup vrhova V (G), skup bridova E(G) i funkciju incidencije G za
graf sa slike:
e9
v1
v4
e1
e4
e6
e5
e7
e3
v5 e8
v2
e2
v3
V (G) = {vi : i = 1, . . . , 5}
E(G) = {ei : i = 1, . . . , 9}
1 Uvod
JEDNOSTAVAN GRAF je graf koji ne sadrzi petlje ni visestruke bridove
MULTIGRAF je graf koji dozvoljava visestruke bridove, ali ne dozvoljava
petlje
NAPOMENA:
Nerijetko se u literaturi pod pojmom graf misli na jednostavan graf, a
pod pojmom multigraf misli se na graf koji sadrzi visestruke bridove i/ili
petlje.
Stoga sa ovim pojmovima vrlo oprezno!!!
9 of 1
1 Uvod
10 of 1
1 Uvod
Neki multigrafovi:
11 of 1
1 Uvod
Neki pseudografovi:
BOUQET
12 of 1
1 Uvod
GRAFOVA:
JOS
NAPOMENE:
Digraf mozemo smatrati grafom cijim je bridovima pridruzen smjer.
Iz definicije hipergrafa jasno je da hiperbrid moze spajati vise od dva vrha.
Ako u hipergrafu H skup hiperbridova E(H) sadrzi iskljucivo dvoclane
podskupove skupa V (H), tada dobivamo graf.
13 of 1
1 Uvod
GRAFOVI
HIPERGRAFOVI
DIGRAFOVI
14 of 1
1 Uvod
Neki digrafovi:
15 of 1
1 Uvod
Neki hipergrafovi:
:-(
v1
e1
v5
v7 e4
16 of 1
v3
v2 e
2
v6
e3
v4
c
a
NAPOMENE:
U racunanju stupnja vrha, svaku petlju racunamo kao dva brida.
Za jednostavne grafove G, stupanj vrha v V (G) se cesto definira kao
kardinalni broj skupa NG (v), pri cemu je NG (v) skup svih susjeda od v.
17 of 1
1
|V (G)|
dG (v).
vV (G)
Jasno je da
(G) d(G) (G).
18 of 1
d(v) = 2|E|.
vV
Dokaz: Stupanj svakog vrha definira se kao broj bridova incidentnih tom vrhu.
Kako svaki brid ima dva kraja, broj stupnjeva u grafu mora biti jednak
dvostrukom broju bridova.
19 of 1
Kako je broj
paran broj.
20 of 1
vV2
vV2
vV
vV1
broj.
No, to nisu dovoljni uvjeti...
Definicija 2.5
Niz brojeva d = (d1 , d2 , . . . , dn ) Nn
cki ako postoji jednostavan graf
0 je grafi
ciji je niz stupnjeva d.
21 of 1
k
X
i=1
22 of 1
di k(k 1) +
n
X
i=k+1
min{k, di }.
25 of 1
P3
P5
P4
P6
C3
26 of 1
C4
C5
C6
K3
K4
K5
K6
K7
KUBNI GRAF
27 of 1
PETERSONOV GRAF
K 2,3
28 of 1
K 3,3
K 1,4
29 of 1
K 2,2,3
29 of 1
K 3,3,3,3
30 of 1