Pseudokod algorytmu W poniższym przykładzie algorytm zwraca wynik, wpisując do pewnej sekwencyjnej struktury kolejne wierzchołki w odwrotnej kolejności, niż znajdują się na ścieżce. Struktura ta może być całkowicie dowolna i jest określana jako po prostu „rozwiązanie”. Przyjęto również, że dostępny jest stos S, na którym można wykonywać operacje PUSH i POP oraz sprawdzać, czy stos jest pusty, funkcją EMPTY. Jeśli zadany graf G posiada konstruktor kopiujący, początkowym wierzchołkiem ścieżki jest v, a końcowym w, wówczas działanie algorytmu można przedstawić w następujących krokach:
1. IF NOT G jest grafem eulerowskim THEN END 2. Przypisz G’ = G 3. Dopisz do rozwiązania wierzchołek v 4. WHILE wierzchołek v nie jest izolowany DO 5. Przypisz w indeks dowolnego wierzchołka incydentnego z v 6. S.PUSH v 7. Usuń z G’ krawędź w – v 8. Przypisz v = w END DO 9. IF NOT S.EMPTY THEN 10. Przypisz v = S.POP 11. Dopisz do rozwiązania wierzchołek v 12. GO TO 4. ELSE END
Dowód poprawności algorytmu Podczas poszukiwania cyklu Eulera w grafie eulerowskim G wierzchołek końcowy w jest tożsamy z wierzchołkiem początkowym v, graf G jest spójny i stopień każdego wierzchołka jest liczbą parzystą.