LeetCode回溯专题-37. 解数独

37. 解数独 

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

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

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

方法一:暴力搜索，三个used数组储存每行每列每个九宫格的数字使用状态，然后再根据used数组来回溯

class Solution {
    public void solveSudoku(char[][] board) {
        //三个数组，记录某片区域里某数字是否使用过
        boolean[][] row = new boolean[9][9];
        boolean[][] col = new boolean[9][9];
        boolean[][][] box = new boolean[3][3][9];
        //used数组初始化
        for (int i = 0; i < 9; i++) {
            for (int j = 0; j < 9; j++) {
                if (board[i][j] == '.') continue;
                int num = board[i][j] - '1';
                row[i][num] = col[j][num] = box[i/3][j/3][num] = true;
            }
        }
        dfs(board, row, col, box, 0);
    }
    //要用布尔函数，根据返回值确定下一步，不能盲目回溯
    //index为本轮要确定的数字坐标，坐标为0-80
    boolean dfs(char[][] board,boolean[][] row,boolean[][] col,
    boolean[][][]box,int index ){
        //81个数都已完全确定，成功完成数独！
        if(index==81){
            return true;
        }
        int i=index/9,j=index%9;
        //不是空格直接检索下一个位置
        if(board[i][j]!='.'){
            return dfs(board, row, col, box, index+1);
        }
        //遍历数字
        for(int num=0;num<9;num++){
            //该数字已用过,试下一个
            if(row[i][num]||col[j][num]||box[i/3][j/3][num])continue;
            char c=(char)('1'+num);
            board[i][j]=c;
            //选定该数字，更新Used数组
            row[i][num]=col[j][num]=box[i/3][j/3][num]=true;
            //在选定该数字的基础上检索后一个位置,如果后一个位置对的这个位置也对
            //如果后一个位置有问题，则当前位置有问题，回溯，换成下一个数字试试
            if(dfs(board, row, col, box, index+1))return true;
            row[i][num]=col[j][num]=box[i/3][j/3][num]=false;
        }
        //全部数字都不行，证明该位置之前的格子就出问题了，回溯
        board[i][j]='.';
        return false;
    }
}

方法二:回溯+暴力运算，将used数组压缩为一个9位数字digit，每一位为1则代表已经用过，节省了存储空间， 简化运算

class Solution {
    private int[] line = new int[9];
    private int[] column = new int[9];
    private int[][] block = new int[3][3];
    private boolean valid = false;
    private List<int[]> spaces = new ArrayList<int[]>();

    public void solveSudoku(char[][] board) {
        for (int i = 0; i < 9; ++i) {
            for (int j = 0; j < 9; ++j) {
                if (board[i][j] == '.') {
                    spaces.add(new int[]{i, j});
                } else {
                    int digit = board[i][j] - '0' - 1;
                    flip(i, j, digit);
                }
            }
        }

        dfs(board, 0);
    }

    public void dfs(char[][] board, int pos) {
        if (pos == spaces.size()) {
            valid = true;
            return;
        }

        int[] space = spaces.get(pos);
        int i = space[0], j = space[1];
        int mask = ~(line[i] | column[j] | block[i / 3][j / 3]) & 0x1ff;
        for (; mask != 0 && !valid; mask &= (mask - 1)) {
            int digitMask = mask & (-mask);
            int digit = Integer.bitCount(digitMask - 1);
            flip(i, j, digit);
            board[i][j] = (char) (digit + '0' + 1);
            dfs(board, pos + 1);
            flip(i, j, digit);
        }
    }

    public void flip(int i, int j, int digit) {
        line[i] ^= (1 << digit);
        column[j] ^= (1 << digit);
        block[i / 3][j / 3] ^= (1 << digit);
    }
}