對(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))值相等。
