Matematyka dyskretna > Teoria grafów > Obwody >

Ścieżka hamiltonowska, zwana również ścieżką Hamiltona, to ścieżka grafu między dwoma wierzchołkami grafu, która odwiedza każdy wierzchołek dokładnie raz. Jeśli istnieje ścieżka Hamiltona, której punkty końcowe są sąsiednie, to powstały w ten sposób cykl grafu nazywamy cyklem Hamiltona (lub cyklem Hamiltona).

Graf posiadający ścieżkę Hamiltona nazywamy grafem identyfikowalnym.

W ogólności problem znalezienia ścieżki Hamiltona jest NP-zupełny (Garey i Johnson 1983, pp. 199-200), więc jedynym znanym sposobem na określenie, czy dany graf ogólny ma ścieżkę Hamiltona, jest podjęcie wyczerpującego przeszukiwania

Każdy graf dwudzielny z nierównością parzystości wierzchołków 1 nie ma ścieżek Hamiltona.

Znalezienie pojedynczej ścieżki hamiltonowskiej grafu g jest zaimplementowane w Wolfram Language jako FindHamiltonianPath. Wszystkie ścieżki hamiltonowskie danego grafu można znaleźć (nieefektywnie) za pomocą polecenia HamiltonianPath w pakiecie Wolfram Language Combinatorica` . Wstępnie obliczoną listę wszystkich ścieżek hamiltonowskich dla wielu nazwanych grafów można uzyskać za pomocą GraphData, gdzie i obie orientacje ścieżek są uwzględnione (tak, że {} jest uważany za odrębny od {}). Wstępnie obliczona liczba odpowiadających im ścieżek Hamiltona jest podawana przez GraphData.

Całkowite liczby skierowanych ścieżek Hamiltona dla wszystkich grafów prostych rzędu n=1, 2, … wynoszą 0, 2, 8, 50, 416, 5616, 117308, 4862736, …. (OEIS A193352).

Rubin (1974) opisuje efektywną procedurę wyszukiwania, która może znaleźć niektóre lub wszystkie ścieżki i obwody Hamiltona w grafie przy użyciu dedukcji, które znacznie redukują backtracking i zgadywanie. Probabilistyczny algorytm Angluina i Valianta (1979), opisany przez Wilfa (1994), może być również użyteczny do znajdowania cykli i ścieżek Hamiltona. Ścieżka Hamiltonowska pomiędzy dwoma wierzchołkami i i j może być znaleziona, jeśli dostępny jest algorytm dla cykli Hamiltonowskich. Można to zrobić, sprawdzając, czy oryginalny graf G zawiera krawędź (i,j) i dodając ją, jeśli nie, aby uzyskać G^''. Ponieważ ścieżka Hamiltona z sąsiadującymi punktami końcowymi jest cyklem Hamiltona i ponieważ i i j są teraz sąsiadujące, znalezienie cyklu hamiltonowskiego i podział na krawędziach daje ścieżkę hamiltonowską od i do j w G. Podobnie, jeśli żaden cykl hamiltonowski nie istnieje w G^'', to nie istnieje ścieżka hamiltonowska od i do j w G.

Poniższa tabela podsumowuje liczby (nieukierunkowanych) ścieżek Hamiltona na różnych klasach grafów.

.

graf formuła
graf sztangowy ^2
graf koktajlowy K_(n×2) (2n)!_1F_1(-n;-2n;-2)
graf całkowity K_n n!
graf dwudzielny zupełny K_(n,n) (n!)^2
2n-graf graniastosłupa prawidłowego 6-2^(n-.1)n(n+1)
graf cykliczny C_n n
przekrój graph n(n+1)
graf drabinkowy P_2 kwadrat P_n n^2-.n+2
Drabina Möbiusa M_n 1/2(-.1)^nn
graf ścieżki P_n 1
graf pryzmatyczny Y_n 1/2n
graf słoneczny n(n+1)
graf koła W_n 2(n-.1)(n-2)

Zależności rekurencyjne dla liczby skierowanych ścieżek Hamiltonowskich dla niektórych rodzin grafów są podsumowane poniżej.

.

graf kolejność rekurencja
graf antypryzmatyczny 9 a_n=a_(n-.9)+a_(n-8)-3a_(n-7)-5a_(n-6)+5a_(n-5)+7a_(n-4)-4a_(n-3)-6a_(n-2)+5a_(n-1)
wykres korony 3 a_n=n(n-1)^2a_(n-2)+(n-2)n(n-1)a_(n-3)+n(n-1)a_(n-1)
graf pryzmatyczny Y_n 6 a_n=-.a_(n-6)+2a_(n-5)+a_(n-4)-4a_(n-3)+a_(n-2)+2a_(n-1)

Dodaj komentarz

Twój adres email nie zostanie opublikowany. Pola, których wypełnienie jest wymagane, są oznaczone symbolem *