jeżeli s=L jeżeli J jest wierzchołkiem terminalnym (1.) dodaj (J,S,min(h,wartość(J))) do OPEN w p.p. jeżeli J jest wierzchołkiem typu MIN (2.) dodaj (J.1,L,h) do OPEN w p.p. (3.) dla j=1..liczba_potomków(J) dodaj (J.j,L,h) do OPEN w p.p. jeżeli J jest wierzchołkiem typu MIN (4.) dodaj (rodzic(J),S,h) do OPEN usuń z OPEN wszystkie stany zawierające następników wierzchołka rodzic(J) w p.p. jeżeli J=rodzic(J).k i k=liczba_potomków(rodzic(J)) (5.) dodaj (rodzic(J),S,h) do OPEN w p.p. (6.) dodaj (rodzic(J).(k+1),L,h) do OPEN
Przykład Dane jest drzewo gier:
400px
Poniższy wydruk przedstawia działanie algorytmu. Kolumny, w kolejności od lewej do prawej: numer iteracji, przypadek operatora zawartość kolejki OPEN.
1: – e,L,inf 2: 2 1,L,inf 2,L,inf 3,L,inf 4,L,inf 3: 3 1.1,L,inf 2,L,inf 3,L,inf 4,L,inf 4: 2 1.1.1,L,inf 1.1.2,L,inf 2,L,inf 3,L,inf 4,L,inf 5: 1 1.1.2,L,inf 2,L,inf 3,L,inf 4,L,inf 1.1.1,S,2 6: 1 2,L,inf 3,L,inf 4,L,inf 1.1.1,S,2 1.1.2,S,2 7: 3 2.1,L,inf 3,L,inf 4,L,inf 1.1.1,S,2 1.1.2,S,2 8: 2 2.1.1,L,inf 3,L,inf 4,L,inf 1.1.1,S,2 1.1.2,S,2 9: 1 3,L,inf 4,L,inf 2.1.1,S,7 1.1.1,S,2 1.1.2,S,2 10: 3 3.1,L,inf 4,L,inf 2.1.1,S,7 1.1.1,S,2 1.1.2,S,2 11: 2 3.1.1,L,inf 4,L,inf 2.1.1,S,7 1.1.1,S,2 1.1.2,S,2 12: 1 4,L,inf 2.1.1,S,7 1.1.1,S,2 1.1.2,S,2 3.1.1,S,1 13: 3 4.1,L,inf 2.1.1,S,7 1.1.1,S,2