【DFS】解数独

一、题目

. - 力扣（LeetCode）. - 备战技术面试？力扣提供海量技术面试资源，帮助你高效提升编程技能,轻松拿下世界 IT 名企 Dream Offer。https://leetcode.cn/problems/sudoku-solver/submissions/549438784/

二、题解

前置——数独合法性的判断

如何判断当前位置填了某值之和是合法的呢？只要满足这个元素在这一行这一列以及对应的3x3的小矩阵没有出现即可，可以使用哈希将这个列这个行跟3x3的矩阵以及存在的元素存储到哈希表中，然后看对应的哈希表中是否存在该元素即可，对于每一列每一行只需要维护一个数字即可，如果这一行有8，就将这行对应的数的第8个二进制位置修改为1，如果有7同理将这个数的第7个二进制改为1

如何判断一个数二进制第idx位置是1还是0

将1左移idx位，然后&这个数即可，1

如何将一个数二进制第idx位置修改为1

将1左移idx位置，然后让这个数 | 一下即可

如何将一个数二进制第idx位置修改为0

将1左移idx位然后整体取反再 & 这个数

题解

枚举每一个空位存在的所以可能，在枚举过程中进行合法性判断（如果该空位选择1，则判断这一列，这一行对应的3x3的格子是否已经存在了这个元素，如果存在就返回）

class Solution {
public:
    int c[9], r[9], g[3][3];  // 每行每列每个3x3的小矩阵的位图
    vector<vector<char>> gg;  // 全局数独矩阵
    bool dfs() {
        // 遍历寻找一个空着的格子
        for (int i = 0; i < 9; i++)
            for (int j = 0; j < 9; j++)
                if (gg[i][j] == '.') {
                    // 给这个格子填对应合法的值
                    for (int idx = 1; idx < 10; idx++) {
                        if (r[i] & (1 << idx) || c[j] & (1 << idx) || g[i / 3][j / 3] & (1 << idx)) continue;
                        else {
                            // 这个值合法， 则填好当前位置继续dfs下一个空格
                            gg[i][j] = idx + '0';
                            r[i] |= (1 << idx), c[j] |= (1 << idx), g[i / 3][j / 3] |= (1 << idx);
                            if (dfs()) return true;
                            r[i] &= ~(1 << idx), c[j] &= ~(1 << idx), g[i / 3][j / 3] &= ~(1 << idx);
                            gg[i][j] = '.'; 
                        }
                    }
                    return false;  // 如果1-9都不满足则说明这个分支是不合法的，则返回false回溯
                }
        return true;
    }


    void solveSudoku(vector<vector<char>>& board) {
        // 1. 初始化位图
         for (int i = 0; i < 9; i++) 
            for (int j = 0; j < 9; j++) 
                if (board[i][j] != '.') { // 每一个被填了值的元素对对应的列行以及3x3进行位图初始化
                    int idx = board[i][j] - '0';
                    r[i] |= (1 << idx), c[j] |= (1 << idx), g[i / 3][j / 3] |= (1 << idx);
                }
        // 全局化数独矩阵
        gg = board; 
        // dfs枚举
        dfs();
        // 结束枚举
        board = gg;
    }   
};