Professional Documents
Culture Documents
Teoria Grafow I Sieci - Temat NR 2
Teoria Grafow I Sieci - Temat NR 2
3
4 f 6 Podgraf pusty grafu G
✓ Zbiór wewnętrznie stabilny: W’ W taki, że
G’ = W’, U’, P’ tworzy podgraf pusty grafu G;
np. W’={1,3,5}, {1,3}, {2,4}, {1,4}, {2,6}, {i}i=1,..6, dla grafu G powyżej;
✓ Maksymalny zbiór wewnętrznie stabilny: zbiór
wewnętrznie stabilny, który nie jest podzbiorem właściwym żadnego
zbioru wewnętrznie stabilnego; np. {1,3,5}, {1,3,6}, {1,4}, {2,4}, {2,6}.
✓ Najliczniejszy zbiór wewnętrznie stabilny: zbiór
wewnętrznie stabilny o największej liczności, np. {1,3,5}, {1,3,6}.
2
Kilka dalszych definicji…
✓ Baza grafu G = W, U, P : każdy taki podgraf
G’ = W’, U’, P’, że każda gałąź u U jest incydentna
z pewnym x W’;
2 d 2 2 d 2 d
1 a
dr hab. inż. Zbigniew Tarapata, prof. WAT
5 5 5
G
g g g
3 3 3
4 f 6 4 f 6 4 f 6 6
Baza1 grafu G Baza2 grafu G Baza3 grafu G
Y W , W n ,
W w1 ,, ws ,, wn , U u1 , u2 ,, um
dr hab. inż. Zbigniew Tarapata, prof. WAT
n
x x1 , x 2 , , x s , x n - wektor określający podgraf grafu
1 gdy ws Y
n n
xs X - zbiór wszystkich wektorów x
0 gdy ws Y
f G : X n 0,1
1, gdy Y odpowiadający x n tworzy bazę
f G x n
0, w p.p.
Ab G aij - binarna macierz incydencji grafu G
nxm 5
Algorytm wyznaczania wszystkich baz minimalnych w grafie G
✓Zauważmy:
1. Gałąź uj jest incydentna z pewnym
wierzchołkiem zbioru Y n
reprezentowanym przez wektor x n
aij xi 1
n i 1
m n m n
czyli ij i
a x 1 , stąd f G x n
aij xi
j 1 i 1 j 1 i 1
k
aa a
Postać
a a b a nieredukowalna
a b a c a b c
czyli: aa a
a a b a mfa
WAK
a b a c a b c
dzialania algebry Boole' a
8
Algorytm wyznaczania wszystkich baz minimalnych w grafie G
✓ Każdy składnik (iloczyn) sumoiloczynu mfa określa
odpowiedni wektor minimalny w ten sposób, że zmienne
boolowskie występujące w tym iloczynie odpowiadają tym
składowym wektora minimalnego, które mają wartość 1.
dr hab. inż. Zbigniew Tarapata, prof. WAT
Pozostałe składowe są = 0.
✓ Otrzymamy zatem:
X 1 f X 1
k n n
G
Wszystkie zmienne Zmienne występujące
w iloczynie = 1 w iloczynie odpowiadają
wierzchołkom tworzącym
bazę minimalną.
9
Algorytm wyznaczania wszystkich baz minimalnych w grafie G
✓ PROCEDURA (wyznaczania wszystkich baz
minimalnych)
1. utworzyć WAK
2. przekształcić WAK do postaci mfa
dr hab. inż. Zbigniew Tarapata, prof. WAT
5 0 0 0 1 1 0 1 c
4 f 6
6 0 0 0 0 0 1 1
x2 x4 x5 x2 x4 x6 x2 x3 x5 x6 x1 x3 x4 x5
x1 x3 x4 x5 x6 x1 x3 x5 x6 11
Algorytm wyznaczania wszystkich baz minimalnych w grafie G
✓ Rozwiązanie, c.d.:
a 2 d
1
5
G b e
g
3
dr hab. inż. Zbigniew Tarapata, prof. WAT
c
4 f 6
✓ Zatem graf G ma 5 baz minimalnych tworzonych przez wierzchołki:
b1 - 2, 4, 5; b2 – 2, 4, 6; b3 – 2, 3, 5, 6; b4 – 1, 3, 4, 5;
b5 – 1, 3, 5,6.
✓ Maksymalne zbiory wewnętrznie stabilne są następujące:
W1 = 1, 3, 6; W2 = 1, 3, 5; W3 = 1, 4; W4 = 2, 6;
W5 = 2, 4.
12
Zadanie kolorowania wierzchołków grafu
✓Pokolorowanie: funkcja f : W N taka, że
f(x) = f(y) x y x oraz y nie są przyległe (*)
✓Zadanie kolorowania: dla danego grafu
dr hab. inż. Zbigniew Tarapata, prof. WAT
gdzie:
F – zbiór wszystkich funkcji przekształcających W
w N o własności (*)
Wierzchołki mają nadane numery kolorów:
- 1, 4, 5 -3
- 2, 6
13
Kolorowanie map – historyczne zastosowanie problemu kolorowania grafu
dr hab. inż. Zbigniew Tarapata, prof. WAT
14
Kolorowanie map – historyczne zastosowanie problemu kolorowania grafu
15
Kolorowanie map – historyczne zastosowanie problemu kolorowania grafu
✓Twierdzenie:
Każdą mapę na płaszczyźnie można przy użyciu
czterech barw pokolorować dobrze (czyli tak, aby
dr hab. inż. Zbigniew Tarapata, prof. WAT
UWAGA!!!
1. Twierdzenie o czterech barwach dotyczy
map planarnych (spłaszczalnych) lub
sferycznych, nie zaś na przykład
toroidalnych.
2. Pierwszy dowód twierdzenia wymagał
1200 godzin pracy (!!!) superkomputera
Cray w 1976 roku.
16
Kolorowanie map – historyczne zastosowanie problemu kolorowania grafu
✓ Twierdzenie Jordana
(udowodnione przez Legendre’a):
Jeśli G jest mapą powstałą z grafu o V wierzchołkach z E
krawędziami i F trójkątnymi elementami, wówczas V + F - E = 2.
dr hab. inż. Zbigniew Tarapata, prof. WAT
W przykładzie z lewej:
V=5; F=6; E=9
czyli V + F - E = 2
n K POKRYCIE
b
(elementów zbioru wierzchołków grafu G
ij vj przez elementy zbiorów wewnętrznie
i 1 j 1 stabilnych)
r 18
Procedura kolorowania wierzchołków grafu
5. wybieramy z mfa najkrótszy iloczyn:
v i1 v i2 v iP POKRYCIE
NAJMNIEJLICZNE
p 1
A1 Wi1 , Ap Wi p \ Ai , p 2, P PODZIAŁ
NAJMNIEJLICZNY
i 1
7. optymalne pokolorowanie:
f x p x A p , p 1, P
19
Procedura kolorowania wierzchołków grafu
✓ Przykład: 2 d
1 a
5
Pokolorować wierzchołki grafu G z rysunku obok. G b e
g
Rozwiązanie: 3
c
4 f 6
1. Wszystkie maksymalne zbiory wewnętrznie stabilne wyznaczyliśmy
w przykładzie poprzednim (str.12), tzn.: W1 = 1, 3, 6; W2 = 1, 3, 5;
dr hab. inż. Zbigniew Tarapata, prof. WAT
G W ,U , P G U ,U
dr hab. inż. Zbigniew Tarapata, prof. WAT
przy czym:
✓ jeżeli G jest grafem nieskierowanym, to:
u, v U krawędzie u oraz v są przyległe w G
✓ jeżeli G jest grafem skierowanym, to:
u, v U łuk u kończy się w wierzchołku,
w którym rozpoczyna się łuk v w G
G G*
2. Pokolorować wierzchołki w G*. 21
Szacowanie liczby chromatycznej grafu
✓ Problem optymalnego kolorowania grafu jest
NP – zupełny
dr hab. inż. Zbigniew Tarapata, prof. WAT
stopniu).
Uwaga! Algorytm LF jest algorytmem statycznym, gdyż raz ustalona kolejność
wierzchołków nie zmienia się w trakcie jego działania.
✓ Algorytm SL (Smallest Last)
1. Znajdź wierzchołek o minimalnym stopniu i usuń go z grafu.
2. Powtarzaj krok pierwszy tak długo, aż graf będzie pusty (zapamiętaj
kolejność usuwanych wierzchołków).
3. Koloruj wierzchołki zachłannie, zgodnie z ustaloną wcześniej kolejnością
(zaczynając od wierzchołków usuniętych później).
Uwaga! Algorytm SL jest statyczny, jego złożoność wynosi O(n + m), gdzie
n - liczba wierzchołków, m - liczba krawędzi.
23
Przybliżone algorytmy kolorowania grafu
✓ Stopień nasycenia wierzchołka x: liczba różnych
kolorów sąsiednich z tym wierzchołkiem x.
✓ Algorytm SLF (Saturated Largest First)
dopóki istnieją nie pokolorowane wierzchołki wykonuj operacje:
dr hab. inż. Zbigniew Tarapata, prof. WAT
{
1. znajdź wierzchołek o maksymalnym stopniu spośród
wierzchołków o maksymalnym stopniu nasycenia;
2. pokoloruj znaleziony wierzchołek zachłannie.
}
Uwaga! Złożoność algorytmu SLF wynosi O(m log n).
24
Wykorzystanie klasycznego kolorowania grafów
✓ Przykład 1 (przechowywanie substancji chemicznych).
Potrzeba przechować 5 substancji chemicznych a, b, c, d, e.
Niektóre z tych substancji reagują gwałtownie w przypadku
zetknięcia − powinny być przechowywane w odległych miejscach
dr hab. inż. Zbigniew Tarapata, prof. WAT
Rozwiązanie:
25
Wykorzystanie klasycznego kolorowania grafów
✓ Przykład 2 (rozkład godzin wykładów).
Dysponujemy listą wykładów (lekcji). Niektóre wykłady (lekcje)
nie mogą się odbywać jednocześnie (bo np. dotyczą tej samej
klasy/grupy lub tego samego nauczyciela).
dr hab. inż. Zbigniew Tarapata, prof. WAT
Rozwiązanie:
1. Konstruujemy graf (tzw. graf konfliktów), w którym:
✓wierzchołki – wykłady,
✓krawędzie łączą te pary wykładów, które nie mogą być
zaplanowane w tym samym czasie,
✓kolor wierzchołka – godzina.
2. Pokolorowanie wierzchołków = zaplanowanie zajęć.
26
Nieklasyczne modele kolorowania
✓ Kolorowanie kontrastowe
✓ Zwane inaczej T-kolorowaniem jest jedną z odmian
kolorowania wierzchołków w grafie;
✓ posiada ono dwie cechy które różnią je od klasycznego
dr hab. inż. Zbigniew Tarapata, prof. WAT
kolorowania:
1. inne ograniczenie dotyczące kolorowania wierzchołków
sąsiadujących ze sobą;
2. minimalizowaną wartością.
✓ W T-kolorowaniu wierzchołki sąsiadujące u i v są kolorowane
kolorami A(u), A(v), których różnica (odległość) nie należy do
pewnego zadanego zbioru T (zbioru odległości zakazanych),
tzn.
28
Nieklasyczne modele kolorowania
✓ Kolorowanie sprawiedliwe
✓ krotności pokolorowania poszczególnych wierzchołków muszą
się różnić nie więcej, jak o 1;
✓ Definicja
dr hab. inż. Zbigniew Tarapata, prof. WAT
Pokolorowanie
sprawiedliwe
grafu
30
Nieklasyczne modele kolorowania
✓ kontrastowe
✓ sprawiedliwe
✓ cyrkularne
dr hab. inż. Zbigniew Tarapata, prof. WAT
✓ harmoniczne
✓ sumacyjne
✓ zwarte
✓ listowe
✓ inne
31
Porównanie różnych modeli kolorowania pewnego grafu
klasyczne
dr hab. inż. Zbigniew Tarapata, prof. WAT
sumacyjne
harmoniczne
kontrastowe
sprawiedliwe cyrkularne
32
DZIĘKUJĘ ZA UWAGĘ
dr hab. inż. Zbigniew Tarapata, prof. WAT