Vuit reines: diferència entre les revisions

Cal decidir si un vector és <math>k</math>-prometedor, sabent que és una extensió d'una vector <math>(k-1)</math>-prometedor. Únicament és necessari comprovar l'última reina que calgui afegir. Això es pot accelerar si s'associa a cada node prometedor el conjunt de columnes i el de diagonals ascendents i descendents controlades per les reines que ja s'han col·locat.

 

Si <math>k<8</math> l'algorisme explora les extensions <math>(k+1)</math>-prometedores realitzant un cicle de 1 a 8 al qual es comprova si les reines col·locades es veuen les unes a les altres. Si no és el cas es realitza una recurrència en la qual s'incrementa <math>k</math> (es busca el <math>(k+1)</math>-prometedor) i s'afegeix una nova fila, columna i diagonals al conjunt de restriccions per la propera iteració.