#LeetCode# 36.有效的数独（对bitmap的应用）-CSDN博客

本文链接：https://blog.csdn.net/Asuiiiyi/article/details/141508084

题目描述

请你判断一个 9 x 9 的数独是否有效。只需要 根据以下规则 ，验证已经填入的数字是否有效即可。

数字 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"]]
输出：true

示例 2：

输入：board = 
[["8","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"]]
输出：false
解释：除了第一行的第一个数字从 5 改为 8 以外，空格内其他数字均与 示例1 相同。 但由于位于左上角的 3x3 宫内有两个 8 存在, 因此这个数独是无效的。

提示：

board.length == 9
board[i].length == 9
board[i][j] 是一位数字（1-9）或者 '.'

思路

根据题目描述的：

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

只需要使得这个 9 x 9 的数独满足以上三点，就有解，否则无解(接触过数独游戏的应该懂)

入手角度：

证明每行的数字都只出现过一次（一共9行）
证明每列的数字都只出现过一次（一共9列）
证明每个小九宫格的数字都只出现过一次（一共9个）

证明数字只出现过一次，我们很容易想到用哈希表（hash），因为哈希表的查询基本做到O(1)

unordered_set<int> hashtable;

但是hash的空间复杂度为O(n)，（虽然这里就规定了n=9，题目使用的hash空间也算是O(1)），所以这里不直接采用哈希的方式，这里采用位图来进行重复数字的判断。

位图（Bitmap）

位图是一种简单的数据结构，用于表示一个固定大小的位数组（bit array），即由0和1组成的数组。位图常用于快速检测某个值是否存在于某个集合中（例如布隆过滤器），或者用于标记数据结构中的某些状态。

位图在空间上非常高效，因为它使用的是最小单位（位）来存储信息。常见的应用包括布隆过滤器、缓存、图像处理中的像素表示等。

判断一组数据中是否出现重复数字的过程，例：

// x 为位图
int x;

// 往 x 中存入 3
x = 1 << 3;

// 此时我想判断位图 x 中是否存在 3 ？
if((x & 3) == 0) {cout << "存在3"}；

// 原理：

// x 的二进制既视： 1000
// 3 的二进制既视： 1000    （第三个位置为1）

位运算 x & 3： 同 1 为 1 ，否则为 0

所以 x & 3 = 0

采用位图，判断每组数据的重复元素，只需要一个整形来储存，空间为O(1)。

有了这个原理，这道题很好实现；

代码实现

class Solution {
public:
    bool isValidSudoku(vector<vector<char>>& board) {

        // 储存每行位图的数组，rows[0]代表第一行的位图
        int rows[9] = {0};

        // 储存每列位图的数组，cols[0]代表第一列的位图
        int cols[9] = {0};
        
        // 储存每个九宫格位图的数组，subboxes[0][0]代表第一个九宫格的位图（一共有九个）
        int subboxes[3][3] = {0};

        for (int i = 0; i < 9; i++) {
            for (int j = 0; j < 9; j++) {
                if (board[i][j] != '.') {
                    
                    // 构建当前数字的二进制格式
                    int x = 1 << (board[i][j] - '1');

                    // 进行 & 运算，如果 位图 内不存在了数字 x，& 运算结果为0
                    // 这个判断说明，如果行、列、九宫格中任何一个如果出现了重复数字，这个数独都无解，返回false
                    if (rows[i] & x || cols[j] & x || subboxes[i / 3][j / 3] & x)
                        return false;

                    // 如果证明 x 当前并不在位图中，则通过 | 运算，将 x 添加进位图中
                    rows[i] |= x;
                    cols[j] |= x;
                    subboxes[i / 3][j / 3] |= x;
                }
            }
        }
        return true;
    }
};