Potrzebuje rozwiazania nastepujacego problemu:
Utwórz kolejkę priorytetową KP.
Wygeneruj stan początkowy i nazwij go CS.
Zastosuj do CS wszystkie możliwe operatory. Otrzymanym w ten sposób stanom przypisz wartości zależne od wartości zwróconych przez funkcje oceniające (może to być na przykład suma tych wartości) a następnie zapisz je do KP.
Pobierz stan z KP i nazwij go CS.
Jeśli:
CS jest poszukiwanym stanem końcowym zwróć SUKCES i idź do 7.
CS = NULL zwróć BRAK_ROZWIAZANIA i idź do 7.
Idź do 3.
Zakończ algorytm.
Powyższy algorytm pozwoli nam stwierdzić, czy istnieje ścieżka łącząca stan początkowy i stan końcowy. Chcąc tą ścieżkę dodatkowo wypisać, należy na bieżąco tworzyć odpowiednie drzewo