N皇后问题与解数独问题

⭐前言:

n皇后是由八皇后问题演变而来的。该问题是国际西洋棋棋手马克斯·贝瑟尔于1848年提出：在8×8格的国际象棋上摆放八个皇后，使其不能互相攻击，即任意两个皇后都不能处于同一行、同一列或同一斜线上，问有多少种摆法。 高斯认为有76种方案。1854年在柏林的象棋杂志上不同的作者发表了40种不同的解，后来有人用图论的方法解出92种结果。

❓问题描述:

在n×n格的国际象棋上摆放n个皇后,使其不能互相攻击,即任意两个皇后都不能处于同一行、同一列或同一斜线上,问有多少种摆法。
n 皇后问题 研究的是如何将 n 个皇后放置在 n×n 的棋盘上，并且使皇后彼此之间不能相互攻击。
题目链接: 点我 =》N皇后
给你一个整数 n ，返回所有不同的 n 皇后问题 的解决方案。
每一种解法包含一个不同的 n 皇后问题 的棋子放置方案，该方案中 ‘Q’ 和 ‘.’ 分别代表了皇后和空位。

示例 1：

输入：n = 4
输出：[[“.Q…”,“…Q”,“Q…”,“…Q.”],[“…Q.”,“Q…”,“…Q”,“.Q…”]]
解释：如上图所示，4 皇后问题存在两个不同的解法。
示例 2：
输入：n = 1
输出：[[“Q”]]

提示：1 <= n <= 9

💡问题分析

1.确定终止条件

从图中，可以看出，二维矩阵中矩阵的高就是这棵树的高度，矩阵的宽就是树形结构中每一个节点的宽度。

再来看一下皇后们的约束条件
1.不能同行
2.不能同列
3.不能处在同一斜线上
那么我们就可以根据皇后们的约束条件来回溯这棵树。
当条件不满足的时候，我们就不继续向下搜索了，因此只要当搜索到叶子节点的时候说明就找到了皇后们各自合理的位置了。
终止条件：当递归的深度row等于n(矩阵的行数即皇后的总个数n)时，我们就可以停止递归了

		if(row == n)
		{
			res.push_back(chess_board);
			return;
		}

2.for循环遍历

由上图可知矩阵的宽就是树形结构中每一个节点的宽度。因此当我们在每一层递归的时候，应该选用单层for循环遍历当前行，从而找到皇后合理的位置。

IsVaild(chess_board, row, i, n))是用来处理前文提到的皇后的三个约束条件。若条件满足应将该位置置为Q状态，原因是不设为Q会影响该树枝下层的IsVaild的判断。然后进行下一层递归调用，当递归返回来之后，我们再将该位置的状态置为 ‘ . ’
单层搜索逻辑如下：

        for(int i = 0; i < n; i++)
        {
            if(IsVaild(chess_board, row, i, n))
            {
                chess_board[row][i] = 'Q';
                backtrack(chess_board, n, row + 1);
                chess_board[row][i] = '.';
            }
        }

按照“约束”编写IsVaild函数
1.不能同行
同一行不用进行处理，因为IsVaild是被在单层for循环调用的，也就是遍历某一行的时候。因此调用它的时候，该行中该位置后面的数据并没有访问，全是‘ . ’ 并且前面的数据是树结构中同一层的元素，回溯的时候已经置为 ‘ . ’ 因此不用判断。
2.不能同列
3.不能处在同一斜线上

 bool IsVaild(const vector<string>& chess_board, int i, int j, int n)
    {
        //列
        for(int row = 0; row < i; row++)
        {
            if(chess_board[row][j] == 'Q')
                return false;
        }
        //135度
        for(int row = i - 1, col = j - 1; row >= 0 && col >= 0; row--,col--)
        {
            if(chess_board[row][col] == 'Q')
                return false;
        }
        //45度
        for(int row = i - 1, col = j + 1; row >= 0 &&  col < n; row--, col++)
        {
            if(chess_board[row][col] == 'Q')
                return false;
        }
        return true;
    }

✍整体代码

class Solution {
public:
    vector<vector<string>> res;
    bool IsVaild(const vector<string>& chess_board, int i, int j, int n)
    {
        //列
        for(int row = 0; row < i; row++)
        {
            if(chess_board[row][j] == 'Q')
                return false;
        }
        //135
        for(int row = i - 1, col = j - 1; row >= 0 && col >= 0; row--,col--)
        {
            if(chess_board[row][col] == 'Q')
                return false;
        }
        //45
        for(int row = i - 1, col = j + 1; row >= 0 &&  col < n; row--, col++)
        {
            if(chess_board[row][col] == 'Q')
                return false;
        }
        return true;
    }
    void backtrack(vector<string>& chess_board, int n, int row)
    {
        if(row == n)
        {
            res.push_back(chess_board);
            return;
        }
        for(int i = 0; i < n; i++)
        {
            if(IsVaild(chess_board, row, i, n))
            {
                chess_board[row][i] = 'Q';
                backtrack(chess_board, n, row + 1);
                chess_board[row][i] = '.';
            }
        }
    }
    vector<vector<string>> solveNQueens(int n) {
        res.clear();
        vector<string> chess_board;
        chess_board.resize(n, string(n, '.'));
        backtrack(chess_board, n, 0);
        return res;
    }
};