有许多可能的方法来编码这个问题，有些会比其他的更有优势

对我来说似乎是一个合理的起点的编码是：

1. 变量：让$S$成为一组$k$代表棋盘上骑士坐标的变量。
2. 域：每个变量的域最初是所有向量$[n]^2$. 用$[r, c]$.
3. 约束：
   • 设 A 为 8 个攻击动作的集合：$A=\{[2,1],[2,-1],[-2,1],[-2,-1],[1,2],[1,-2],[-1,2],[-1,-2]\}$
   • $\forall_{i < j} S_i \neq S_j$（没有骑士在同一个广场上）
   • $\forall_{i < j} [r_i, c_i] \notin \{[r_j + x, c_j + y] | x,y \in A\}$（没有骑士攻击另一个骑士）

应该是这样的。注意使用$\forall_{i<j}$在约束中是将约束的总数减少一半，利用骑士的对称性$i$可以攻击骑士$j$当夫骑士$j$可以攻击骑士$i$. 你也可以使用$\forall_{i\neq j}$，但它会将您的约束计数增加到没有收益。