深搜DFS经典题——八皇后问题分析题解

问题

n− 皇后问题是指将 n 个皇后放在 n×n 的国际象棋棋盘上，使得皇后不能相互攻击到，即任意两个皇后都不能处于同一行、同一列或同一斜线上。

现在给定整数 n，请你输出所有的满足条件的棋子摆法。

输入格式
共一行，包含整数 n。

输出格式
每个解决方案占 n 行，每行输出一个长度为 n 的字符串，用来表示完整的棋盘状态。

其中 . 表示某一个位置的方格状态为空，Q 表示某一个位置的方格上摆着皇后。

每个方案输出完成后，输出一个空行。

注意：行末不能有多余空格。

输出方案的顺序任意，只要不重复且没有遗漏即可。

数据范围
1≤n≤9
输入样例：
4
输出样例：
.Q…
…Q
Q…
…Q.

…Q.
Q…
…Q
.Q…

分析：

n 皇后问题即是深搜(DFS)问题，与之前的排列数字相同，是在一定的约束条件下进行的，只是 n皇后要求的约束条件复杂一些：即任意两个皇后都不能处于同一行、同一列或同一斜线上。关键点在于如何记录和判断约束条件，排列数字中使用 used[]used[] 数组来记录每个数字的使用情况。那么如何判断两个皇后是否在同一行、同一列、同一斜线上呢？这是解题的关键，我们依然使用数组。具体为 ：row[],col[],dg[],udg[]。

if (!row[x] && !col[y] && !dia[x - y + n] && !udg[x + y])
此代码为是否放皇后的判断语句。row[x]和col[y]的意思很明显，如果为空，即代表之前没有皇后下在了相同的x或y的行列上，本次就可以下皇后。不好理解的点是dg[x - y + n]以及ydg[x + y]。请看下面的分析：

对于判断是否在同一主斜线（棋盘内与主对角线平行的斜线），我们使用 dg[] 数组，可以任取一个棋盘位(x,y)，并观察主斜线上该点与其他点位之前的规律：

可以发现：主斜线上采样的多个点的x、y值的差，即说明多个点可通过减法映射到数组中的同一位置，判断斜线上是否出现过一次皇后，即查看 dg[x - y] 是否为空即可。但这样做减法时可能会得到一个负数，是没法直接映射到数组中的，因此主斜线上做判断时统一加上一个常量保证非负，即dg[x - y + n]。

同理，对于判断是否在同一副斜线（棋盘内与副对角线平行的斜线），我们使用 udg[] 数组，可以任取一个棋盘位(x,y)，并观察副斜线上该点与其他点位之前的规律：

可以发现：主斜线上采样的多个点的x、y值的和，即说明多个点可通过加法映射到数组中的同一位置，判断斜线上是否出现过一次皇后，即判断 udg[x + y] 是否为空即可。

c++代码

#include<iostream>
using namespace std;
const int N = 20;
int n;
char q[N][N];
bool row[N], col[N], dg[N], udg[N];//记录行、列、主对角线、副对角线是否被用过

void dfs(int x, int y, int s)//分别代表行列位置和皇后个数
{
    if(y == n)//若走到每行最后就往下重新走
    {
        x ++;
        y = 0;
    }
    if(x == n)
    {
        //走到最后一层
        if(s == n)//且所有皇后都搜到了
        {
            for(int i = 0; i < n; i ++)
            puts(q[i]);
            cout << endl;
        }
        return;
    }

    //没放皇后
    dfs(x, y + 1, s);
    //放皇后
    if(!row[x] && !col[y] && !dg[x - y + n] && !udg[x + y])
    {
        q[x][y] = 'Q';//放皇后
        row[x] = col[y] = dg[x - y + n] = udg[x + y] = true;//记录该位置被占用
        dfs(x, y + 1, s + 1);//递归处理
        row[x] = col[y] = dg[x - y + n] = udg[x + y] = false;//回溯
        q[x][y] = '.';//恢复现场
    }
}

int main()
{
    cin >> n;
    for(int i = 0; i < n; i ++)
        for(int j = 0; j < n; j ++)
            q[i][j] = '.';//初始化全放'.'
    dfs(0, 0, 0);//从最左上角开始搜
    return 0;
}