You are on page 1of 34

Teoria grafów i sieci

Wykªad 1.

Podstawowe poj¦cia.
Grafy - podstawowe poj¦cia

Denicja
Grafem (nieskierowanym) G nazywamy uporz¡dkowan¡ trójk¦
G = (V , E , γ), gdzie V 6= ∅ jest zbiorem wierzchoªków, E zbiorem
kraw¦dzi, γ jest funkcj¡ odwzorowuj¡c¡ zbiór E w zbiór
{{p, q} : p, q ∈ V }.

Wykªad 1. Podstawowe poj¦cia.


Grafy - podstawowe poj¦cia

Denicja
Grafem (nieskierowanym) G nazywamy uporz¡dkowan¡ trójk¦
G = (V , E , γ), gdzie V 6= ∅ jest zbiorem wierzchoªków, E zbiorem
kraw¦dzi, γ jest funkcj¡ odwzorowuj¡c¡ zbiór E w zbiór
{{p, q} : p, q ∈ V }.

Przykªad: V = {1, 2, 3, 4}, E = {a, b, c, d, e}


kraw¦d¹ e a b c d e
γ(e) {1, 2} {1, 4} {2, 3} {1, 3} {2, 4}

Wykªad 1. Podstawowe poj¦cia.


Grafy - podstawowe poj¦cia

Denicja
Kraw¦d¹ e ª¡cz¡c¡ wierzchoªek w ze samym sob¡ nazywamy p¦tl¡.
γ(e) = {w , w } = {w }.

Wykªad 1. Podstawowe poj¦cia.


Grafy - podstawowe poj¦cia

Denicja
Kraw¦d¹ e ª¡cz¡c¡ wierzchoªek w ze samym sob¡ nazywamy p¦tl¡.
γ(e) = {w , w } = {w }.

Denicja
Graf który zawiera kraw¦dzie wielokrotne nazywamy multigrafem.
Tzn. istniej¡ wi , wj ∈ V oraz ep , eq ∈ E , p 6= q takie, »e
γ(ep ) = γ(eq ) = {wi , wj }.

Wykªad 1. Podstawowe poj¦cia.


Grafy - podstawowe poj¦cia

Denicja
Kraw¦d¹ e ª¡cz¡c¡ wierzchoªek w ze samym sob¡ nazywamy p¦tl¡.
γ(e) = {w , w } = {w }.

Denicja
Graf który zawiera kraw¦dzie wielokrotne nazywamy multigrafem.
Tzn. istniej¡ wi , wj ∈ V oraz ep , eq ∈ E , p 6= q takie, »e
γ(ep ) = γ(eq ) = {wi , wj }.

Denicja
Graf w którym nie ma p¦tli i kraw¦dzi wielokrotnych nazywamy grafem
prostym.

Wykªad 1. Podstawowe poj¦cia.


Grafy - podstawowe poj¦cia

Przykªad:
V = {1, 2, 3, 4, 5} E = {a, b, c, d, e, f , g , h}

kraw¦d¹ e γ(e)
a {1, 2}
b {2, 3}
c {2, 5}
d {2, 5}
e {2, 5}
f {4, 5}
g {4, 5}
h {3, 3} = {3}

Wykªad 1. Podstawowe poj¦cia.


Grafy - podstawowe poj¦cia

Denicja
Dwa grafy G = (V (G ), E (G ), γG ) i H = (V (H), E (H), γH ) s¡ identyczne
je»eli V (G ) = V (H), E (G ) = E (H), oraz γG = γH .

Wykªad 1. Podstawowe poj¦cia.


Grafy - podstawowe poj¦cia

Denicja
Dwa grafy G = (V (G ), E (G ), γG ) i H = (V (H), E (H), γH ) s¡ identyczne
je»eli V (G ) = V (H), E (G ) = E (H), oraz γG = γH .

V (G ) = V (H)

E (G ) = E (H)
γG = γH

Wykªad 1. Podstawowe poj¦cia.


Grafy - podstawowe poj¦cia

Denicja
Dwa grafy G = (V (G ), E (G ), γG ) i H = (V (H), E (H), γH ) s¡ identyczne
je»eli V (G ) = V (H), E (G ) = E (H), oraz γG = γH .

V (G ) = V (H)

E (G ) = E (H)
γG = γH

V (G ) = V (H)

E (G ) = E (H)
γG 6= γH

Wykªad 1. Podstawowe poj¦cia.


Grafy - podstawowe poj¦cia

Dwa ró»ne (zgodnie z formaln¡ denicj¡) grafy, mog¡ mie¢ bardzo podobne
wªa±ciwo±ci (taki sam rysunek).
Np. grafy na poni»szym rysunku b¦d¡ identyczne je»eli zamienimy jedynie
nazwy wierzchoªków

O takich grafach mówimy, »e s¡ izomorczne.

Wykªad 1. Podstawowe poj¦cia.


Grafy - podstawowe poj¦cia

Denicja
Dwa grafy G = (V (G ), E (G ), γG ) i H = (V (H), E (H), γH ) s¡
izomorczne je»eli istniej¡ bijekcje
θ : V (G ) → V (H)

φ : E (G ) → E (H)
takie, »e

γG (e) = {u, v }
wtedy i tylko wtedy
γH (φ(e)) = {θ(u), θ(v )}

Wykªad 1. Podstawowe poj¦cia.


Grafy - podstawowe poj¦cia

Denicja
Grafem skierowanym lub digrafem (ang. directed graph) G nazywamy
uporz¡dkowan¡ trójk¦ G = (V , E , γ), gdzie V 6= ∅ jest zbiorem
wierzchoªków, E zbiorem kraw¦dzi, γ jest funkcj¡ odwzorowuj¡c¡ zbiór E w
zbiór V × V (γ : E → V × V ).

Wykªad 1. Podstawowe poj¦cia.


Grafy - podstawowe poj¦cia

Denicja
Grafem skierowanym lub digrafem (ang. directed graph) G nazywamy
uporz¡dkowan¡ trójk¦ G = (V , E , γ), gdzie V 6= ∅ jest zbiorem
wierzchoªków, E zbiorem kraw¦dzi, γ jest funkcj¡ odwzorowuj¡c¡ zbiór E w
zbiór V × V (γ : E → V × V ).
Przykªad: V = {1, 2, 3, 4}, E = {a, b, c, d, e, f }
e kraw¦d¹ a b c d e f
γ(e) (1,2) (3,2) (4,1) (3,4) (2,4) (4,2)

Wykªad 1. Podstawowe poj¦cia.


Komputerowa reprezentacja grafów

Wybrane sposoby reprezentacji grafów:


macierz s¡siedztwa
listy s¡siedztwa
macierz incydencji

Wykªad 1. Podstawowe poj¦cia.


Komputerowa reprezentacja grafów

Macierz s¡siedztwa (graf skierowany / nieskierowany) jest to macierz


wymiaru V × V w której w i -tym wierszu i k -tej kolumnie znajduje si¦:
1 je»eli w grae istnieje kraw¦d¹ pozwalaj¡ca przej±¢ od wierzchoªka i do
wierzchoªka k ,
0 w przeciwnym przypadku.

1 2 3 4 5
1 0 0 1 0 0
2 1 0 0 1 1
3 0 1 0 0 0
4 1 0 0 0 1
5 0 0 0 1 1

Wykªad 1. Podstawowe poj¦cia.


Komputerowa reprezentacja grafów

Uwagi:
Macierz s¡siedztwa grafu nieskierowanego jest macierz¡ symetryczn¡.

Wykªad 1. Podstawowe poj¦cia.


Komputerowa reprezentacja grafów

Uwagi:
Macierz s¡siedztwa grafu nieskierowanego jest macierz¡ symetryczn¡.
Je»eli graf nieskierowany nie posiada p¦tli to na gªównej przek¡tnej
macierzy wyst¦puj¡ same zera.

Wykªad 1. Podstawowe poj¦cia.


Komputerowa reprezentacja grafów

Uwagi:
Macierz s¡siedztwa grafu nieskierowanego jest macierz¡ symetryczn¡.
Je»eli graf nieskierowany nie posiada p¦tli to na gªównej przek¡tnej
macierzy wyst¦puj¡ same zera.
1 2 3 4 5
1 0 1 1 1 0
2 1 0 1 1 1
3 1 1 0 0 0
4 1 1 0 0 1
5 0 1 0 1 0

Wykªad 1. Podstawowe poj¦cia.


Komputerowa reprezentacja grafów

Uwagi:
Macierz s¡siedztwa grafu nieskierowanego jest macierz¡ symetryczn¡.
Je»eli graf nieskierowany nie posiada p¦tli to na gªównej przek¡tnej
macierzy wyst¦puj¡ same zera.
1 2 3 4 5
1 0 1 1 1 0
2 1 0 1 1 1
3 1 1 0 0 0
4 1 1 0 0 1
5 0 1 0 1 0

Macierz s¡siedztwa najlepiej nadaje si¦ do reprezentacji grafów


"g¦stych", tzn. takich które maj¡ du»o kraw¦dzi.

Wykªad 1. Podstawowe poj¦cia.


Komputerowa reprezentacja grafów

Uwagi:
Zªo»ono±¢ pami¦ciowa: O(V ∗ V ).

Wykªad 1. Podstawowe poj¦cia.


Komputerowa reprezentacja grafów

Uwagi:
Zªo»ono±¢ pami¦ciowa: O(V ∗ V ).
Sprawdzenie istnienia jednej kraw¦dzi: O(1).

Wykªad 1. Podstawowe poj¦cia.


Komputerowa reprezentacja grafów

Uwagi:
Zªo»ono±¢ pami¦ciowa: O(V ∗ V ).
Sprawdzenie istnienia jednej kraw¦dzi: O(1).
Sprawdzenie nast¦pników\poprzedników wierzchoªka: O(V ).

Wykªad 1. Podstawowe poj¦cia.


Komputerowa reprezentacja grafów

Listy s¡siedztwa jest to reprezentacja grafu polegaj¡ca na przechowywaniu


dla ka»dego wierzchoªka listy jego nast¦pników (poprzedników).

Wykªad 1. Podstawowe poj¦cia.


Komputerowa reprezentacja grafów

Listy s¡siedztwa jest to reprezentacja grafu polegaj¡ca na przechowywaniu


dla ka»dego wierzchoªka listy jego nast¦pników (poprzedników).

1 2 9
2 1 3 4
3 2
4 2 5
5 4 6 7 8
6 5
7 5 9
8 5 11
9 1 7 10
10 9 11
11 8 10

Wykªad 1. Podstawowe poj¦cia.


Komputerowa reprezentacja grafów

Listy s¡siedztwa jest to reprezentacja grafu polegaj¡ca na przechowywaniu


dla ka»dego wierzchoªka listy jego nast¦pników (poprzedników).

1 2 9
2 1 3 4
3 2
4 2 5
5 4 6 7 8
6 5
7 5 9
8 5 11
9 1 7 10
10 9 11
11 8 10
Uwaga: Listy s¡siedztwa najlepiej nadaj¡ si¦ do reprezentowania grafów
"rzadkich", tzn. takich które maj¡ maªo kraw¦dzi w porównaniu do liczby
wierzchoªków.
Wykªad 1. Podstawowe poj¦cia.
Komputerowa reprezentacja grafów

Uwagi:
Zªo»ono±¢ pami¦ciowa: O(V + E ).

Wykªad 1. Podstawowe poj¦cia.


Komputerowa reprezentacja grafów

Uwagi:
Zªo»ono±¢ pami¦ciowa: O(V + E ).
Sprawdzenie istnienia jednej kraw¦dzi: O(V ).

Wykªad 1. Podstawowe poj¦cia.


Komputerowa reprezentacja grafów

Uwagi:
Zªo»ono±¢ pami¦ciowa: O(V + E ).
Sprawdzenie istnienia jednej kraw¦dzi: O(V ).
Sprawdzenie nast¦pników (poprzedników) wierzchoªka: O(V ).

Wykªad 1. Podstawowe poj¦cia.


Komputerowa reprezentacja grafów

Macierz incydencji (graf nieskierowany) jest to macierz wymiaru


V × E w której w i -tym wierszu i k -tej kolumnie znajduje si¦:
1 je»eli wierzechoªek i jest incydentny z kraw¦dzi¡ k ,
0 je»eli wierzchoªek i nie ª¡czy si¦ z kraw¦dzi¡ k ,
2 je»eli kraw¦d¹ k jest p¦tl¡ o pocz¡tku i ko«cu w wierzchoªku i .

a b c d e f g h
1 1 1 0 1 0 0 0 0
2 0 1 1 0 1 1 0 0
3 1 0 1 0 0 0 0 0
4 0 0 0 1 1 1 1 0
5 0 0 0 0 0 0 1 2

Wykªad 1. Podstawowe poj¦cia.


Komputerowa reprezentacja grafów

Macierz incydencji (graf skierowany) jest to macierz wymiaru V × E w


której w i -tym wierszu i k -tej kolumnie znajduje si¦:
-1 je»eli wierzchoªek i jest pocz¡tkiem kraw¦dzi k ,
1 je»eli wierzechoªek i jest ko«cem kraw¦dzi k ,
0 je»eli wierzchoªek i nie ª¡czy si¦ z kraw¦dzi¡ k ,
2 je»eli kraw¦d¹ k jest p¦tl¡ o pocz¡tku i ko«cu w wierzchoªku i .

a b c d e f g h i
1 -1 1 0 1 0 0 0 0 0
2 0 -1 1 0 -1 -1 0 0 0
3 1 0 -1 0 0 0 0 0 0
4 0 0 0 -1 1 1 -1 1 0
5 0 0 0 0 0 0 1 -1 2

Wykªad 1. Podstawowe poj¦cia.


Komputerowa reprezentacja grafów

Uwagi:
Zªo»ono±¢ pami¦ciowa: O(V ∗ E ).

Wykªad 1. Podstawowe poj¦cia.


Komputerowa reprezentacja grafów

Uwagi:
Zªo»ono±¢ pami¦ciowa: O(V ∗ E ).
Sprawdzenie istnienia jednej kraw¦dzi: O(E ).

Wykªad 1. Podstawowe poj¦cia.


Komputerowa reprezentacja grafów

Uwagi:
Zªo»ono±¢ pami¦ciowa: O(V ∗ E ).
Sprawdzenie istnienia jednej kraw¦dzi: O(E ).
Sprawdzenie nast¦pników\poprzedników wierzchoªka: O(V ∗ E ).

Wykªad 1. Podstawowe poj¦cia.

You might also like