37 解数独

题目

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

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

数字 1-9 在每一行只能出现一次。
数字 1-9 在每一列只能出现一次。
数字 1-9 在每一个以粗实线分隔的 3x3 宫内只能出现一次。（请参考示例图）
数独部分空格内已填入了数字，空白格用 ‘.’ 表示。

示例：

输入：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”]]

class Solution {
public:
    bool solveSudoku(vector<vector<char>>& board) {
    	//遍历矩阵
        for(int i=0; i<9; ++i){
            for(int j=0; j<9; ++j){
                if(board[i][j]=='.'){//如果当前位置可以填数
                    for(int k=1; k<10; ++k){//依次尝试1-9
                        board[i][j]='0'+k;
                        if(isValid(board, i, j,board[i][j]) && solveSudoku(board))//如果当前位置填这个数是有效的，递归调用该函数填下一个位置
                            return true;//如果成功，则返回true
                        board[i][j]='.';//否则恢复原样
                    }
                    return false;//1-9遍历完也没有返回true，则返回false
                }
            }
        }
        return true;//遍历整个矩阵，返回true
    }
private:
    bool isValid(vector<vector<char>>& board, int x, int y,char val){
        int i,j;
        //判断行是否有重复
        for(i=0; i<9; ++i){
            if(i!=y && board[x][i]==val)
                return false;
        }
        //判断列是否有重复
        for(j=0; j<9; ++j){
            if(j!=x && board[j][y]==val)
                return false;
        }
        //判断九宫格是否有重复
        for(i=3*(x/3); i<3*(x/3+1); ++i){
            for(j=3*(y/3); j<3*(y/3+1); ++j){
                if(!(i==x&&j==y) && val==board[i][j])
                    return false;
            }
        }
        return true;//都没有重复，返回true
    }
};

• 空间复杂度O(1)

• 思路

  • 遍历矩阵，如果是点就依次尝试往里面填1-9的每个数字，填入后先判断该填法是否有效，如果有效再递归调用填下一个数。如果递归调用返回true，表示已经填完了，直接返回true即可，否则将当前位置恢复成’.’
  • 如果当前位置的9个数都尝试完了，也没有返回true，则表示当前填法是错误的，返回false
  • 如果矩阵遍历完，则返回true
  • 如何判断有效
    • 传入当前元素的值以及下标
    • 遍历它所在行，如果下标与该元素不同，但是值相同，返回false
    • 遍历它所在列，如果下标与该元素不同，但是值相同，返回false
    • 遍历它所在的九宫格，如果下标与该元素不同，但是值相同，返回false

• 方法二

class Solution {
public:
    void solveSudoku(vector<vector<char>>& board) {
    	//遍历矩阵，填bool数组
        for (auto i = 0; i < board.size(); ++i) {
            for (auto j = 0; j < board[i].size(); ++j) {
                char c = board[i][j];
                if (c == '.') {//如果当前位置为空，将它的下标加入到mSpace中去
                    mSpace.emplace_back(i, j);
                }
                else {//否则当前位置为数，将数对应的位置标记为true
                    mRow[i][c - '1'] = true;
                    mCol[j][c - '1'] = true;
                    mSquared[i / 3 * 3 + j / 3][c - '1'] = true;
                }
            }
        }
        Dfs(board, 0);//开始填表
    }

    bool Dfs(vector<vector<char>>& board, int index) {
        if (index == mSpace.size()) {//如果所有待填的位置都已经填了，返回true
            return true;
        }
		//记录下标
        auto row = mSpace[index].first;
        auto col = mSpace[index].second;
        //尝试1-9个数字
        for (auto c = '1'; c <= '9'; ++c) {
            auto num = c - '1';
            //判断当前填法是否有效
            if (!mRow[row][num] && !mCol[col][num] && !mSquared[row / 3 * 3 + col / 3][num]) {
                board[row][col] = c;
                mRow[row][num] = true;
                mCol[col][num] = true;
                mSquared[row / 3 * 3 + col / 3][num] = true;
                //有效就递归调用该函数，填下一个位置
                if (Dfs(board, index + 1)) {
                    return true;//填成功了就返回true
                }
                //否则恢复原样
                mRow[row][num] = false;
                mCol[col][num] = false;
                mSquared[row / 3 * 3 + col / 3][num] = false;
            }
        }
        return false;//1-9遍历完也没有返回true，则返回false
    }

private:
    bool mCol[9][9];//对应每一行，如mCol[0][i]=true表示第一行的i已经被使用了
    bool mRow[9][9];//对应每一列，如mRow[0][i]=true表示第一列的i已经被使用了
    bool mSquared[9][9];//表示九宫格
    vector<pair<int, int>> mSpace;//表示所有待填的位置的下标
};

• 空间复杂度O(n)
• 思路
  • 为了避免每次在判断填法是否有效时耗费过多时间，用三个矩阵分别存储行、列以及九宫格中当前数字是否已经被用过
  • 用一个数组mSpace储存所有待填数字的下标
  • dfs传入的参数有矩阵以及当前待填位置在mSpace中的下标
    • 记录该节点的下标
    • for循环遍历1-9，每填入一个数，在三个矩阵的对应位置判断它是否有效，如果是则递归调用dfs填下一个数。调用后将当前节点恢复原样。
    • 如果1-9都已经尝试过了，但是还是没有返回，则返回false