解数独,理解二维递归是关键!
通知:我将公众号文章和学习相关的资料整理到了Github :https://github.com/youngyangyang04/leetcode-master,方便大家在电脑上学习,可以fork到自己仓库,顺便也给个star支持一波吧!
37. 解数独
题目地址:https://leetcode-cn.com/problems/sudoku-solver/
编写一个程序,通过填充空格来解决数独问题。
一个数独的解法需遵循如下规则:
数字 1-9 在每一行只能出现一次。
数字 1-9 在每一列只能出现一次。
数字 1-9 在每一个以粗实线分隔的 3x3 宫内只能出现一次。
空白格用 '.' 表示。
![d201f34cc4212e292832d26ea9dfdce0.png](https://img-blog.csdnimg.cn/img_convert/d201f34cc4212e292832d26ea9dfdce0.png)
一个数独。
![1f91b63670298fd6465e60da7e36304b.png](https://img-blog.csdnimg.cn/img_convert/1f91b63670298fd6465e60da7e36304b.png)
答案被标成红色。
提示:
- 给定的数独序列只包含数字 1-9 和字符 '.' 。
- 你可以假设给定的数独只有唯一解。
- 给定数独永远是 9x9 形式的。
思路
棋盘搜索问题可以使用回溯法暴力搜索,只不过这次我们要做的是「二维递归」。
怎么做二维递归呢?
大家已经跟着「代码随想录」刷过了如下回溯法题目,例如:77.组合(组合问题),131.分割回文串(分割问题),78.子集(子集问题),46.全排列(排列问题),以及51.N皇后(N皇后问题),其实这些题目都是一维递归。
经典面试题目「回溯算法」N皇后问题 是因为每一行每一列只放一个皇后,只需要一层for循环遍历一行,递归来来遍历列,然后一行一列确定皇后的唯一位置。
本题就不一样了,「本题中棋盘的每一个位置都要放一个数字,并检查数字是否合法,解数独的树形结构要比N皇后更宽更深」。
因为这个树形结构太大了,我抽取一部分,如图所示:
![20093beb05e58c6247a2f60b4b4cf9dd.png](https://img-blog.csdnimg.cn/img_convert/20093beb05e58c6247a2f60b4b4cf9dd.png)
回溯三部曲
- 递归函数以及参数
「递归函数的返回值需要是bool类型,为什么呢?」
因为解数独找到一个符合的条件(就在树的叶子节点上)立刻就返回,相当于找从根节点到叶子节点一条唯一路径,所以需要使用bool返回值,这一点在回溯算法:N皇后问题中已经介绍过了,一样的道理。
代码如下:
bool backtracking(vector>& board)
- 递归终止条件
本题递归不用终止条件,解数独是要遍历整个树形结构寻找可能的叶子节点就立刻返回。
「不用终止条件会不会死循环?」
递归的下一层的棋盘一定比上一层的棋盘多一个数,等数填满了棋盘自然就终止(填满当然好了,说明找到结果了),所以不需要终止条件!
「那么有没有永远填不满的情况呢?」
这个问题我在递归单层搜索逻辑里在来讲!
- 递归单层搜索逻辑
![20093beb05e58c6247a2f60b4b4cf9dd.png](https://img-blog.csdnimg.cn/img_convert/20093beb05e58c6247a2f60b4b4cf9dd.png)
在树形图中可以看出我们需要的是一个二维递归(也就是两个for循环嵌套着递归)
「一个for循环遍历棋盘的行,一个for循环遍历棋盘的列,一行一列确定下来之后,递归遍历这个位置放9个数字的可能性!」
代码如下:(「详细看注释」)
bool backtracking(vector>& board) { for (int i = 0; i
「注意这里return false的地方,这里放return false 是有讲究的」。
因为如果一行一列确定下来了,这里尝试了9个数都不行,说明这个棋盘找不到解决数独问题的解!
那么会直接返回, 「这也就是为什么没有终止条件也不会永远填不满棋盘而无限递归下去!」
判断棋盘是否合法
判断棋盘是否合法有如下三个维度:
- 同行是否重复
- 同列是否重复
- 9宫格里是否重复
代码如下:
bool isValid(int row, int col, char val, vector>& board) { for (int i = 0; i
最后整体代码如下:
C++代码
class Solution {private:bool backtracking(vector>& board) { for (int i = 0; i >& board) { for (int i = 0; i >& board) { backtracking(board); }};
总结
解数独可以说是非常难的题目了,如果还一直停留在单层递归的逻辑中,这道题目可以让大家瞬间崩溃。
所以我在开篇就提到了「二维递归」,这也是我自创词汇,希望可以帮助大家理解解数独的搜索过程。
一波分析之后,在看代码会发现其实也不难,唯一难点就是理解「二维递归」的思维逻辑。
「这样,解数独这么难的问题,也被我们攻克了」。
「恭喜一路上坚持打卡的录友们,回溯算法已经接近尾声了,接下来就是要一波总结了」。
更多精彩点击下方了解更多!