Professional Documents
Culture Documents
Tegraf Sem 2017
Tegraf Sem 2017
Vojislav Petrović
Departman za matematiku i informatiku
Novi Sad
vojpet@dmi.uns.ac.rs
1
UVOD
SAOBRAĆAJNA MREŽA
D F
l4 l3 l7
l5
A
C
l1 l2 l6
B E
A, B, C, D, E, F gradovi
l1, l2, l3, l4, l5, l6, l7 putevi
osetljivi čvorovi (s obzirom na C
povezanost):
osetljive linije: l6 , l7
minimalna povezujuća podmreža: {l1, l2, l5, l6, l7}
2
GRUPA OSOBA
E D
F C
A B
3
RASPODELA POSLOVA
(job assignment)
A a A a
B b B b
C c C c
D d D d
E e E e
4
PODELA FREKVENCIJA
S6 S2
S1
5
NAJKRAĆI (NAJJEFTINIJI) PUT
S1 - S 6 direktan 15 S4
S1 - S 4 S1 S2 S3 S4 40 10 15
S5 S3
25
S1 S2 S3 S4 S5 S6
35
S1 0 10 30 45 35 15 55 15
45
S2 10 0 15 20 35 30
S3 30 15 0 15 25 20
S6 S2
S4 45 15 0 10 35 15 10
S5 35 25 10 0 55
S1
S6 15 20 35 55 0
6
1. OSNOVNI POJMOVI
graf G = (V, E)
V čvorovi (vertices, points, nodes)
E grane, ivice (edges, arcs, lines)
e4
v5 e5 v4 V(G) = {v1, v2, v3, v4, v5, v6}
E(G) = {e1, e2, e3, e4, e5, e6, e7, e8, e9}
e3
v6 e7 e4 = v4v4 petlja (lupa)
G: e6 v3
e8 e8 , e9 paralelne grane
e2
e9 v6 izolovan čvor
v1 e1 v2
7
prost graf nema petlji, ni paralelnih grana
v5 e5 v4
v1 e1 v2
8
(G) minimalan stepen
(G) = min d(v)
vV(G)
v5 v5 v4
v4
v6
(G) = d (v6) = 0 v6 v3
v3
(G) = d (v2) = 4
v1 v2
v1 v2
3-regularan (kubni) graf
9
G V(G) = {v1, ... , vn} E(G) = {e1, ... , em}
v5 e4 v4
matrica susedstva A(G)
e3
1 vivjE(G) e7
A(G) = [aij] n n aij = e8
0 vivjE(G) v6 e5 v3
e6 e2
matrica incidencije B(G)
v1 e1 v2
1 viej
B(G) = [Bij] n m bij =
0 viej
v1 v2 v3 v4 v5 v6 e1 e2 e3 e4 e5 e6 e7 e8
v1 0 1 1 0 1 0 v1 1 0 0 0 1 1 0 0
v2 1 0 1 1 1 0 v2 1 1 0 0 0 0 1 1
v3 1 1 0 1 0 0 v3 0 1 1 0 0 1 0 0
A(G) = B(G) =
v4 0 1 1 0 1 0 v4 0 0 1 1 0 0 0 1
v5 1 1 0 1 0 0 v5 0 0 0 1 1 0 1 0
v6 0 0 0 0 0 0 v6 0 0 0 0 0 0 0 0
10
TEOREMA 1.1. Zbir stepena čvorova svakog grafa je paran broj
i jednak dvostrukom broju grana, tj.
d(v) = 2 |E(G)|.
vV(G)
e
Dokaz. broji e = uv dvaput
u v
jednom u d (u) i jednom u d (v)
v5 v4
11
POSLEDICA 1.1. Broj čvorova neparnog stepena svakog
grafa je paran.
v5 v4
v6 v3
v1 v2
v1 , v2 , ... , vn v1 , v2 , ... , vn
0 1 2 n1 0 1 2 n2
v1 , v2 , ... , vn
0 1 2 n1
1 2 3 n1
0 1 2 n1
13
v5 v4
d (v3) = d (v4) = 3
v6 v3
5, 4, 3, 3, 2, 1
v1 v2
14
ZADACI
1.6. U skupu od 2n (n 2) osoba među svake tri osobe postoji jedna koja se
poznaje sa ostale dve. Dokazati da se skup može razbiti na n parova, tako da
svaki par čine poznanici.
1.7.* U jednoj grupi svake dve osobe koje se poznaju nemaju zajedničkih
poznanika. Svake dve osobe koje se ne poznaju imaju tačno 2 zajednička
poznanika. Dokazati da sve osobe imaju isti broj poznanika.
u3
v4 v3
v1 v2 v3 v4
u1 u2 u3 u4
u4
v1 v2 u1 u2
v8 v7 u4 u3
v5 u7
u8
v6
v4 vi ui
v3 u6
u5
v1 v2 u1 u2
17
a3 b2
x3 y3
G1 : b3 a2 G2 : x2 y2
x1 y1
a1 b1
a i xi b i yi
G3 : G 1 i G3 ?
18
G = (V, E) H = (V1, E1)
GH (G izomorfan sa H)
G1 : G3 :
f izomorfizam
(1) f : V V1 bijekcija
(2) uvE f (u) f (v)E1 G1 G3
KOMPLETAN GRAF Kn
K1 K2 K3 K4 K5
|V(Kn)| = n
n
|E(Kn)| =
2
d (v) = n 1
(n 1) regularan
20
PRAZAN GRAF Kn
K1 K2 K3 K4 K5
|V (Kn)| = n
|E (Kn)| = 0
d (v) = 0
0-regularan
21
BIPARTITAN GRAF G(X, Y )
V(G) = X Y X
X,Y, XY=
Y
X, Y klase (particije)
u
e d
e f
c v
f c d
a b
a b w
22
KOMPLETAN BIPARTITAN GRAF Km, n
V(G) = X Y , X Y = m X
X, Y , X Y =
|X| = m , |Y| = n
n Y
E(G) = {xy | xX,
yY}
|V(G)| = m + n
|E(G)| = mn
d(x) = n , xX
d(y) = m , yY K2, 3 K1, 3
23
ZADACI
2.2. (a) Odrediti potreban i dovoljan uslov da bipartitni grafovi Kp, q i Kr, s
budu izomorfni.
(b) Koliko ima neizomorfnih kompletnih bipartitnih grafova sa 7 čvorova?
24
2.4. n-dimenzionalna kocka Qn (n 2) je graf čiji skup čvorova skup
svih uređenih n-torki (a1, a2, ... , an) gde ai{0, 1}. Dva čvora su
susedna u ako i samo ako se odgovarajuće n-torke razlikuju u tačno
jednoj koordinati. Dokazati da za n-dimenzionalnu kocku Qn važe
sledeća tvrđenja:
(a) Qn je n-regularan graf;
(b) |V(Qn)| = 2n , |E(Qn)| = n2n 1;
(c) Qn je bipartitan graf.
Q1 Q2 Q3
25
3. PODGRAFOVI I OPERACIJE S GRAFOVIMA
v4 e4 v3 v4 v4 e4 v3
G: e3 e2 H: e3 H1 : e2
v1 e1 v2 v1 e1 v2 v1 e1 v2
26
indukovan podgraf
G = (V, E) V' V
G' = G [V'] indukovan sa V'
1. V(G') = V'
2. E(G') = {uv | u, vV', uvE}
v4 e4 v3 v4 v4
G: e3 e2 G' : e3 e2 H: e3
e1 e1 v1 e1 v2
v1 v2 v1 v2
27
G = (V, E) E' E
G' = G [E'] indukovan sa E'
1. V(G') = {u | uvE'}
2. E(G') = E'
v4 e4 v3 v4 e4 v3 v4 e4 v3
G: e3 e2 G' : H1 : e2
v1 e1 v2 v1 e1 v2 v1 e1 v2
28
uklanjanje čvora (grupe čvorova)
vV(G) G' = G v = G [V(G) v]
V' V(G) G' = G V' = G [V(G) V']
G : v6 v3 G v 1 : v6 v3 G {v3, v6} :
v1 v2 v2 v1 v2
v5 v4 v5 v4
v1 v2 v1 v2
29
komplement grafa G G: G:
V(G) = V(G)
E(G) = {uv | u, vV(G), uvE(G)} H: H:
30
ZADACI
(d) (e)
31
4. PUTEVI, KONTURE , POVEZANOST
v5 v4
staza (trail) W u grafu G
W = v0 e1 v1 e2 v2 ... ek vk v3
= v0 v1 v2 ... vk
v1 v2
viV(G) i = 0, 1, ... , k
ei = vi 1vi E(G) i = 1, ... , k W = v5 v 2 v1 v3 v 2
ei ej , i j (v5-v2)-staza d(W) = 4
v5 v4
v0, vk krajnji čvorovi
W (v0-vk)-staza = (vk-v0)-staza v3
v1, v2, ... , vk 1 unutrašnji čvorovi
v1 v2
W zatvorena staza v0 = vk W = v 2 v 3 v 1 v2 v 4 v5 v 2
d(W) dužina staze W = |E(W)| zatvorena staza
= broj grana na W d(W) = 6
32
v4
Ojlerov put u G v5 v3
staza W
E(W) = E(G)
v1 v2
v1 v 2 v3 v 5 v 1 v 3 v 4 v5 v 2
v5
Ojlerova kontura u G v6 v4
zatvorena staza W
E(W) = E(G)
v1 v3
v2
v 1 v3 v 4 v 6 v 1 v 4 v5 v 6 v3 v 2 v 1
33
put (path) P u G v5 v4
Pk + 1 = v0 e1 v1 e2 v2 ... ek vk
v3
= v0 v1 v2 ... vk
viV(G) i = 0, 1, ... , k v1 v2
kontura (cycle) C u G
Ck + 1 = v0 e1 v1 e2 v2 ... ek vk ek +1 v0 v5 v4
= v0 v1 v2 ... vk v0
v3
viV(G) i = 0, 1, ... , k
v1 v2
ei = vi 1vi E(G) i = 1, ... , k + 1 vk + 1 = v0
vi vj , i j C 4 = v 1 v 3 v4 v 5 v 1
34
v6 v5
Hamiltonov put u G
put P
v3 v4
V(P) = V(G)
v1 v2
P 6 = v 1 v 2 v6 v5 v 3 v4
v6 v5
Hamiltonova kontura u G
kontura C
v3 v4
V(C) = V(G)
v1 v2
C6 = v1 v2 v6 v5 v4 v3 v1
35
v5 v4
u, vV(G) v1 i v4 povezani
v6 v3
u i v povezani (u-v)-put u G
def.
v1 i v6 nepovezani
uV(G) u povezan sa u v1 v2
G1 : G2 : K5 :
4.2. Odrediti sve grafove G sa bar 3 čvora koji ispunjavaju sledeći uslov.
Za svako u, v, wV(G) iz uvE(G) i vwE(G) sledi uwE(G).
37
n1
4.6. Ako je |V(G)| = n ≥ 3 i δ(G) ≥ , dokazati da je graf G povezan.
2
38