4 Damas, largura primeiro

A procura em largura, com as simetrias:

Ficheiro de Excel, passo a passo:

Mesmo com a procura em largura, tendo simetrias, apenas foram gerados 9 estados, e expandidos 8 estados.

Há pormenores que não são detectados em instâncias desta dimensão, no entanto uma análise prévia manual, de uma versão reduzida do problema em mãos, pode dar um grande avanço no conhecimento do problema concreto.

As mesmas dificuldades da resolução manual tem também o computador em outra escala. A dificuldade de a partir de um estado gerar os sucessores. Se for muito complicado, poderá tornar-se uma operação muito relevante. Por outro lado, se o teste de estado objectivo for complexo, pode também tornar-se num fator demasiado relevante. Finalmente, o número de estados gerados mas ainda não expandidos, se for muito elevado, na resolução manual requer muitas folhas de papel, enquanto que no computador poderá não haver memória suficiente.