洛谷 P1784 数独

关注

原创最新推荐文章于 2026-08-10 23:03:24 发布 494 阅读 AI 写同款· GEO 优化 ›

洛谷P1784数独（递归+搜索）数独是根据9×9盘面上的已知数字，推理出所有剩余空格的数字，并满足每一行、每一列、每一个粗线宫内的数字均含1−9，不重复。每一道合格的数独谜题都有且仅有唯一答案，推理方法也以此为基础，任何无解或多解的题目都是不合格的。芬兰一位数学家号称设计出全球最难的“数独游戏”，并刊登在报纸上，让大家去挑战。这位数学家说，他相信只有“智慧最顶尖”的人才有可能破解这个“数独之谜”。据介绍，目前数独游戏的难度的等级有一到五级，一是入门等级，五则比较难。阅读详情

#include<cstdio>
#include<iostream>
#include<cmath>
#include<cstdlib>
#include<vector>
#include<queue>
#include<stack>
#include<bitset>
#include<iomanip>
#include<algorithm>
#include<string>
#include<cstring>
#define inf 100000
using namespace std;
int t[15][15];
bool area[15][15],hang[15][15],lie[15][15];
int x,cnt;
void dfs(){
    int cnt=inf,x,y;
    for (int i=1;i<=9;i++)
        for (int j=1;j<=9;j++)
            if(t[i][j]==0)
            {
                int cntt=0;
                for (int k=1;k<=9;k++)
                    if (!hang[i][k]&&!lie[j][k]&&!area[((i+2)/3-1)*3+(j+2)/3][k])
                        cntt++;
                if (cnt>cntt)
                {
                    x=i;
                    y=j;
                    cnt=cntt;
                }
            }
    if (cnt==inf)
    {
        for (int i=1;i<=9;i++)
        {
            for (int j=1;j<=9;j++)
            {
                printf ("%d ",t[i][j]);
            }
            printf ("\n");
        }
        exit(0);//here
    }
    for (int k=1;k<=9;k++)
        if (!hang[x][k]&&!lie[y][k]&&!area[((x+2)/3-1)*3+(y+2)/3][k])
        {
            hang[x][k]=true;
            lie[y][k]=true;
            area[((x+2)/3-1)*3+(y+2)/3][k]=true;
            t[x][y]=k;
            dfs();
            hang[x][k]=false;
            lie[y][k]=false;
            area[((x+2)/3-1)*3+(y+2)/3][k]=false;
            t[x][y]=0;
        }
} 
int main (){
    freopen ("sudoku.in","r",stdin);
    //freopen ("sudoku.out","w",stdout);
    for (int i=1;i<=9;i++)
        for (int j=1;j<=9;j++)
        {
            scanf ("%d",&t[i][j]);
            hang[i][t[i][j]]=true;
            lie[j][t[i][j]]=true;
            area[((i+2)/3-1)*3+(j+2)/3][t[i][j]]=true;
        }
    dfs();
    return 0;
}