TEORIA GRAFÓW
description
Transcript of TEORIA GRAFÓW
![Page 1: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/1.jpg)
TEORIA GRAFÓW
2006
Andrzej Ruciński
![Page 2: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/2.jpg)
WYKŁAD 1.
Grafy są wokół nas. Pojęcia wstępne.
![Page 3: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/3.jpg)
Przykład 1. ZOO
• Budujemy domowe zoo mając do dyspozycji kozę, lwa, wilka, słonia, jastrzębia, zająca i mysz
• Cel: jak najmniej klatek, zapewniając bezpieczeństwo wszystkich zwierząt
![Page 4: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/4.jpg)
k
l
s
w
j
z
m
![Page 5: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/5.jpg)
l
s
w
j
k
z
m
![Page 6: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/6.jpg)
Przykład 2. Podział na pary
• Dzielimy grupę 10 osób na pary
• Każdy chce być w parze ze swoim znajomym
![Page 7: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/7.jpg)
Graf Petersena
A
B
CD
E
F
G
HI
J
![Page 8: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/8.jpg)
Graf Petersena
A
B
CD
E
F
G
HI
J
![Page 9: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/9.jpg)
A
B
![Page 10: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/10.jpg)
A
B
![Page 11: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/11.jpg)
Przykład 3. Muzeum
• Zwiedzamy muzeum będące labiryntem korytarzy, w którym obrazy wiszą po obu stronach
• Cel: przejść każdy korytarz 2 razy i wrócić do wyjścia
![Page 12: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/12.jpg)
PLAN MUZEUM
a
bc
d
e
a
b c
d
e
![Page 13: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/13.jpg)
Przykład 4. Trzy domki i trzy studnie
• Mieszkańcy trzech domków chcą korzystać z trzech studni, ale tak by nigdy nie musieli spotkać się w drodze do nich
• Czy jest to możliwe?
![Page 14: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/14.jpg)
D1 D2 D3
S1 S2 S3
? ?
![Page 15: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/15.jpg)
Pojęcie grafu
• Graf to para zbiorów G=(V,E), gdzie
• V to skończony zbiór (wierzchołków)
• E to zbiór 2-elementowych podzbiorów zbioru V (krawędzi)
2
VE
•Inaczej, graf to relacja symetryczna i antyzwrotna•Jeszcze inaczej: symetryczna 0-1 macierz kwadratowa z zerami na przekątnej
![Page 16: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/16.jpg)
Grafy puste i pełne. Dopełnienia grafów.
Graf pełny nV
2
VE
E
VVG
2,
nn KN
nK
Dopełnienie grafu G:
Graf pusty
![Page 17: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/17.jpg)
Te same czy takie same?
a b
c d
G2
a d
c b
G3
a b
c d
G4
a b
d c
G5
a b
d e
G6
a b
c d
G1
![Page 18: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/18.jpg)
Izomorfizm grafów
• Na przykład G1 jest izomorficzny z G2, bo
• f(a)=a, f(c)=c, f(b)=d, f(d)=b
21 GG 21: VVf 21 )()( EvfufEuv
• G1=G5, G2=G3, wszystkie grafy mają tę samą strukturę – są izomorficzne
![Page 19: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/19.jpg)
Automorfizmy
• Automorfizm to izomorfizm grafu w siebie
a b
c d
G1
• Na przykład f(a)=a, f(d)=d, f(c)=b, f(b)=c to 1 z 8 automorfizmów grafu G1
![Page 20: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/20.jpg)
Samodopełnianie
• G nazywamy samodopełniającym, gdy jest izomorficzny ze swoim dopełnieniem
Na przykład
![Page 21: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/21.jpg)
Stopnie wierzchołków
Zachodzi wzór
)(2)( GevdVv
G
Stopniem wierzchołka v nazywamy liczbę dG(v)=d(v) krawędzi grafu zawierających (incydentnych z) v
gdzie e(G)=|E|
![Page 22: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/22.jpg)
Ciąg stopni grafu
Ciąg stopni grafu
Uwaga: Nie każdy ciąg liczb naturalnych jest ciągiem stopni grafu, np. 4,4,3,2,1 lub 3,3,3,2,2
VvG vd )(
• Δ(G)= Δ to największy stopień wierzchołka w grafie,
• δ(G)=δ to najmniejszy stopień.
• Graf jest k-regularny, gdy wszystkie wierzchołki mają stopień k
![Page 23: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/23.jpg)
Podgrafy
• Indukowane
• Rozpięte
• Ani takie, ani takie
![Page 24: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/24.jpg)
Podgrafy indukowane
• Podgraf grafu G=(V,E) indukowany przez podzbiór wierzchołków W to graf G[W]=(W,E’), gdzie E’ składa się ze wszystkich krawędzi grafu G o obu końcach w W.
![Page 25: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/25.jpg)
Podgraf indukowany - ilustracja
W={a,b,c}, G[W] – kolor czerwony
a
b
c
![Page 26: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/26.jpg)
Podgrafy rozpięte
• Rozpięty podgraf grafu G to graf G’=(V,E’), gdzie E’ jest podzbiorem E
![Page 27: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/27.jpg)
Podgrafy
• Podgrafem grafu G=(V,E) nazywamy graf G’=(V’,E’), gdzie V’ jest podzbiorem V, a E’ jest podzbiorem E.
![Page 28: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/28.jpg)
Spójność
• Graf jest spójny, gdy dla każdego podziału V na dwa rozłączne podzbiory A i B istnieje krawędź z A do B (graf jest w 1 „kawałku”)
Inaczej
22
:,BA
EBABAV
![Page 29: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/29.jpg)
Grafy niespójne
A B
B1B2
![Page 30: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/30.jpg)
Wierzchołek cięcia
• G-v=G[V-v]
• Wierzchołek v grafu spójnego G nazywamy wierzchołkiem cięcia, gdy G-v nie jest spójny
• Inaczej, istnieje podział V na A i B :
vBA
22
BAE
![Page 31: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/31.jpg)
Cykle
• Cykl to 2-regularny graf spójny.
• Inaczej: cykl to graf, którego wierzchołki można ponumerować v_1,...,v_n, tak, że pary {v_1, v_2}, {v_2,v_3},...,{v_(n-1),v_n}, {v_n, v_1} są jego jedynymi krawędziami.
• Notacja C_n, dla n=3,4,...
![Page 32: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/32.jpg)
Cykle : ilustracja
C_3=K_3
C_4
C_5
![Page 33: TEORIA GRAFÓW](https://reader036.fdocuments.pl/reader036/viewer/2022070404/56813b70550346895da47aa3/html5/thumbnails/33.jpg)
Ścieżki
• ścieżki (grafy spójne o 2 wierzchołkach stopnia 1, a pozostałych o stopniu 2)
• Inaczej: ścieżka to graf, którego wierzchołki można ponumerować v_1,...,v_n, tak, że pary {v_1, v_2}, {v_2,v_3},...,{v_(n-1),v_n}, są jego jedynymi krawędziami.
• Notacja P_n, dla n=1,2,...