洛谷P1783 数独（c++lambda函数广搜详解）

题目描述

数独是根据 9×9 盘面上的已知数字，推理出所有剩余空格的数字，并满足每一行、每一列、每一个粗线宫内的数字均含 1−9，不重复。每一道合格的数独谜题都有且仅有唯一答案，推理方法也以此为基础，任何无解或多解的题目都是不合格的。

芬兰一位数学家号称设计出全球最难的“数独游戏”，并刊登在报纸上，让大家去挑战。

这位数学家说，他相信只有“智慧最顶尖”的人才有可能破解这个“数独之谜”。

据介绍，目前数独游戏的难度的等级有一到五级，一是入门等级，五则比较难。不过这位数学家说，他所设计的数独游戏难度等级是十一，可以说是所以数独游戏中，难度最高的等级。他还表示，他目前还没遇到解不出来的数独游戏，因此他认为“最具挑战性”的数独游戏并没有出现。

输入格式

一个未填的数独。

输出格式

填好的数独。

首先这道题目如果是人来做，那么会有许多技巧，那么如果把这些技巧转换成编程那会是一个艰难的过程，那么我们不如用dfs广度搜索来解决这个问题。

首先呢我们需要知道function lambda函数的用法 ，大概就是dfs = [ ](定义自变量)

我们需要定义行、列、宫三个bool数组来占位。 

下一步就是写一个dfs函数：function (bool(int)) dfs =  [ ](int x)

如果x>=81(因为x从0开始),那么说明填完了，return true

或者dfs（x+1）等于true那说明找到解了，也直接返回。

如果没有那么就回溯（return false）并且取消占位，枚举下一种可能，直到搜索到解为止

代码如下：

#include <iostream>
#include <functional>
using namespace std;

int grid[9][9];
bool a[9][9], b[9][9], c[9][9];

function<bool(int)> dfs = [](int x) {
    if (x >= 81) return true;
    int row = x / 9, col = x % 9, block = (row / 3) * 3 + (col / 3);
    if (grid[row][col] == 0) {
        for (int i = 0; i < 9; i++) {
            if (a[row][i] || b[col][i] || c[block][i]) continue;
            grid[row][col] = i + 1;
            a[row][i] = b[col][i] = c[block][i] = true;
            if (dfs(x + 1)) return true;
            a[row][i] = b[col][i] = c[block][i] = false;
        }
        grid[row][col] = 0;
        return false;
    } else {
        return dfs(x + 1);
    }
};

int main() {
    for (int i = 0; i < 9; i++) {
        for (int j = 0; j < 9; j++) {
            cin >> grid[i][j];
        }
    }
    for (int i = 0; i < 9; i++) {
        for (int j = 0; j < 9; j++) {
            if (grid[i][j] == 0) continue;
            int d = grid[i][j] - 1;
            int l = (i / 3) * 3 + (j / 3);
            a[i][d] = b[j][d] = c[l][d] = true;
        }
    }
    dfs(0);
    for (int i = 0; i < 9; i++) {
        for (int j = 0; j < 9; j++) {
            cout << grid[i][j] << " ";
        }
        cout << endl;
    }
    return 0;
}

加油