Wybrane zagadnienia teorii grafów w ujęciu algorytmicznym
Transkrypt
Wybrane zagadnienia teorii grafów w ujęciu algorytmicznym
. . Wybrane zagadnienia teorii grafów w ujęciu algorytmicznym dr Hanna Furmańczyk 15 kwietnia 2015 . .. .. dr Hanna Furmańczyk . . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . . . . .. .. .. Wybrane zagadnienia teorii grafów w ujęciu algorytmicznym . Grafy są wszędzie . .. .. dr Hanna Furmańczyk . . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . . . . .. .. .. Wybrane zagadnienia teorii grafów w ujęciu algorytmicznym . Grafy są wszędzie . .. .. dr Hanna Furmańczyk . . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . . . . .. .. .. Wybrane zagadnienia teorii grafów w ujęciu algorytmicznym . Grafy są wszędzie . .. .. dr Hanna Furmańczyk . . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . . . . .. .. .. Wybrane zagadnienia teorii grafów w ujęciu algorytmicznym . Grafy są wszędzie . .. .. dr Hanna Furmańczyk . . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . . . . .. .. .. Wybrane zagadnienia teorii grafów w ujęciu algorytmicznym . Grafy są wszędzie . .. .. dr Hanna Furmańczyk . . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . . . . .. .. .. Wybrane zagadnienia teorii grafów w ujęciu algorytmicznym . Problem mostów królewieckich . Euler 1736 r., Królewiec . Zadanie, tak jak rozumiem, jest dobrze znane i brzmi następująco: w Królewcu, w Prusach, znajduje się wyspa zwana Kneiphof otoczona dwoma ramionami rzeki Pregoła. Odnogi rzeki przecina siedem mostów. Należy rozstrzygnąć, czy jest możliwe przespacerować się w taki sposób, aby przejść tylko raz po każdym moście. . . .. .. dr Hanna Furmańczyk . . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . . . . .. .. .. Wybrane zagadnienia teorii grafów w ujęciu algorytmicznym . Problem mostów królewieckich . Euler 1736 r., Królewiec . Zadanie, tak jak rozumiem, jest dobrze znane i brzmi następująco: w Królewcu, w Prusach, znajduje się wyspa zwana Kneiphof otoczona dwoma ramionami rzeki Pregoła. Odnogi rzeki przecina siedem mostów. Należy rozstrzygnąć, czy jest możliwe przespacerować się w taki sposób, aby przejść tylko raz po każdym moście. . . .. .. dr Hanna Furmańczyk . . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . . . . .. .. .. Wybrane zagadnienia teorii grafów w ujęciu algorytmicznym . Problem mostów królewieckich Leonhard Euler (1707-1783) . . .. .. dr Hanna Furmańczyk .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . . . . .. .. .. Wybrane zagadnienia teorii grafów w ujęciu algorytmicznym . Grafy eulerowskie . Grafy eulerowskie . Niech dany bdzie spjny graf (multigraf) G = (V , E ). Mówimy, że G jest eulerowski, jeżeli istnieje łańcuch zamknięty zawierający każdą krawędź multigrafu; taki łańcuch nazywamy cyklem Eulera. . . .. .. dr Hanna Furmańczyk . . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . . . . .. .. .. Wybrane zagadnienia teorii grafów w ujęciu algorytmicznym . Grafy eulerowskie . Grafy eulerowskie . Niech dany bdzie spjny graf (multigraf) G = (V , E ). Mówimy, że G jest eulerowski, jeżeli istnieje łańcuch zamknięty zawierający każdą krawędź multigrafu; taki łańcuch nazywamy cyklem Eulera. . . Twierdzenie . Spójny multigraf G = (V , E ) jest eulerowski wtedy i tylko wtedy, gdy każdy jego wierzchołek jest parzystego stopnia. . . .. .. dr Hanna Furmańczyk . . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . . . . .. .. .. Wybrane zagadnienia teorii grafów w ujęciu algorytmicznym . Algorytm Fleury’ego () znajdowania cyklu Eulera (o ile taki cykl istnieje) . Niech G = (V , E ) będzie spójnym multigrafem o wszystkich wierzchołkach parzystego stopnia. 1. Zaczynamy od dowolnego wierzchołka v ∈ V . 2. Powtarzamy, aż przejdziemy wszystkie krawędzie: . Jeżeli z bieżącego wierzchołka x odchodzi tylko jedna krawędź, to przechodzimy wzdłuż tej krawędzi do następnego wierzchołka i usuwamy tę krawędź wraz z wierzchołkiem x. 2. W przeciwnym wypadku, jeżeli z x odchodzi więcej krawędzi, to wybieramy tę krawędź, której usunięcie nie rozspójnia nam grafu, i przechodzimy wzdłuż tej krawędzi do następnego wierzchołka, a następnie usuwamy tę krawędź z grafu. 1 . . .. .. dr Hanna Furmańczyk . . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . . . . .. .. .. Wybrane zagadnienia teorii grafów w ujęciu algorytmicznym . Problem chińskiego listonosza . Dana jest sieć ulic oraz poczta. Aby listonosz dostarczył korespondencję musi przejść wzdłuż każdej ulicy co najmniej raz i powrócił do punktu wyjścia. Formułując problem w języku grafów, pytamy o najkrótszą zamkniętą marszrutę w grafie G utworzonym na podstawie sieci ulic, w którym wagi krawędzi odpowiadają długościom ulic. . . .. .. dr Hanna Furmańczyk . . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . . . . .. .. .. Wybrane zagadnienia teorii grafów w ujęciu algorytmicznym . Problem chińskiego listonosza . Dana jest sieć ulic oraz poczta. Aby listonosz dostarczył korespondencję musi przejść wzdłuż każdej ulicy co najmniej raz i powrócił do punktu wyjścia. Formułując problem w języku grafów, pytamy o najkrótszą zamkniętą marszrutę w grafie G utworzonym na podstawie sieci ulic, w którym wagi krawędzi odpowiadają długościom ulic. . . .. .. dr Hanna Furmańczyk . . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . . . . .. .. .. Wybrane zagadnienia teorii grafów w ujęciu algorytmicznym . Problem chińskiego listonosza . Rozwiązanie . Znany jest efektywny algorytm rozwiązujący ten problem. Rozważamy trzy przypadki - slajdy CPP. . . .. .. dr Hanna Furmańczyk . . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . . . . .. .. .. Wybrane zagadnienia teorii grafów w ujęciu algorytmicznym . Problem najkrótszych dróg Skrypt z Matematyki dyskretnej str. 142–144. . .. .. dr Hanna Furmańczyk . . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . . . . .. .. .. Wybrane zagadnienia teorii grafów w ujęciu algorytmicznym Problem minimalnego drzewa spinającego - alg. Kruskala . 1956 Skrypt z Matematyki dyskretnej str. 141. . .. .. dr Hanna Furmańczyk . . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . . . . .. .. .. Wybrane zagadnienia teorii grafów w ujęciu algorytmicznym Bibliografia: 1. C. Alsina, Plany metra i sieci neuronowe. Teoria grafw. (seria Świat jest matematyczny) RBA 2012. 2. R. Wilson, Wprowadzenie do teorii grafów, Wyd. PWN 2012. . J. Wojciechowski, K. Pieńkosz, Grafy i sieci, Wyd. PWN 2013. 3 . .. .. dr Hanna Furmańczyk . . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . . . . .. .. .. Wybrane zagadnienia teorii grafów w ujęciu algorytmicznym