37.解数独（python3）（含注释）

题目：

编写一个程序，通过填充空格来解决数独问题。

数独的解法需 遵循如下规则：

1. 数字 1-9 在每一行只能出现一次。
2. 数字 1-9 在每一列只能出现一次。
3. 数字 1-9 在每一个以粗实线分隔的 3x3 宫内只能出现一次。（请参考示例图）

数独部分空格内已填入了数字，空白格用 '.' 表示。

示例 1：

输入：board = [["5","3",".",".","7",".",".",".","."],["6",".",".","1","9","5",".",".","."],[".","9","8",".",".",".",".","6","."],["8",".",".",".","6",".",".",".","3"],["4",".",".","8",".","3",".",".","1"],["7",".",".",".","2",".",".",".","6"],[".","6",".",".",".",".","2","8","."],[".",".",".","4","1","9",".",".","5"],[".",".",".",".","8",".",".","7","9"]]
输出：[["5","3","4","6","7","8","9","1","2"],["6","7","2","1","9","5","3","4","8"],["1","9","8","3","4","2","5","6","7"],["8","5","9","7","6","1","4","2","3"],["4","2","6","8","5","3","7","9","1"],["7","1","3","9","2","4","8","5","6"],["9","6","1","5","3","7","2","8","4"],["2","8","7","4","1","9","6","3","5"],["3","4","5","2","8","6","1","7","9"]]
解释：输入的数独如上图所示，唯一有效的解决方案如下所示：

提示：

• board.length == 9
• board[i].length == 9
• board[i][j] 是一位数字或者 '.'
• 题目数据 保证 输入数独仅有一个解

代码： 

board = [["5","3",".",".","7",".",".",".","."],
         ["6",".",".","1","9","5",".",".","."],
         [".","9","8",".",".",".",".","6","."],
         ["8",".",".",".","6",".",".",".","3"],
         ["4",".",".","8",".","3",".",".","1"],
         ["7",".",".",".","2",".",".",".","6"],
         [".","6",".",".",".",".","2","8","."],
         [".",".",".","4","1","9",".",".","5"],
         [".",".",".",".","8",".",".","7","9"]]
nums = {"1", "2", "3", "4", "5", "6", "7", "8", "9"}
row = [set() for _ in range(9)] #行
col = [set() for _ in range(9)] #col是column（列）的缩写
palace = [[set() for _ in range(3)] for _ in range(3)]  # 3*3 宫
#[[set(), set(), set()], [set(), set(), set()], [set(), set(), set()]]
blank = [] #储存没有数据的格子的下标
# 初始化，按照行、列、宫 分别存入哈希表
for i in range(9):
    for j in range(9):
        ch = board[i][j]
        if ch == ".":
            blank.append((i, j))
        else:
            row[i].add(ch)
            col[j].add(ch)
            palace[i // 3][j // 3].add(ch)
def dfs(n):
    if n == len(blank):
        return True
    i, j = blank[n]
    rst = nums - row[i] - col[j] - palace[i // 3][j // 3]  # 剩余的数字rst
    ### rst = nums - (row[i] | col[j] | palace[i//3][j//3])
    if not rst:
        return False
    for num in rst:
        board[i][j] = num
        row[i].add(num)
        col[j].add(num)
        palace[i // 3][j // 3].add(num)
        if dfs(n + 1):
            return True
        row[i].remove(num)
        col[j].remove(num)
        palace[i // 3][j // 3].remove(num)
print(dfs(0))

运行结果：