对于n后问题，用n元组工[1：n]表示n后问题的解。其中x[i],表示皇后i放在棋盘的第i行的第i列。由于不允许将2个皇后放在同一列，所以解向量中的x[i]互不相同。2个皇后不能放在同一斜线上是问题的隐约束。对于一般的n后问题，这一隐约束条件可以化成显约束的形式。将n x n格棋盘看作二维方阵，其行号从上到下，列号从左到右依次编号为1，2，…，n。从棋盘左上角到右下角的主对角线及其平行线(即斜率为一1的各斜线)上，2个下标值的差(行号一列号)值相等。同理，斜率为+1的每一条斜线上，2个下标值的和(行号+列号)值相等。
