N = Um conjunto de matrizes 3x3, com 8 números inteiros, todos diferentes, do 1 ao 8, inclusive. E o número 0 para representar o espaço vazio.
A = Dado um estado e
:
Gerar, se for possível, 4 estados:
I = Qualquer estado em N.
DO = Um estado, com os números ordenados, de forma crescente, no sentido horário, à partir da posição (1,1).
1 2 3
8 0 4
7 6 5