Alur perjalanan agar dapat berkumpul di seberang
sungai
-
Polisi + penjahat menyebrang
-
Penjahat turun, polisi
balik
-
Polisi + anak cow1 menyebrang
-
Anak cow1 turun, polisi +
penjahat balik
-
Bapak + anak cow2 menyebrang
-
Anak cow2 turun, bapak
bali
-
Bapak + ibu menyebrang
-
Bapak turun, ibu balik
-
Polisi + penjahat
menyebrang
-
Polisi + penjahat turun,
bapak balik
-
Bapak + ibu menyebarang
-
Bapak turun, ibu balik
-
Ibu + anak cew1 menyebrang
-
Ibu + anak cew1 turun,
polisi + penjahat balik
-
Polisi + anak cew2
menyebrang
-
Anak cew2 turun, polisi
balik
-
Polisi + penjahat menyebrang
-
Polisi + penjahat turun
Kondisi state diterima dan ditolak
o abegh = diterima
o abegkmn = diterima
o cfgkmn = diterima
o ilmn = diterima
o cjlmn = diterima
o cfgkkm = ditolak
o abeg = ditolak
o ab = ditolak
o cjlm = ditolak
o adghk = ditolak
