37. 解数独

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

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

1. 数字 1-9 在每一行只能出现一次。
2. 数字 1-9 在每一列只能出现一次。
3. 数字 1-9 在每一个以粗实线分隔的 3x3 宫内只能出现一次。

空白格用 '.' 表示。

一个数独。

答案被标成红色。

Note:

• 给定的数独序列只包含数字 1-9 和字符 '.' 。
• 你可以假设给定的数独只有唯一解。
• 给定数独永远是 9x9 形式的。

 

思路：这题目用dfs来做，81个小格一共构成了81层，每一层有9个分支，分别取1-9之间的数。具体细节如下：

1、因为要判断每一层的数是否满足要求，和36题一样，先设置三个用于标记的哈西表，把原始棋盘对应的哈希表填好。

2、dfs进行深搜

（1）如果遇到数字的话，那么直接进入下一层。

（2）如果遇到的是'.'，这个时候就要对这一层的九个分支进行遍历。

• 如果某一个分支能满足哈希表要求，那么深入到下一层。
• 如果某一个分支不能满足哈希表要求，那么for循环到下一个分支。
• 如果中途走到某一层发现九个分支都无法满足要求，这个时候就要回溯到上一层，更改上一层的数字。

直到最终棋盘能走完81小格，就得到所要的结果。

class Solution {
public:     
    bool dfs(vector<vector<char>>& board, int lev, vector<vector<int>>& b1, vector<vector<int>>& b2, vector<vector<int>>& b3){
        if(lev==81) return true;      
        int i=lev/9, j=lev%9, k=3*(i/3) + j/3;
        if(board[i][j]!='.'){
            return dfs(board, lev+1, b1, b2, b3);
        }
        else {           
            for(int p=1; p<=9; ++p){
                if(!b1[i][p] && !b2[j][p] && !b3[k][p]){
                    board[i][j]=p+'0';
                    b1[i][p]=b2[j][p]=b3[k][p]=1;
                    if(dfs(board, lev+1, b1, b2, b3)) return true;
                    board[i][j]='.';
                    b1[i][p]=b2[j][p]=b3[k][p]=0;
                }
            }
            return false;
        }
    }
    
    void solveSudoku(vector<vector<char>>& board) {
        vector<vector<int> > b1(10, vector<int>(10, 0)), b2=b1, b3=b1;
        for(int i=0; i<9; ++i){
            for(int j=0; j<9; ++j){
                if(board[i][j]!='.'){
                    int a=board[i][j]-'0', k=3*(i/3) + j/3;
                    b1[i][a]=b2[j][a]=b3[k][a]=1;                    
                }
            }
        }
        dfs(board, 0, b1, b2, b3);
    }
};

用双重for循环，实现这81层：

class Solution {
public:     
    bool dfs(vector<vector<char>>& board, vector<vector<int>>& b1, vector<vector<int>>& b2, vector<vector<int>>& b3){
        for(int i=0; i<9; ++i){
            for(int j=0; j<9; ++j){
                if(board[i][j]=='.'){
                    for(int p=1; p<=9; ++p){
                        int k=3*(i/3) + j/3;
                        if(!b1[i][p] && !b2[j][p] && !b3[k][p]){
                            board[i][j]=p+'0';
                            b1[i][p]=b2[j][p]=b3[k][p]=1;
                            if(dfs(board, b1, b2, b3)) return true;
                            board[i][j]='.';
                            b1[i][p]=b2[j][p]=b3[k][p]=0;
                        }
                    }
                    return false;                    
                }    
            }
        }
        return true;
    }
    
    void solveSudoku(vector<vector<char>>& board) {
        vector<vector<int> > b1(10, vector<int>(10, 0)), b2=b1, b3=b1;
        for(int i=0; i<9; ++i){
            for(int j=0; j<9; ++j){
                if(board[i][j]!='.'){
                    int a=board[i][j]-'0', k=3*(i/3) + j/3;
                    b1[i][a]=b2[j][a]=b3[k][a]=1;                    
                }
            }
        }
        dfs(board, b1, b2, b3);
    }
};