Sei sulla pagina 1di 1

Una regina può muoversi in verticale, orizzontale o diagonale per un numero

arbitrario di passi. Se consideriamo una scacchiera nxn, il numero di regine che


non si danno scacco reciproco (in assenza di altre pedine) è sicuramente minore
uguale di n, questo perchè se fosse più di n, per il Pigeonhole Principle, avremo
sicuramente due regine su una stessa riga e su una stessa colonna.

Se modelliamo una scacchiera nxn con un grafo, volendo piazzare n regine possiamo
inferire che l'insieme delle soluzioni ammissibili è un sottoinsieme dell'insieme
degli Independent Set. Infatti, se due nodi corrispondenti a due regine fossero
adiacenti si darebbero scacco. Tuttavia la proprietà di una soluzione ammissibile
di essere un Independent Set è una condizione necessaria ma non sufficiente, in
quanto una regina può muoversi di un numero arbitrario di passi.

Se ci fossero dei pedoni i vincoli del problema si rilasserebbero. Ovviamente tutte


le soluzioni ammissibili nella prima formulazione rimarrebbero ancora ammissibili,
inoltre sarebbe possibile piazzare più di n regine, in quanto una specifica
configurazione di pedoni potrebbe annullare lo scacco di una o più regine.

Non esiste fin'ora una soluzione analitica del problema, tuttavia tramite una
ricerca nello spazio degli stati è possibile risolvere il problema in un tempo
accettabile (per lo meno per bassi n).