Alloy

Il problema delle otto regine [2]Se si definiscono delle coppie di interi che identificano la posizione dellaregina, si possono esprimere i seguenti vincoli:▲ R i = (x i , y i ) con 1 ≤ i, x i , y i ≤ 8 le reggine sono otto e non possono usciredalla scacchiera▲ ∀R i , R j | R i ≠ R j le regine non possono occupare la stessa casella▲ ∀R i = (x i , y j ), R j = (x j , y j ) | ¬(x i = x y ∨ y i = y j ) le regine non possonostare sulla stessa riga o colonna▲ ∀R i = (x i , y i ), R j = (x j , y i ) | ¬(x i + y i = x j + y j )) le regine non possonostare sulla stessa diagonale (decrescente)▲ ∀R i = (x i , y i ), R j = (x j , y i ) | ¬(|x i − y i | = |x j − y j |)) le regine non possonooccupare la stessa diagonale (crescente)22/5/2008 UNICAM - p. 3/45