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