判断一个 9x9 的数独是否有效的解题方法整理

判断一个 9x9 的数独是否有效的解题方法整理

问题描述：(LeetCode 36)
判断一个 9x9 的数独是否有效。

1. 数字 1-9 在每一行只能出现一次。
2. 数字 1-9 在每一列只能出现一次。
3. 数字 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"]]
输出：true

一个简单的解决方案是遍历该 9 x 9 数独 三 次，以确保：

• 行中没有重复的数字。
• 列中没有重复的数字。
• 3 x 3 子数独内没有重复的数字。

实际上，所有这一切都可以在一次迭代中完成。

方法1：

• 使用 box_index = (row / 3) * 3 + columns / 3，其中 / 是整数除法，来枚举子数独。
• 利用 value -> count 哈希映射来跟踪所有已经遇到的值，确保行 / 列 / 子数独中没有重复项。

public boolean isValidSudoku(char[][] board) {
      HashMap<Integer, Integer> [] rows = new HashMap[9];
      HashMap<Integer, Integer> [] colomns = new HashMap[9];
      HashMap<Integer, Integer> [] boxes = new HashMap[9];
      for(int i=0;i<9;i++){
          rows[i] = new HashMap();
          colomns[i] = new HashMap();
          boxes[i] = new HashMap();
      }
      // 遍历数独
      for(int i=0;i<9;i++){
          for(int j=0;j<9;j++){
              if(board[i][j]!='.'){
                  int num = (int)board[i][j];
                  int boxesindex = (i/3)*3 + j/3;
                  // 统计每行、每列、每个子数独中出现数字的次数
                  rows[i].put(num, rows[i].getOrDefault(num,0)+1);
                  colomns[j].put(num, colomns[j].getOrDefault(num,0)+1);
                  boxes[boxesindex].put(num, boxes[boxesindex].getOrDefault(num,0)+1);
                  // 判断每行、每列，每个数独中的数字有无重复出现，如果个数大于1，则重复出现，返回false
                  if(rows[i].get(num)>1||colomns[j].get(num)>1||boxes[boxesindex].get(num)>1){
                      return false;
                  }
              }
          }
      }
      return true;
    }

方法2：

利用二维数组对每行每列已出现的数字做标记，判断是否重复出现。比如line[0][3]表示的是第0行（实际上是第1行，因为数组的下标是从0开始的）是否有数字3，如果存在其值为1，不存在为0.

    public boolean isValidSudoku(char board[][]) {
        int length = board.length;
        //二维数组line表示的是对应的行中是否有对应的数字，比如line[0][3]
        //表示的是第0行（实际上是第1行，因为数组的下标是从0开始的）是否有数字3
        int line[][] = new int[length][length];
        int column[][] = new int[length][length];
        int cell[][] = new int[length][length];
        for (int i = 0; i < length; ++i)
            for (int j = 0; j < length; ++j) {
                //如果还没有填数字，直接跳过
                if (board[i][j] == '.')
                    continue;
                //num是当前格子的数字
                int num = board[i][j] - '0' - 1;
                //k是第几个单元格，9宫格数独横着和竖着都是3个单元格
                int k = i / 3 * 3 + j / 3;
                //如果当前数字对应的行和列以及单元格，只要一个由数字，说明冲突了，直接返回false。
                //举个例子，如果line[i][num]不等于0，说明第i（i从0开始）行有num这个数字。
                if (line[i][num] != 0 || column[j][num] != 0 || cell[k][num] != 0)
                    return false;
                //表示第i行有num这个数字，第j列有num这个数字，对应的单元格内也有num这个数字
                line[i][num] = column[j][num] = cell[k][num] = 1;
            }
        return true;
    }

方法3：

利用一维整形数组来对数组中出现的数字做标记。

因为java中一个整形数有32位，而本题目中只有9个数，我们就可以使用一个整形数的后9个位来记录已经出现的数字，这样就可以利用一位整形数记录9个数字。

具体来说，000001000，相当于1左移3位，我们就可以知道3已经出现过，当我们知道5出现时，统计的数字就变为
000001000 | 000100000=000101000。000101000便已经将出现过的数字3和5记录了下来。当出现不同的数字时，假设出现6，000101000&001000000==0，我们就可知6未出现过，而当出现已经出现过的数字时x，我们便可以通过000101000&x > 0来判断。

实现代码如下：

 public boolean isValidSudoku(char[][] board) {
        int[] line = new int[9];
        int[] column = new int[9];
        int[] cell = new int[9];
        int shift = 0;
        for (int i = 0; i < 9; i++) {
            for (int j = 0; j < 9; j++) {
                //如果还没有填数字，直接跳过
                if (board[i][j] == '.')
                    continue;
                shift = 1 << (board[i][j] - '0');
                int k = (i / 3) * 3 + j / 3;
                //如果对应的位置只要有一个大于0，说明有冲突，直接返回false
                if ((column[i] & shift) > 0 || (line[j] & shift) > 0 || (cell[k] & shift) > 0)
                    return false;
                column[i] |= shift;
                line[j] |= shift;
                cell[k] |= shift;
            }
        }
        return true;
    }

参考链接