n-皇后问题（DFS回溯）

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

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

输入格式

共一行，包含整数 n。

输出格式

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

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

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

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

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

数据范围

1≤n≤9

输入样例：

4

输出样例：

.Q..
...Q
Q...
..Q.

..Q.
Q...
...Q
.Q..

国际象棋中的皇后可以直接攻击到她所在的行，列，斜方向上的棋子

思路：这道题也是使用DFS来求解的，关于DFS与递归的问题可以先看我的上一篇文章，有图解：排列数字（DFS深度优先搜索）-CSDN博客

一开始想的办法就是遍历枚举每一种情况，第一行第一列放皇后，之后如何，第二行第二列放皇后，之后如何，但是这样太繁琐了。

不妨每次只看一行的情况，遍历这一行上的每一列，如果当前位置可以放则放下皇后，然后进入下一行，再次枚举放皇后，直到每一行都放好了皇后，这时候便得到了一种可行的摆法，最开始是第一行第一列放皇后，得到解之后或者位置矛盾就回溯（return和if循环），第一行第二列放皇后，以此类推。

回溯则是从终止的那一列开始的（已经输出或者位置矛盾不能放），因为每一列都有一个for循环，所以当前列终止之后会自动执行上一列的for循环（如果还能循环的话），也就是我们所谓的回到上一列继续枚举，如果全部执行完毕就得到了全部结果。

这是DFS的代码：

void dfs(int u) //u表示行，输出每一行皇后的位置
{
    if( u == n ) //到最后一个位置的下一位(所有位置都填满了)
    {
        for(int i=0;i

输出的时候是按行输出

if( u == n ) //到最后一个位置的下一位(所有位置都填满了)
    {
        for(int i=0;i

 对于二维数组 g，可以通过 g[i] 访问到第 i 行的字符串，因为二维数组在内存中是按行存储的连续空间。

在 C++ 中，二维数组可以看作是一维数组的数组。对于 g 这样的二维数组，g[i] 表示的是第 i 个一维数组的起始地址，即第 i 行的地址。由于数组名就是该数组的首地址，因此可以直接使用 g[i] 来表示第 i 行。

其中

if(!col[i] && !dg[n+u-i] && !udg[u+i])

这个判断条件是检查在当前点g[u][i]上的竖列，正对角线和反对角线上是否有皇后（因为我们是一行一行的输入，然后按列枚举皇后在当前行的摆法，所以不用判断行上有没有其他皇后）。

dg和udg的下标可能较难理解，如果图中的点位置用(x,y)表示x行y列，那么这里的u对应行，i对应列，也就是(u,i)表示当前点的位置，这里画图可知道同一条反对角线上，u+i是一样的，而同一条正对角线上，u-i是一样的，但是因为这里用下标表示第几条正对角线，下标不能为负，所以我们加上一个n使下标为正数（加上之后不影响下标表达，比如原来正对角线的下标有-3，-1，2，7，我们加上一个n=4之后就变为1,3,6,11，实际上每个下标还是分开的能映射到对应的正对角线）

示例代码：

#include
using namespace std;
const int N=20; //对角线是格子的两倍长
char g[N][N]; //记录棋盘状态信息
bool col[N],dg[N*2],udg[N*2]; //col列，dg记录正对角线的占用情况，udg记录负对角线的占用
int n;

void dfs(int u) //u表示行，输出每一行皇后的位置
{
    if( u == n ) //到最后一个位置的下一位(所有位置都填满了)
    {
        for(int i=0;i>n;
    for(int i=0;i

关于代码运行的流程：n=4的情况

注意：不仅是return有回溯到上一列的效果，当进入递归中，上一列的for循环也是可以让当前列回溯到上一列。