Badania operacyjne w teleinformatyce

Wykład 3 - Ważne cykle

Mateusz Gorczyca

Instytut Informatyki, Automatyki i Robotyki

1 / 14
Cykl Eulera i grafy eulerowskie

2 / 14
Podstawowe definicje

Definicja
Graf spójny jest grafem eulerowskim, jeżeli istnieje zamknięta
ścieżka zawierająca każdą krawędź tego grafu.

3 / 14
Podstawowe definicje

Definicja
Graf spójny jest grafem eulerowskim, jeżeli istnieje zamknięta
ścieżka zawierająca każdą krawędź tego grafu.

Definicja
Cykl Eulera - zamknięta ścieżka zawierająca każdą krawędź grafu.

4 / 14
Podstawowe definicje

Definicja
Graf spójny jest grafem eulerowskim, jeżeli istnieje zamknięta
ścieżka zawierająca każdą krawędź tego grafu.

Definicja
Cykl Eulera - zamknięta ścieżka zawierająca każdą krawędź grafu.

Definicja
Graf półeulerowski - nie jest eulerowski, ale zawiera ścieżkę
przechodzącą przez każdą krawędź tego grafu.

5 / 14
Podstawowe definicje

Definicja
Graf spójny jest grafem eulerowskim, jeżeli istnieje zamknięta
ścieżka zawierająca każdą krawędź tego grafu.

Definicja
Cykl Eulera - zamknięta ścieżka zawierająca każdą krawędź grafu.

Definicja
Graf półeulerowski - nie jest eulerowski, ale zawiera ścieżkę
przechodzącą przez każdą krawędź tego grafu.

Nazwa eulerowski - od Eulera, który rozwiązał problem mostów

królewieckich.

6 / 14
Podstawowe twierdzenia

Twierdzenie
Graf spójny G jest grafem eulerowskim, wtedy i tylko wtedy, gdy
stopień każdego wierzchołka grafu G jest liczbą parzystą.

7 / 14
Podstawowe twierdzenia

Twierdzenie
Graf spójny G jest grafem eulerowskim, wtedy i tylko wtedy, gdy
stopień każdego wierzchołka grafu G jest liczbą parzystą.

Twierdzenie
Graf spójny G jest grafem półeulerowskim, wtedy i tylko wtedy,
gdy ma dokładnie dwa wierzchołki nieparzystych stopni.

8 / 14
Podstawowe twierdzenia

Twierdzenie
Graf spójny G jest grafem eulerowskim, wtedy i tylko wtedy, gdy
stopień każdego wierzchołka grafu G jest liczbą parzystą.

Twierdzenie
Graf spójny G jest grafem półeulerowskim, wtedy i tylko wtedy,
gdy ma dokładnie dwa wierzchołki nieparzystych stopni.

Definicja
Most - krawędź, której usunięcie spowoduje, że graf przestanie być
spójny.

9 / 14
Algorytm Fleury’ego

Algorytm
WEJŚCIE: Graf spójny eulerowski G
WYJŚCIE: Cykl Eulera w grafie G
Wybierz dowolny wierzchołek v ;
while Nie zakończono konstruowania cyklu Eulera
do
Wybierz dowolną gałąź wychodzącą z aktualnego
wierzchołka i nie będącą mostem.
Jeżeli nie ma takiej możliwości, wybierz most;
Przejdź przez wybraną gałąź usuwając ją i ewentualnie
powstałe wierzchołki izolowane;
od

10 / 14
Cykl Hamiltona i grafy
hamiltonowskie

11 / 14
Podstawowe definicje

Definicja
Graf spójny jest grafem hamiltonowskim, jeżeli istnieje
zamknięta ścieżka przechodząca dokładnie raz przez każdy
wierzchołek grafu.

12 / 14
Podstawowe definicje

Definicja
Graf spójny jest grafem hamiltonowskim, jeżeli istnieje
zamknięta ścieżka przechodząca dokładnie raz przez każdy
wierzchołek grafu.

Definicja
Cykl Hamiltona - zamknięta ścieżka przechodząca dokładnie raz
przez każdy wierzchołek grafu.

13 / 14
Podstawowe definicje

Definicja
Graf spójny jest grafem hamiltonowskim, jeżeli istnieje
zamknięta ścieżka przechodząca dokładnie raz przez każdy
wierzchołek grafu.

Definicja
Cykl Hamiltona - zamknięta ścieżka przechodząca dokładnie raz
przez każdy wierzchołek grafu.

Definicja
Graf półhamiltonowski - nie jest hamiltonowski, ale zawiera
ścieżkę przechodzącą przez każdy wierzchołek tego grafu.

14 / 14