代码随想录回溯算法——解数独

题目

编写一个程序，通过填充空格来解决数独问题。
一个数独的解法需遵循如下规则： 数字 1-9 在每一行只能出现一次。 数字 1-9 在每一列只能出现一次。 数字 1-9 在每一个以粗实线分隔的 3x3 宫内只能出现一次。 空白格用 ‘.’ 表示。

一个数独

答案被标成红色。
提示：
给定的数独序列只包含数字 1-9 和字符 ‘.’ 。
你可以假设给定的数独只有唯一解。
给定数独永远是 9x9 形式的。

思路

之前的回溯，如组合问题、分割问题、子集问题、排列问题、N皇后问题等，都是一维递归。

相比较N皇后，N皇后是每行每列只能放一个皇后，只需要一层for循环遍历行，递归来遍历列，即可确定皇后位置，而本题是每一个位置都要放数字并且检查是否合法，树形结构更宽更深。

回溯三部曲：

1. 递归函数参数：返回值是bool类型，因为解数独找到一个符合题意的叶子结点就立刻返回，相当于从根节点到叶子结点一条唯一路径，所以需要使用bool值
2. 递归终止条件：不用终止条件，因为需要遍历整个树形结构寻找可能的叶子结点
3. 递归单层搜索逻辑：解数独需要的是二维递归（即两个for循环嵌套着递归），一个for循环遍历棋盘的行，一个for循环遍历棋盘的列，行列确定之后，递归遍历这个位置放9个数字的可能性
4. 判断棋盘是否合法：

（1）同行是否重复
（2）同列是否重复
（3）9宫格里是否重复

java代码如下：

class Solution {
	public void solveSudoku(char[][] board){
		backTrack(board);
	}
	
	public boolean backTrack(char[][] board){
		//一个for循环遍历棋盘的行，一个for循环遍历棋盘的列，
		// 一行一列确定下来之后，递归遍历这个位置放9个数字的可能性
		for(int i = 0; i < 9; i++){//遍历行
			for(int j = 0; j < 9; j++ ){//遍历列
				if(board[i][j] != '.'){//跳过原始数字，已经有的直接跳过
					continue;
				}
				for(char k = '1'; k <= '9'; k++){//(i,j)这个位置放k是否合适
					if(isValid(i, j, k, board)){//如果位置合法
						board[i][j] = k;
						if(backTrack(board)){//如果找到合适的一组就立刻返回
							return true;
						}
						board[i][j] = '.';//回溯操作
					}
				}
				return false;// 如果9个数都试完了，都不行，那么就返回false
			}
		}
		return true;// 遍历完没有返回false，说明找到了合适棋盘位置了
	}
	
	public boolean isValid(int row, int col, char val, char[][] board){
		//同行是否重复
		for(int i = 0; i < 9; i++){
			if(board[row][i] == val){
				return false;
			}
		}
		//同列是否重复
		for(int j = 0; j < 9; j++){
			if(board[j][col] == val){
				return false;
			}
		}
		// 9宫格里是否重复
		int startRow = (row / 3) * 3;//自己画个图就能明白了，保证0,1,2行始终在第一个9宫格中，3,4,5行始终在一个9宫格中
		int startCol = (col / 3) * 3;
		for(int i = startRow; i < startRow + 3; i++){// 判断9方格里是否重复
			for(int j = startCol; j < startCol + 3; j++){
				if(board[i][j] == val){
					return false;
				}
			}
		}
		return  true;//循环遍历之后，如果没有重复（false），说明满足题意
	} 
}