對(duì)于n后問(wèn)題,用n元組工[1:n]表示n后問(wèn)題的解。其中x[i],表示皇后i放在棋盤(pán)的第i行的第i列。由于不允許將2個(gè)皇后放在同一列,所以解向量中的x[i]互不相同。2個(gè)皇后不能放在同一斜線(xiàn)上是問(wèn)題的隱約束。對(duì)于一般的n后問(wèn)題,這一隱約束條件可以化成顯約束的形式。將n x n格棋盤(pán)看作二維方陣,其行號(hào)從上到下,列號(hào)從左到右依次編號(hào)為1,2,…,n。從棋盤(pán)左上角到右下角的主對(duì)角線(xiàn)及其平行線(xiàn)(即斜率為一1的各斜線(xiàn))上,2個(gè)下標(biāo)值的差(行號(hào)一列號(hào))值相等。同理,斜率為+1的每一條斜線(xiàn)上,2個(gè)下標(biāo)值的和(行號(hào)+列號(hào))值相等。