Matematyka dyskretna

Podobne dokumenty
Matematyczne Podstawy Informatyki

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

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

MATEMATYKA DYSKRETNA - MATERIAŁY DO WYKŁADU GRAFY

Algorytmiczna teoria grafów

Graf. Definicja marca / 1

Matematyka dyskretna. Andrzej Łachwa, UJ, /15

Matematyczne Podstawy Informatyki

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

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

MATEMATYKA DYSKRETNA - KOLOKWIUM 2

Matematyka dyskretna. Andrzej Łachwa, UJ, /14

Opracowanie prof. J. Domsta 1

Matematyka dyskretna. Andrzej Łachwa, UJ, /14

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

KURS MATEMATYKA DYSKRETNA

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

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

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

Elementy teorii grafów Elementy teorii grafów

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

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

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

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

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

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

0. ELEMENTY LOGIKI. ALGEBRA BOOLE A

Matematyka dyskretna. Andrzej Łachwa, UJ, /15

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

KURS MATEMATYKA DYSKRETNA

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

Digraf. 13 maja 2017

Wykład 4. Droga i cykl Eulera i Hamiltona

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

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

TEORIA GRAFÓW I SIECI

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

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.

6a. Grafy eulerowskie i hamiltonowskie

Matematyczne Podstawy Informatyki

Algorytmiczna teoria grafów

Kolorowanie wierzchołków

Matematyka dyskretna - 5.Grafy.

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:

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

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

TEORIA GRAFÓW I SIECI

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

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

E ' E G nazywamy krawędziowym zbiorem

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

Ilustracja S1 S2. S3 ściana zewnętrzna

Ogólne wiadomości o grafach

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

Algorytmy Równoległe i Rozproszone Część V - Model PRAM II

Matematyka dyskretna. Andrzej Łachwa, UJ, /15

Matematyka dyskretna - 7.Drzewa

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

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

(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

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

Podstawowe pojęcia dotyczące drzew Podstawowe pojęcia dotyczące grafów Przykłady drzew i grafów

Teoria grafów. Magdalena Lemańska

Wykłady z Matematyki Dyskretnej

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

Grafy i grafy skierowane. Izomorfizmy grafów

Zofia Kruczkiewicz, Algorytmu i struktury danych, Wykład 14, 1

Minimalne drzewa rozpinające

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

Matematyka dyskretna - 6.Grafy

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

Grafy i Zastosowania. 5: Drzewa Rozpinające. c Marcin Sydow. Drzewa rozpinające. Cykle i rozcięcia fundamentalne. Zastosowania

Lista 4. Kamil Matuszewski 22 marca 2016

Algorytmy z powracaniem

Znajdowanie skojarzeń na maszynie równoległej

Matematyka dyskretna

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

Algebrą nazywamy strukturę A = (A, {F i : i I }), gdzie A jest zbiorem zwanym uniwersum algebry, zaś F i : A F i

Sortowanie topologiczne skierowanych grafów acyklicznych

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

Algorytmy i Struktury Danych.

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

Matematyka dyskretna

Algorytmika Problemów Trudnych

Teoria grafów dla małolatów

6d. Grafy dwudzielne i kolorowania

Badania operacyjne: Wykład Zastosowanie kolorowania grafów w planowaniu produkcji typu no-idle

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

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

Rachunek podziałów i elementy teorii grafów będą stosowane w procedurach redukcji argumentów i dekompozycji funkcji boolowskich.

Wstęp do sieci neuronowych, wykład 11 Łańcuchy Markova

Wprowadzenie do teorii grafów. Dr inż. Krzysztof Lisiecki

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

E: Rekonstrukcja ewolucji. Algorytmy filogenetyczne

Funkcja jest różnowartościowa w zbiorze A wtedy i tylko wtedy, gdy różnym argumentom funkcja ta przyporządkowuje różne wartości.

Wstęp do sieci neuronowych, wykład 12 Łańcuchy Markowa

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

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

Transkrypt:

Matematyka dyskretna Wykład 13: Teoria Grafów Gniewomir Sarbicki

Literatura R.J. Wilson Wprowadzenie do teorii grafów

Definicja: Grafem (skończonym, nieskierowanym) G nazywamy parę zbiorów (V (G), E(G)), gdzie V (G) (zbiór wierzchołków grafu) - skończony, niepusty E(G) (zbiór krawędzi grafu) - skończona rodzina (niekoniecznie różnych) nieuporządkowanych par elementów z G Przykład: G = ({,,, }, {(, ), (, ), (, ), (, )}) Definicja: Graf, w którym dwa wierzchołki łączy co najwyżej jedna krawędź i nie ma pętli, nazywamy grafem prostym. Definicja: Rozważamy również grafy, w których elementy E(G) są parami uporządkowanymi, nazywamy je grafami skierowanymi (digrafami).

Definicja: Graf G 1 G 2 df = (V (G 1 ) V (G 2 ), E(G 1 ) E(G 2 )) nazywamy sumą grafów G 1 i G 2. Definicja: Graf, którego nie można przedstawić jako sumy dwóch niepustych grafów nazywamy grafem spójnym. Każdy graf można rozłożyć na sumę grafów spójnych nazywaną składowymi grafu. Definicja: Minimalną liczbę krawędzi które należy usunąć, by graf G przestał być spójny nazywamy spójnością krawędziową grafu G. Oznaczamy ją jako λ(g). Definicja: W grafie o λ(g) = 1 krawędź której usunięcie niszczy spójność grafu, nazywamy mostem. Definicja Jeżeli graf G 1 powstaje z G 2 przez usunięcie pewnej liczby wierzchołków i krawędzi, to mówimy że G 1 jest podgrafem G 2.

Definicja Ilość krawędzi połączonych z wierzchołkiem nazywamy stopniem tego wierzchołka: deg(v) = #{e E(G) : v e}. Wierzchołek stopnia 0 nazywamy izolowanym, a wierzchołek stopnia 1 nazywamy końcowym. Definicja: Funkcja φ : V (G 1 ) V (G 2 ) jest izomorfizmem grafów prostych G 1 i G 2, jeżeli zachowuje liczbę krawędzi łączących dowolne dwa wierzchołki. Definicja: Funkcja φ : V (G) V (G) jest automorfizmem grafu prostego, jeżeli zachowuje liczbę krawędzi łączących dowolne dwa wierzchołki. Grupę automorfizmów grafu G oznaczamy jako Γ(G). Sprawdzanie, czy dwa grafy są izomorficzne jest problemem NP. Sprawdzanie, czy graf ma nietrywialy automorfizm jest problemem NP.

3 1 4 Przykład: Wyznacz grupę automorfizmów grafu 2 3 1 4 Przykład: Wyznacz grupę automorfizmów grafu 2

Definicja: Wierzchołki nazywamy sąsiednimi, jeżeli istnieje krawędź je łącząca. Krawędzie nazywamy sąsiednimi, jeżeli mają dokładnie jeden wspólny wierzchołek. Definicja: Macierzą sąsiedztwa grafu G nazywamy macierz w której wyraz ij-ty jest równy ilości krawędzi łączących wierzchołki i oraz j. Jest to macierz symetryczna. Definicja: Macierzą incydencji grafu jest macierz, które ij-ty wyraz jest równy 1 wtw gdy i-ty wierzchołek jest końcem j-tej krawędzi. 3 b 1 c 4 Ćwiczenie: Wyznacz macierz sąsiedztwa i incydencji grafu. 2 a

Definicja: Ścieżką nazywamy skończony, różnowartościowy ciąg krawędzi taki, że kolejne krawędzie są sąsiednie. Definicja: Cyklem nazywamy niepustą ścieżkę zamkniętą Definicja: Drogą nazywamy ścieżkę nie zawierającą dwóch tych samych wierzchołków. Definicja: Długością (drogi, ścieżki, cyklu) nazywamy liczbę krawędzi składowych. Ćwiczenie: Wyznacz ścieżkę i drogę maksymalnej długości. Wyznacz wszystkie cykle.

Definicja: Graf spójny, który nie zawiera cykli nazywamy drzewem Twierdzenie (własności drzew) Dla grafu spójnego G o n wierzchołkach NWSR: 1 G jest drzewem ( nie zawiera cykli) 2 #E(G) = n 1 3 każda krawędź jest mostem 4 każde dwa wierzchołki połączone są dokładnie jedną drogą 5 po dodaniu do grafu jednej krawędzi uzyskamy dokładnie jeden cykl Dowód: (3) (4) (5) = (1) ćwiczenie (1) = (4) mając dane dwie różne drogi łączące wierzchołki, jesteśmy w stanie skonstruować cykle usuwając z sumy dróg ich wspólne krawędzie. (3) = (2) indukcyjnie (2) = (3) wystarczy udowodnić, że dla grafu spójnego G: #E(G) n 1 (indukcyjnie).

Wniosek: Z każdego cyklu w grafie możemy usunąć krawędź nie niszcząc spójności grafu. Postępując w ten sposób tak długo, aż nie zostanie żaden cykl uzyskujemy drzewo rozpinające graf. O liczbie możliwych drzew o n-wierzchołkach mówi: Twierdzenie (Cayleya o drzewach) Istnieje n n 2 różnych drzew o n wierzchołkach. Ćwiczenie: Narysuj wszystkie drzewa dla n = 3. Podziel je na klasy drzew ze sobą izomorficznych. Ćwiczenie: Narysuj wszystkie drzewa dla n = 4. Podziel je na klasy drzew ze sobą izomorficznych. Ćwiczenie: Narysuj wszystkie drzewa dla n = 5. Podziel je na klasy drzew ze sobą izomorficznych.

Pojęcia wstępne Ścieżki Drzewa Grafy eulerowskie i hamiltonowskie W 1736 roku Euler rozwiązał problem siedmiu mostów królewieckich - czy można tak zalanować spacer w centrum Królewca, by powrócić do tego samego punktu przechodząc każdy z mostów na Pregole (Pre igara) dokładnie jeden raz?

Definicja Graf spójny G nazywamy grafem eulerowskim, jeżeli istnieje cykl zawierający każdą krawędź G. Cykl ten nazywamy cyklem Eulera. Twierdzenie (Eulera o grafach) Graf spójny jest Eulerowski wtedy i tylko wtedy gdy v V (G) 2 deg v. Dowód: Jeżeli cykl raz przechodzi przez wierzchołek, to dwie spośród krawędzi wychodzących z wierzchołka stają się elementami cyklu, przy każdym kolejnym przejściu dochodzą kolejne dwie (dlaczego?). Jeżeli każda krawędź wychodząca z wierzchołka jest elementem cyklu (dlaczego?), to ich liczba musi być parzysta.

Dla grafu o n = 2 i parzystych indeksach wierzchołków twierdzenie jest prawdziwe. Załóżmy, że dla dowolnego grafu o liczbie wierzchołków < n twierdzenie jest prawdziwe. Rozważamy graf G o n wierzchołkach i parzystym stopniu każdego wierzchołka. Ponieważ graf jest spójny = w V (G) deg(w) 2 C E(G). Usuńmy z grafu G krawędzie tworzące C. ćw! = istnieje cykl Otrzymamy w wyniku graf G, być może niespójny, ale o parzystym stopniu każdego wierzchołka (ćwiczenie!). i-ta składowa spójności G ma na mocy założenia indukcyjnego cykl Eulera C i i punkt wspólny z cyklem C (dlaczego - ćwiczenie!). W grafie G konstruujemy cykl Eulera idąc wzdłuż C, gdy natrafimy na wierzchołek w którym możemy skręcić, skręcamy i obchodzimy cykl C i, następnie kontynuujemy wędrówkę wzdłuż G. (ćwiczenie - zilustruj zrozumienie konstrukcji rysunkiem!)

Dowód indukcyjny twierdzenia Eulera jest niekonstruktywny - pojawia się pytanie, jak konstruować dla danego grafu cykl Eulera. Twierdzenie (Fleury ego) Następujący ciąg kroków prowadzi do cyklu w grafie Eulerowskim: Zacznij z dowolnego wierzchołka i przechodź krawędzie w dowolnej kolejności, przestrzegając warunków: usuwaj z grafu przebyte krawędzie i wierzchołki izolowane powstałe w tym procesie przekraczaj most tylko gdy nie masz innej możliwości ruchu Bez dowodu

Definicja Graf prosty G nazywamy grafem Hamiltonowskim, jeżeli istnieje cykl przechodzący przez każdy wierzchołek dokładnie raz. Przykład: Cykl Hamiltona w grafie dwunastościanu - problem istnienia cyklu Hamiltona pojawił się przy badaniu tego problemu. Problem znalezienia cyklu Hamiltona należy do klasy problemów NP-zupełnych. Oczywiście, graf pełny jest Hamiltonowski, więcej: Twierdzenie (Ore) Jeżeli dla grafu prostego G o n wierzchołkach (n 3) dla każdej pary niesąsiednich wierzchołków deg(v) + deg(w) n, to G jest grafem Hamiltona.

Dowód: Załóżmy że G spełnia warunek, ale nie jest Hamiltonowski. Uzupełnijmy go do grafu G dodając tyle krawędzi, by dodanie dowolnej prowadziło już do grafu Hamiltonowskiego. G dalej spełnia warunek. W takiej sytuacji, dla dowolnych niesąsiadujących v 1 i v n możemy skonstruować drogę długości n: v 1 v n, ale nie możemy jej zamknąć do cyklu. Dla każdego i {2,..., n} rozważamy możliwe połączenia: v 1 v i i v i 1 v n. Tylko jedno z nich może wystąpić, w przeciwnym wypadku ścieżka v 1 v i 1 v n v i v 1 byłaby cyklem hamiltonowskim. Oznacza to, że deg v 1 + deg v n wynosi najwyżej n 1, co daje sprzeczość z założeniem