WYŻSZA SZKOŁA INFORMATYKI STOSOWANEJ I ZARZĄDZANIA



Podobne dokumenty
Czy istnieje zamknięta droga spaceru przechodząca przez wszystkie mosty w Królewcu dokładnie jeden raz?

Matematyka dyskretna

Matematyczne Podstawy Informatyki

Suma dwóch grafów. Zespolenie dwóch grafów

KURS MATEMATYKA DYSKRETNA

MATEMATYKA DYSKRETNA - MATERIAŁY DO WYKŁADU GRAFY

Graf. Definicja marca / 1

Algorytmiczna teoria grafów

Matematyka dyskretna. Andrzej Łachwa, UJ, B/14

KURS MATEMATYKA DYSKRETNA

WYŻSZA SZKOŁA INFORMATYKI STOSOWANEJ I ZARZĄDZANIA

Teoria grafów podstawy. Materiały pomocnicze do wykładu. wykładowca: dr Magdalena Kacprzak

Reprezentacje grafów nieskierowanych Reprezentacje grafów skierowanych. Wykład 2. Reprezentacja komputerowa grafów

Podstawowe własności grafów. Wykład 3. Własności grafów

TEORIA GRAFÓW I SIECI

Przykłady grafów. Graf prosty, to graf bez pętli i bez krawędzi wielokrotnych.

Opracowanie prof. J. Domsta 1

Droga i cykl Eulera Przykłady zastosowania drogi i cyku Eulera Droga i cykl Hamiltona. Wykład 4. Droga i cykl Eulera i Hamiltona

Matematyka dyskretna. Andrzej Łachwa, UJ, /14

Matematyka dyskretna. Andrzej Łachwa, UJ, /15

6a. Grafy eulerowskie i hamiltonowskie

Matematyka dyskretna. Andrzej Łachwa, UJ, /14

Algorytmy i Struktury Danych.

Matematyka dyskretna. Andrzej Łachwa, UJ, /15

Wykład 4. Droga i cykl Eulera i Hamiltona

Matematyka dyskretna - 5.Grafy.

Kolorowanie wierzchołków Kolorowanie krawędzi Kolorowanie regionów i map. Wykład 8. Kolorowanie

G. Wybrane elementy teorii grafów

Drzewa. Jeżeli graf G jest lasem, który ma n wierzchołków i k składowych, to G ma n k krawędzi. Własności drzew

Grafy co o ich rysowaniu wiedzą przedszkolaki i co z tego wynika dla matematyków

Matematyka dyskretna. Andrzej Łachwa, UJ, /15

Algorytmiczna teoria grafów

Teoria grafów dla małolatów. Andrzej Przemysław Urbański Instytut Informatyki Politechnika Poznańska

Grafy dla każdego. dr Krzysztof Bryś. Wydział Matematyki i Nauk Informacyjnych Politechnika Warszawska.

6. Wstępne pojęcia teorii grafów

Matematyczne Podstawy Informatyki

SPÓJNOŚĆ. ,...v k. }, E={v 1. v k. i v k. ,...,v k-1. }. Wierzchołki v 1. v 2. to końce ścieżki.

Elementy teorii grafów Elementy teorii grafów

Marek Miszczyński KBO UŁ. Wybrane elementy teorii grafów 1

MATEMATYKA DYSKRETNA - KOLOKWIUM 2

SKOJARZENIA i ZBIORY WEWN. STABILNE WIERZCH. Skojarzeniem w grafie G nazywamy dowolny podzbiór krawędzi parami niezależnych.

E ' E G nazywamy krawędziowym zbiorem

Ilustracja S1 S2. S3 ściana zewnętrzna

Grafy i grafy skierowane. Izomorfizmy grafów

Sortowanie topologiczne skierowanych grafów acyklicznych

Struktury danych i złożoność obliczeniowa Wykład 5. Prof. dr hab. inż. Jan Magott

Grafy i Zastosowania. 9: Digrafy (grafy skierowane) c Marcin Sydow

Matematyka dyskretna - 6.Grafy

1) Grafy eulerowskie własnoci algorytmy. 2) Problem chiskiego listonosza

Ścieżki w grafach. Grafy acykliczne i spójne

Struktury danych i złożoność obliczeniowa Wykład 7. Prof. dr hab. inż. Jan Magott

Grafy. Graf ( graf ogólny) to para G( V, E), gdzie:

TEORIA GRAFÓW I SIECI

6d. Grafy dwudzielne i kolorowania

WYŻSZA SZKOŁA INFORMATYKI STOSOWANEJ I ZARZĄDZANIA

0. ELEMENTY LOGIKI. ALGEBRA BOOLE A

Algorytm Dijkstry znajdowania najkrótszej ścieżki w grafie

Algorytmy z powracaniem

Algorytmy grafowe. Wykład 1 Podstawy teorii grafów Reprezentacje grafów. Tomasz Tyksiński CDV

Kombinowanie o nieskończoności. 2. Wyspy, mosty, mapy i kredki materiały do ćwiczeń

Zad. 1 Zad. 2 Zad. 3 Zad. 4 Zad. 5 SUMA

TEORETYCZNE PODSTAWY INFORMATYKI

Wykłady z Matematyki Dyskretnej

Drzewa spinające MST dla grafów ważonych Maksymalne drzewo spinające Drzewo Steinera. Wykład 6. Drzewa cz. II

Digraf. 13 maja 2017

Złożoność obliczeniowa klasycznych problemów grafowych

TOMASZ TRACZYK MATEMATYKA DYSKRETNA Wykłady 9-10 Grafy Hamiltona

Grafem nazywamy strukturę G = (V, E): V zbiór węzłów lub wierzchołków, Grafy dzielimy na grafy skierowane i nieskierowane:

Matematyczne Podstawy Informatyki

TEORIA GRAFÓW I SIECI

Teoria grafów dla małolatów

Matematyka dyskretna. Andrzej Łachwa, UJ, A/14

WYŻSZA SZKOŁA INFORMATYKI STOSOWANEJ I ZARZĄDZANIA

Spis treści Podstawowe definicje Wielomian charakterystyczny grafu Grafy silnie regularne

Matematyka dyskretna - 7.Drzewa

Wprowadzenie Podstawy Fundamentalne twierdzenie Kolorowanie. Grafy planarne. Przemysław Gordinowicz. Instytut Matematyki, Politechnika Łódzka

Ogólne wiadomości o grafach

TEORIA GRAFÓW I SIECI

Zał. nr 4 do ZW. Wykład Ćwiczenia Laboratorium Projekt Seminarium 30 30

Algorytmy i Struktury Danych.

a) 7 b) 19 c) 21 d) 34

Kolorowanie wierzchołków grafu

Lista 4. Kamil Matuszewski 22 marca 2016

Matematyka Dyskretna. Andrzej Szepietowski. 25 czerwca 2002 roku

Grafy (3): drzewa. Wykłady z matematyki dyskretnej dla informatyków i teleinformatyków. UTP Bydgoszcz

c Marcin Sydow Spójno± Grafy i Zastosowania Grafy Eulerowskie 2: Drogi i Cykle Grafy Hamiltonowskie Podsumowanie

WYŻSZA SZKOŁA INFORMATYKI STOSOWANEJ I ZARZĄDZANIA Pod auspicjami Polskiej Akademii Nauk Warszawa, ul. Newelska 6, tel.

TEORIA GRAFÓW I SIECI - ROZDZIAŁIV. Drzewa. Drzewa

Teoria grafów. Magdalena Lemańska

WYKŁAD 3 WYPEŁNIANIE OBSZARÓW. Plan wykładu: 1. Wypełnianie wieloboku

Algorytmika Problemów Trudnych

Znajdowanie skojarzeń na maszynie równoległej

Kolorowanie wierzchołków

7. Teoria drzew - spinanie i przeszukiwanie

(4) x (y z) = (x y) (x z), x (y z) = (x y) (x z), (3) x (x y) = x, x (x y) = x, (2) x 0 = x, x 1 = x

Zagadnienie najkrótszej drogi w sieci

UNIWERSYTET GDAŃSKI MATERIAŁY DYDAKTYCZNE DO PRZEDMIOTU MATEMATYKA DYSKRETNA. pod redakcją: Hanna Furmańczyk Karol Horodecki Paweł Żyliński

Minimalne drzewa rozpinające

Matematyka dyskretna - 8. Egzaminy próbne. Uwaga! Niektórych z tych zadań nie obejmuje program dla studiów zaocznych - proszę się tym nie niepokoić -

Teoria grafów II. Materiały pomocnicze do wykładu. wykładowca: dr Magdalena Kacprzak

Transkrypt:

DROGI i CYKLE w grafach Dla grafu (nieskierowanego) G = ( V, E ) drogą z wierzchołka v 0 V do v t V nazywamy ciąg (naprzemienny) wierzchołków i krawędzi grafu: ( v 0, e, v, e,..., v t, e t, v t ), spełniający warunek e i = { v i, v i } dla i =,..., t Przykład drogi w grafie b a c e d f droga: (, a,, c,, e,, f, ), t = wierzchołek v 0 nazywamy początkiem drogi, wierzchołek v t nazywamy końcem drogi, liczbę t nazywamy długością drogi Drogę można utożsamiać dla uproszczenia z ciągiem wierzchołków sąsiednich (v 0, v,..., v t ) lub ciągiem krawędzi zależnych (e,..., e t ) Dla grafu skierowanego D = ( V, A ) drogą z wierzchołka v 0 V do v t V nazywamy ciąg (naprzemienny) wierzchołków i łuków grafu: ( v 0, a, v, a,..., v t, a t, v t ), spełniający warunek a i = ( v i, v i ) dla i =,..., t Przykład drogi w grafie skierowanym a b c d f e droga (, f,, e,, d,, c,, a, ), t = Drogę w grafie skierowanym można utożsamiać dla uproszczenia z ciągiem odpowiednio skierowanych łuków zależnych (e,..., e t ) droga prosta - droga elementarna - Przykłady dróg w grafie droga, w której wszystkie krawędzie (łuki) w ciągu są różne droga, w której wszystkie wierzchołki w ciągu są różne droga prosta (,,,,, ) droga elementarna (,,,,, ) Cyklem nazywamy drogę, dla której v 0 = v t (droga zamknięta) i t > 0 Cyklem elementarnym nazywamy cykl, w którym wierzchołki v, v,..., v t są różne Twierdzenie (Dirac, 9) Jeśli G = ( V, E ) jest grafem, w którym minimalny stopień wierzchołka jest równy δ, to w grafie G istnieje droga elementarna o długości co najmniej δ, dla δ w grafie G istnieje cykl elementarny o długości co najmniej δ + MATEMATYKA DYSKRETNA () J.Sikorski Strona /

v 0 d( v i ) > v 0 v v v k v k droga P v v v cykl C v v t v Niech P = (v 0, v,..., v t ) będzie drogą elementarną w grafie G o maksymalnej długości (tzn. nie można jej przedłużyć na żadnym końcu). Wówczas wszystkie wierzchołki sąsiednie z v 0 muszą należeć do P. Niech k = max { i : {v 0, v i } E }. Z założenia o maksymalnej długości drogi wynika, że k d(v 0 ) δ. Zatem droga P ma długość co najmniej δ. Ponadto, jeśli δ, to C = (v 0, v,..., v k, v 0 ) jest cyklem elementarnym o długości co najmniej δ +. Graf (nieskierowany) nazywamy spójnym, jeśli dla każdej pary wierzchołków u i v istnieje w nim droga z u do v. Graf skierowany jest spójny (słabo spójny), jeśli jego pochodny graf nieskierowny jest spójny. Graf skierowany jest silnie spójny, jeśli dla każdej pary wierzchołków u i v istnieje w nim droga z u do v. Składową spójną grafu nazywamy jego podgraf, który jest spójny i nie jest podgrafem innego grafu spójnego. Przykład skierowanego grafu spójnego, ale nie silnie spójnego a v t v a a a Przykład grafu o składowych spójnych a a Twierdzenie Dla grafu o n wierzchołkach i k składowych spójnych liczba krawędzi m jest ograniczona przez nierówność: ( n k)( n k + ) ( n k) m Wniosek W grafie spójnym liczba krawędzi m spełnia nierówność: n( n ) ( n ) m Uwaga dla grafu pełnego K n : n( n ) m = dla drzewa : m = n DROGI i CYKLE EULERA w grafach MATEMATYKA DYSKRETNA () J.Sikorski Strona /

Czy istnieje droga spaceru przechodząca przez wszystkie mosty w Królewcu dokładnie jeden raz? Czy można narysować tę figurę nie odrywając ołówka od papieru i nie rysując dwukrotnie żadnego odcinka? Drogą Eulera w grafie nazywamy taką drogę prostą, która zawiera wszystkie krawędzie grafu. Cyklem Eulera nazywamy zamkniętą drogę Eulera. Twierdzenie (Euler, ) Graf spójny G ma cykl Eulera wtedy i tylko wtedy, gdy stopień każdego wierzchołka jest parzysty. ( ) Załóżmy, że graf ma cykl Eulera. Jeśli będziemy przechodzili wzdłuż krawędzi tego cyklu, usuwając je po przejściu, to w każdym przechodzonym wierzchołku stopień będzie malał o. Ponieważ ten cykl zawiera wszystkie krawędzie grafu dokładnie raz, to po przejściu całego cyklu wszystkie wierzchołki będą stopnia 0. Zatem na początku wszystkie musiały mieć stopień parzysty. ( ) Indukcja względem liczby krawędzi m. Dla m = twierdzenie oczywiście zachodzi. Rozważmy graf o m >, zakładając, że każdy graf o mniejszej liczbie krawędzi ma cykl Eulera. Ze spójności grafu i parzystości stopni wierzchołków wynika, że minimalny stopień wierzchołka jest równy. Zatem graf musi zawierać cykl prosty o długości co najmniej. Wybierzmy taki i oznaczmy go przez C. Jeśli cykl C zawiera każdą krawędź grafu, to dowód jest zakończony. Jeśli nie, to usuwamy z grafu krawędzie należące do C. Powstaje podgraf H, który ma mniej krawędzi niż G (może nie być spójny), ale nadal każdy wierzchołek ma w nim stopień parzysty. Na mocy założenie indukcyjnego w każdej składowej spójnej podgrafu H istnieje cykl Eulera. Ponadto ze spójności grafu G wynika, że każda składowa podgrafu H ma wierzchołek wspólny z cyklem C. Zatem cykl Eulera w grafie G można skonstruować przechodząc kolejne krawędzie cyklu C w ustalonym kierunku od wybranego wierzchołka początkowego i włączając do drogi cykle Eulera w napotkanych składowych spójnych podgrafu H. W każdym wierzchołku, który nie jest w H wierzchołkiem izolowanym, przechodzimy krawędzie cyklu Eulera w tej składowej podgrafu H, która zawiera ten wierzchołek. Po obejściu cyklu Eulera w składowej podgrafu H kontynuujemy poruszanie się wzdłuż cyklu C i wracamy na końcu do wierzchołka początkowego. Obchodzimy w ten sposób dokładnie jeden raz wszystkie krawędzie grafu G. MATEMATYKA DYSKRETNA () J.Sikorski Strona /

8 9 0 Wniosek Graf spójny, mający nie więcej niż dwa wierzchołki stopnia nieparzystego, ma drogę Eulera. Przykłady nie istnieje droga Eulera istnieje droga, nie ma cyklu Mostem nazywamy taką krawędź grafu, której usunięcie zwiększa liczbę składowych spójnych tego grafu. Algorytm wyznaczania drogi Eulera (Fleury) Budujemy ciąg krawędzi grafu (drogę).. Wybierz dowolny wierzchołek v o nieparzystym stopniu, o ile taki istnieje. W przeciwnym przypadku wybierz dowolny wierzchołek v ;. Dopóki są w grafie krawędzie incydentne z v wykonuj:.. Jeśli jest dokładnie jedna krawędź incydentna z v - {v, w}, to podstaw v w, wstaw tę krawędź jako kolejny wyraz ciągu i usuń ją z grafu;.. Jeśli istnieje więcej niż jedna krawędź incydentna z v, to wybierz dowolną krawędź {v, w}, która nie jest mostem, podstaw v w, wstaw tę krawędź jako kolejny wyraz ciągu i usuń ją z grafu;. Jeśli ciąg zawiera wszystkie krawędzie grafu, to została wyznaczona w nim droga Eulera, a jeśli nie, to graf nie był spójny. Przykład działania algorytmu Fleury ego Twierdzenie Graf skierowany spójny zawiera cykl Eulera wtedy i tylko wtedy, gdy dla każdego wierzchołka v zachodzi d + (v) = d (v). Grafy, w których istnieje cykl Eulera nazywamy grafami eulerowskimi, a takie, w których istnieje droga Eulera nazywamy półeulerowskimi. MATEMATYKA DYSKRETNA () J.Sikorski Strona /

DROGI i CYKLE HAMILTONA w grafach Graf (nieskierowany) G = ( V, E ) Drogą Hamiltona w grafie G nazywamy taką drogę elementarną, która zawiera wszystkie wierzchołki grafu. Cyklem Hamiltona w grafie G nazywamy taki cykl elementarny, który zawiera wszystkie wierzchołki grafu (zamknięta droga Hamiltona). Długość cyklu Hamiltona jest równa V. Graf, w którym istnieje cykl Hamiltona nazywamy grafem hamiltonowskim. Przykłady graf dwunastościanu jest hamiltonowski graf Petersena nie jest hamiltonowski Przykład cyklu Hamiltona w grafie sześcianu (związek z kodem Graya) Kod Graya rzędu trzeciego (n =): (0,0,0) (,0,0) (,,0) (0,,0) (0,,) (,,) (,0,) (0,0,) y (0,,) (,,) (0,,0) (,,0) z (0,0,0) (0,0,) (,0,0) (,0,) x (nadawanie etykiet procesorom połączonym w hiperkostkę) Graf pełny K n jest hamiltonowski dla każdego n i zawiera Przykład cykli Hamiltona w grafie K i K ( n )! cykli Hamiltona ( )! K : = MATEMATYKA DYSKRETNA () J.Sikorski Strona /

( )! K : = Twierdzenie Dla każdego grafu dwudzielnego G = (V V, E) zachodzi: jeśli G ma cykl Hamiltona, to V = V, jeśli G ma drogę Hamiltona, to V V. Dla każdego pełnego grafu dwudzielnego, w którym V V zachodzi: jeśli V = V, to G ma cykl Hamiltona, jeśli V V, to G ma drogę Hamiltona. Warunki dostateczne istnienia cykli Hamiltona Twierdzenie (Ore, 90) Graf (nieskierowany) o n wierzchołkach dla n, w którym d(v) + d(w) n dla każdej pary wierzchołków v i w niepołączonych krawędzią (niezależnych), jest hamiltonowski Przykład grafu hamiltonowskiego spełniającego warunek Ore d()= d()= d()= d()= d()= d()= d()= Najniższy stopień mają wierzchołki i. Dla wierzchołków niezależnych z : d(v) + d() = = n Dla wierzchołków niezależnych z : d(v) + d() = = n Przykład grafu hamiltonowskiego, w którym warunek Ore nie jest spełniony Dla grafu: zachodzi d(v) + d(w) = < = n dla każdej pary wierzchołków v i w niepołączonych krawędzią, a cykl Hamiltona oczywiście w nim istnieje. MATEMATYKA DYSKRETNA () J.Sikorski Strona /

Wniosek (twierdzenie Diraca, 9) Jeśli graf (nieskierowany) ma n wierzchołków i d(v) n dla każdego wierzchołka, to graf ten jest hamiltonowski. n v V : d(v) u, w V : d(u) + d(w) n Wniosek ( n )( n ) Jeśli graf ma n wierzchołków i co najmniej + krawędzi, to jest hamiltonowski. ( n )( n ) Załóżmy, że graf G = (V, E) ma E = + krawędzi. Wybierzmy u, v V takie, że {u, v} E i usuńmy z grafu wierzchołki u i v oraz wszystkie krawędzie z nimi incydentne. Zatem usunęliśmy d(u) + d(v) krawędzi i wierzchołki. ( n )( n ) Otrzymany podgraf G = (V, E ) jest podgrafem K n, a zatem ma nie więcej niż krawędzi. ( n )( n ) ( n )( n ) Mamy więc: + d(u) d(v) E. ( n )( n ) ( n )( n ) Stąd + = n d(u) + d(v) i spełnione są założenia twierdzenia Ore. MATEMATYKA DYSKRETNA () J.Sikorski Strona /