Na procura em largura primeiro, utiliza-se os sucessores na sua melhor versão analisada no exercício anterior, isto é, não são gerados estados em que um dos grupos tem mais de metade do total dos números.

Ficheiro de Excel, passo a passo:

A procura levou 14 gerações e 10 expansões. No entanto é nítido mais algum desperdício, alguns estados são analisados em duplicado. Os estados 2 e 3 são simétricos, já que são indiferentes um ou outro grupo, tal como os estados 4 e 5, entre outros. Já os estados 11 e 12 são exatamente iguais, muito embora possam ter associados números distintos num e noutro conjunto.

Pode-se ainda melhorar o gerador de sucessores, gerando estados que nunca tenham sido gerados. De forma a garantir que estados idênticos excepto na ordem dos grupos não são considerados distintos, pode-se ordenar o estado, colocando sempre o grupo com um número maior primeiro. Para verificar que o estado já foi gerado, tem de se ter uma hashtable de forma a poder fazer este teste em tempo constante.