回溯法---->8-皇后问题

八皇后问题

问题描述

将n个皇后放置在一个n×n的棋盘上，要求使得每两个之间都不能互相“攻击”，也就是使得每两个都不能在同一行、同一列及同一条斜角线上。

分析

• 8皇后问题的解可以表示为8-元组(x₁,…,x₈) ，其中其中x_i是第i行皇后所在的列号。
• 显式约束条件是s_i={1,2,3,4,5,6,7,8}, 1≤i≤8
• 隐式约束条件是，没有两个x_i可以相同且没有两个皇后可以在同一条斜角线上。
• 解空间的大小8!个

测试两个皇后在一条斜角线的方法

假设有两个皇后被放置在(i, j)和(k,l)位置上，那么根据以上所述，仅当i – j = k - l 或 i + j = k + l时，它们才在同一条斜角线上。将这两个等式分别变换成j – l= i - k　和 j – l = k - i　 因此，当且仅当| j – l | = | i – k |时。两个皇后在同一条斜角线上。

检测放置新皇后的算法

过程PLACE(k)测试两种情况，即X(k)是否不同于前面X(1),…,X(k-1)的值以及在同一个斜角线上是否根本就没有别的皇后。

procedure PLACE(k) //如果一个皇后可以放在第k行和X(k)列，则返回true；否则返回false//     global X(1:k); integer i ,k     i ← 1 　 while i<k do        if X(i)=X(k)//在同一列有两个皇后            or ABS(X(i)-X(k))=ABS(i-k)//在同一条斜角线上              then return (false)              i ← i + 1       repeat       return (true) End PLACE

8-皇后问题求解算法

过程NQUEENS求n-皇后问题的所有解

procedure NQUEENS(n)    integer k, n, X(1:n)    X(1) ← 0; k ← 1 　　//K是当前行；X(k)是当前列     while k>0 do　　　　　 //对所有的行执行一下语句          X(k) ←X(k)+1           //移到下一列          while X(k) ≤ n and not PLACE(k) do //此处能放这个皇后吗         X(k) ←X(k)+1      repeat      if X(k) ≤ n 　　 //找到一个位置      then if k=n　　　 //是一个完整的解吗           then print (X) //是，打印这个数组           else k ← k+1 , X(k) ← 0　 //转到下一行            endif       else k ← k-1 //回溯      endif    repeat End NQUEENS