Strona główna » Algorytmy » Struktury Danych » Drogi Krawędziowo Rozłączne
 

Drogi Krawędziowo Rozłączne

Wstęp

Problem dróg krawędziowo rozłącznych pozwala odpowiedzieć na pytanie ile jest możliwych dróg dojazdu z punktu A do B nigdy nie używając drugi raz tej samej krawędzi grafu w każdej kolejnej trasie. W tym artykule zostanie wyjaśnione jak napisać algorytm rozwiązujacy podany problem.

Problem

Zakładamy, że graf jest skierowany i ma n wierzchołków. Pomiędzy wierzchołkami może przebiegać więcej niż jedna krawędź. Poszukiwane drogi nie mogą korzystać dwa razy z tej samej krawędzi. Innymi słowy krawędź między wierzchołkami v i w może zostać wykorzystana maksymalnie tyle teraz ile z v jest krawędzi do w.

Oto przykładowy graf oraz rozwiązanie tego problemu dla przejścia z wierzchołka 0 do wierzchołka 2:

Graf
Drogi z 0 do 2

Pomiędzy wierzchołkiem 0 i 2 istnieją dokładnie dwie ścieżki. Ze względu na to, że graf jest skierowany to z wierzchołka 2 do 0 istnieje tylko jedna droga.

Algorytm

W celu rozwiązania podanego problemu należy skorzystać z algorytmu BFS, który pomoże znaleźć najkrótszą ścieżkę pomiędzy dwoma wierzchołkami. Następnie algorytm musi zaktualizować macierz usuwając wykorzystane do tej pory krawędzie. Następnie program ponownie powinien wywoływać BFS, aż nie zostanie znaleziona ścieżka. Wynikiem powinna być łączna ilość pozytywnych wywołań funkcji BFS.

Implementacja

Część prywatna

Program przechowuje graf jako macierz. Na pozycjach (i, j) znajduje się informacja ile jest krawędzi z wierzchołka i do wierzchołka j. Oto przykładowy graf i podana jego reprezentacja jako macierz:

Graf
  1. 0 1 0 2
  2. 0 0 1 0
  3. 1 0 0 0
  4. 0 0 1 0

BFS

Przedstawiona funkcja BFS() jest rozszerzoną wersją algorytmu BFS. Przyjmuje ona kolejno: macierz - macierz danych według założeń powyżej, rodzice - tablica do przechowania na i-tej pozycji numer wierzchołka z którego nastąpiło przejście na i-ty, start i koniec - odpowiednio wierzchołke początkowy i końcowy.

  1. static bool BFS(int[,] macierz, ref int[] rodzice, int n, int start, int koniec)
  2. {
  3. bool[] odwiedzone = new bool[n];
  4. Queue<int> queue = new Queue<int>();
  5. queue.Enqueue(start);
  6. odwiedzone[start] = true;
  7. while (queue.Count > 0)
  8. {
  9. int u = queue.Dequeue();
  10. for (int i = 0; i < n; i++)
  11. {
  12. if (!odwiedzone[i] && macierz[u, i] > 0)
  13. {
  14. queue.Enqueue(i);
  15. odwiedzone[i] = true;
  16. rodzice[i] = u;
  17. }
  18. }
  19. }
  20. return odwiedzone[koniec];
  21. }

W wyniku działania tego algorytmu zwraca jest wartość czy wierzchołek końcowy został osiągnięty. Dodatkowo aktualizowana jest tablica rodziców wierzchołków, która zostanie następnie użyta do aktualizacji macierzy tj. usunięcie zużytych już krawędzi grafu.

Funkcja Główna

Funkcja DrogiRozłaczne() dla podanej macierzy oraz wierzchołka początkowego i końcowego zwraca ilość dróg krawędziowo rozłącznych.

  1. static int RozlaczneDrogi(int[,] macierz, int n, int start, int koniec)
  2. {
  3. int[] rodzice = new int[n];
  4. int drog = 0;
  5. while (BFS(macierz, ref rodzice, n, start, koniec))
  6. {
  7. drog++;
  8. int koniec_tmp = koniec;
  9. do
  10. {
  11. macierz[rodzice[koniec_tmp], koniec_tmp] -= 1;
  12. koniec_tmp = rodzice[koniec_tmp];
  13. } while (koniec_tmp != start);
  14. }
  15. return drog;
  16. }

Funkcja na początku deklaruje tablicę w której będą przechowywane informacje o drodze w funkcji BFS() oraz nowy licznik. Algorytm powtarza wywołanie algorytmu BFS dopóki zostanie znaleziona droga. Na podstawie znalezionej drogi aktualizowana jest macierz oraz licznik. Po przerwaniu pętli zwracany jest licznik drog.

Testowanie funkcji

Funkcje można przetestować przy pomocy poniższego kodu, który wczyta potrzebne dane, a następnie wypisze wynik.

  1. static void Main(string[] args)
  2. {
  3. Console.Write("Podaj ile jest wierzchołków w grafie\n n = ");
  4. int n = Convert.ToInt32(Console.ReadLine());
  5. Console.Write("Podaj węzeł początkowy\n s = ");
  6. int s = Convert.ToInt32(Console.ReadLine());
  7. Console.Write("Podaj węzeł końcowy\n k = ");
  8. int k = Convert.ToInt32(Console.ReadLine());
  9. int[,] macierz = new int[n, n];
  10. for (int i = 0; i < n; i++) {
  11. string[] data = Console.ReadLine().Split(' ');
  12. for (int j = 0; j < n; j++) {
  13. macierz[i, j] = Convert.ToInt32(data[j]);
  14. }
  15. }
  16. int drog = RozlaczneDrogi(macierz, n, s, k);
  17. Console.WriteLine("Rozłącznych dróg: {0}", drog);
  18. Console.ReadKey();
  19. }

Zadania

Zadanie 1

Napisz algorytm PodajRozlaczneDrogi(), który zwróci listę wszystkich dróg krawędziowo rozłącznych z wierzchołka v do w. Opis drogi powienien składać się z numerów kolejno odwiedzanych wierzchołków. Przykładowo dla podanego grafu:

Graf

Program powinien przykładowo wypisać na ekran (kolejność opisów dróg jest dowolna):

  1. 0 3 2
  2. 0 1 2