Professional Documents
Culture Documents
Maciej Trątnowiecki
24 stycznia 2019
1 Oznaczenia:
1.1 Graf
Niech G będzie grafem o wierzchołkach ze skończonego zbioru V (z ang. vertices) i krawędziach ze zbioru E (z
ang. edges). Grafem nazywamy parę:
G “ pV, Eq
Rozpatrujemy grafy nieskierowane - gdzie E jest zbiorem dwuelementowych zbiorów wierzchołków z V,
oraz grafy skierowane (digrafy, ang directed graph) - gdzie E jest zbiorem uporządkowanych par wierzchołków
ze zbioru V.
Odpowiednio:
E “ tta, bu : a, b P V u
E “ tpa, bq : a, b P V u
Przykład:
V “ t1, 2, 3, 4, ..., nu gdzie n ą 7
E “ tt1, 2u, t2, 3u, t4, 7uu ´ Graf nieskierowany
lub: E “ tp1, 2q, p2, 3q, p4, 7qu ´ Graf skierowany
Multigrafem M nazywamy parę: M “ pV, Eq, gdzie E jest multizbiorem krawędzi.
Hipergrafem H nazywamy parę: H “ pV, Eq, gdzie E jest zbiorem hiperkrawędzi. Każda hiperkrawędź może
być incydentna do dowolnej liczby wierzchołków (np. reprezentowane przez macierz incydencji, gdzie każdy
wiersz odpowiada jednej krawędzi).
Oznaczamy |G| “ |V |, oraz ||G|| “ |E|
Zwyczajowo |V | “ n ^ |E| “ m.
0 0 1 0
1 3
Co oznacza że graf ma postać:
1
Plusy: Minusy:
• Informacja o krawędzi między wierzchołkami • Duża ilość zajętej pamięci - O(|V |2 )
i , j w czasie stałym O(1)
• Czas potrzebny do przeglądu zbioru krawę-
• Dodanie oraz usunięcie krawędzi w czasie dzi zależny od liczby wierzchołków - O(|V |2 ),
stałym O(1) nie od liczby krawędzi
3 Podstawowe definicje
3.1 Sąsiedztwo
W grafie G sąsiedztwem wierzchołka v nazywamy zbiór N pvq “ tu : u P V : tu, vu P Eu.
Ponadto N pSq “ YvPS N pvq
3.2 Incydencja
Krawędź grafu jest incydentna z wierzchołkiem, jeśli ma w nim ona swój koniec lub początek.
Mówimy o incydentności dwóch obiektów różnych typów (np. krawędź-wierzchołek ), oraz o sąsiedztwie dwóch
obiektów tego samego typu (np. wierzchołek-wierzchołek ).
v P V, dpvq “ |ttv, uu P E, u P V u|
α: V1 Ñ V2 :
3.5 Marszruta
Marszrutą w grafie G nazywamy ciąg wierzchołków ă v0 , v1 , v2 , . . . , vk ą o takiej własności, że: @0ďiďk tvi´1 , vi u P E
Marszrutę nazywamy zamkniętą jeśli vk “ v0 .
3.6 Droga
Drogą nazywamy marszrutę, w której każda krawędź występuje co najwyżej raz.
Droga może być zamknięta analogicznie do marszruty.
3.7 Ścieżka
Ścieżką nazywamy drogę w której żaden wierzchołek się nie powtarza.
2
3.8 Cykl
Cyklem nazywamy drogę zamkniętą, w której żaden wierzchołek, poza pierwszym, się nie powtarza.
3.11 Podgraf
Graf G1 “ pV 1 , E 1 q nazywamy podgrafem grafu G “ pV, Eq jeśli V 1 Ă V oraz E 1 Ă E.
Jeśli V 1 “ V to G1 jest podgrafem spinającym.
Jeśli @u,vPV 1 tu, vu P G “ñ tu, vu P G1 , to G1 jest podgrafem indukowanym przez G (jakby wycinek grafu).
3.15 Skojarzenie
Skojarzeniem w grafie G nazywamy taki zbiór krawędzi M , że każdy wierzchołek jest końcem co najwyżej jednej
krawędzi z M .
@e1 ,e2 PM : e1 X e2 “ Ø
Skojarzenie nazywamy pełnym, jeśli |M | “ n2 , gdzie n jest liczbą wierzchołków (każdy wierzchołek jest skoja-
rzony z pewną krawędzią z M ).
Skojarzenie M nazywamy maksymalnym jeśli nie istnieje w G krawędź e taka że: M Y e byłoby skojarzeniem.
Skojarzenie M ma maksymalną liczność gdy nie istnieje w G inne skojarzenie M 1 , takie że |M 1 | ą |M |.
3
3.16 Spójność
Definiujemy:
κpGq - spójność wierzchołkową, jako najmniejsza ilość wierzchołków, których usunięcie powoduje rozspójnienie
grafu.
λpGq - spójność krawędziową, jako najmniejszą ilość krawędzi, których usunięcie powoduje rozspójnienie grafu.
3.17 Regularność
Graf nazywamy regularnym, jeśli wszystkie jego wierzchołki mają te same stopnie.
3.18 Ściana
Ściana grafu to część płaszczyzny, wyznaczona przez krawędzie tego grafu. Każdy graf posiada jedną nieograni-
czoną ścianę (zwaną zewnętrzną) oraz skończoną liczbę ścian zamkniętych tj. ograniczonych krawędziami grafu.
4 Podstawowe twierdzenia
4.1 Lemat o sumie stopni
Suma wszystkich stopni wierzchołków w grafie jest zawsze liczbą parzystą i wynosi:
ÿ
dpvq “ 2 ˚ Liczba krawedzi
vPV
4
4.9 Twierdzenie Berge’a
Twierdzenie wykorzystuje się w algorytmie Edmondsa-Karpa
Skojarzenie M w grafie G ma maksymalną liczność ðñ gdy nie istnieje w G ścieżka powiększająca względem
M . Ścieżką powiększającą p względem skojarzenia M nazywamy ścieżkę p o nieparzystej liczbie krawędzi, także
że:
p “ă v0 , v1 , v2 , v3 , v4 , . . . , vk´2 , vk´1 , vk ą
Gdzie pozioma kreska oznacza skojarzenie: @0ďiď k´2 : tv2i`1 , v2i`2 u P M , oraz v0 i vk są wierzchołkami niesko-
2
jarzonymi.
Mając ścieżkę powiększającą możemy prosto skonstruować skojarzenie większe zamieniając na ścieżce krawędzie
wolne na skojarzone i na odwrót.
|V | ´ |E| ` ϕ “ 2
5
5 Podstawowe klasy grafów
5.1 Graf spójny
Graf G nazywamy spójnym, jeśli @u,vPV istniej w G ścieżka o końcach w u i v.
@tu,vuPV tu, vu P E
npn´1q ` n˘
Liczba krawędzi m w grafie pełnym o n wierzchołkach wynosi: 2 “ 2 .
@xPX,yPY tx, yu P E
6
(a) Graf Petersena
7.4 Dijkstra
8 Źródła:
• Wykłady dr. hab. Mariusza Meszki
• https://pl.wikipedia.org
• http://wazniak.mimuw.edu.pl
• Wprowadzenie do grafów BIT algo