Algoritmos y Programación en Pascal

20.4. Vuelta atrás 465
type
tDominio = 1..8;
...
procedure OchoDamas (i: numero de dama; S: solucParcial);
var
col: tDominio;
begin
for col:= 1 to 8 do
if puede situarse la dama i-ésima en la columna col sin
estar a tiro de las anteriores (1, . . . , i-1) then begin
Situar la dama i-ésima en la columna col
(con lo que se tiene la situación S’)
if i = 8 then
Registrar esta solución
else
Resolver OchoDamas (i+1, S’)
end {if}
end; {OchoDamas}
2. Tantear cuántas soluciones existen.
El esquema es una variante del anterior, estableciendo un contador a cero
antes de iniciar la búsqueda de soluciones y cambiando la acción de registrar
una solución por incrementar el contador.
3. Generar una solución, si existe, o indicar lo contrario.
En este caso, la búsqueda termina cuando se halla una solución o se agotan
las vías posibles.
Un modo fácil de conseguirlo es modificar el primer esquema añadiendo un
parámetro (booleano) para indicar cuándo se ha encontrado una solución
y parando la búsqueda en caso de éxito. En el caso del problema de las
ocho damas quedaría así:
procedure OchoDamas(i: numero de dama; S: solucParcial;
var halladaSol: boolean);
var
col: tDominio;
begin
halladaSol:= False;
col:= 0;
repeat
col:= col + 1;
if puede situarse la dama i-ésima en la columna col sin
estar a tiro de las anteriores (1, . . . , i-1) then begin