【POJ2676】Sudoku(优化搜索顺序)

举报
小哈里 发表于 2022/05/10 23:29:22 2022/05/10
【摘要】 problem 补全9*9的数独满足每行,每列,每个3*3方格内1~9均只出现一次 solution 1、答案 状态:我们关心数独每个位置填了什么数。我们需要在每个状态中找出没有填的位置,检查有哪...

problem

  • 补全9*9的数独
  • 满足每行,每列,每个3*3方格内1~9均只出现一次

solution

1、答案

  • 状态:我们关心数独每个位置填了什么数。我们需要在每个状态中找出没有填的位置,检查有哪些值可以填。这些可以填的值构成了向下递归的分支。(状态就是每个每个时刻的9*9数独)
  • 搜索边界:1、所有位置填完了,找到答案。2、发现某个位置没有能填的值,搜索失败。
  • 提醒:对于每个状态下,我们要找的是1个位置填什么,而不是枚举所有位置和能填的数(其他位置会在更深的地方被搜索到)。

2、剪枝

  • 优化搜索顺序:如果是人类玩数独,策略一定是先填上“已经能够唯一确定的位置”,考虑在该位置填什么数,再向下搜索。所以我们在每个状态下选择所有未填的位置中,能填合法数字最少的位置,考虑在这上面填数。

3、位运算

  • 对于每行,每列,每个九宫格,分别用一个9为二进制数保存哪些数字还可以填。
  • 对于每个位置,把他锁在的行,列,九宫格对应的数取 & 运算就可以得到剩余哪些数可以填。lowbit(x)取出能填的数。
  • 当某个位置的数填上时把对应的行,列,九宫格对应位置改为0。

codes

#include<iostream>
#include<cstring>
#include<cstdio>
#include<algorithm>
using namespace std;

char str[10][10];
int row[10], col[10], grid[9], cnt[512], num[512], tot;
inline int g(int x, int y){
    return ((x / 3) * 3) + (y / 3);//在第几个九宫格
}
inline void flip(int x, int y, int z){
    row[x] ^= 1<<z; //x行z不能填了
    col[y] ^= 1<<z;
    grid[g(x,y)] ^= 1<<z;
}

bool dfs(int now){//剩余要填的数的总数
    if(now == 0)return 1;
    //优化顺序:枚举每个位置,找能填的最少的填
    int t = 10, x, y;
    for(int i = 0; i < 9; i++){
        for(int j = 0; j < 9; j++){
            if(str[i][j] != '0')continue;
            int val = row[i] & col[j] & grid[g(i,j)];
            if(!val)return 0;
            if(cnt[val] < t){
                t = cnt[val];
                x = i, y = j;
            }
        }
    }
    //填数
    int val = row[x] & col[y] & grid[g(x,y)];
    for(; val; val -= val&-val){
        int z = num[val&-val];//能填的数
        str[x][y] = '1'+z;
        flip(x,y,z);
        if(dfs(now-1))return 1;
        flip(x,y,z);
        str[x][y] = '0';
    }
    return 0;
}

int main(){
    //每个状态已经填的数有几个
    for(int i = 0; i < 1<<9; i++)
        for(int j = i; j; j-=j&-j)cnt[i]++;
    //对于状态(1<<i),对应的数为'1'+num[1<<i];
    for(int i = 0; i < 9; i++)
        num[1<<i] = i;
    int T;  cin>>T;
    while(T--){
        //data in
        for(int i = 0; i < 9; i++)scanf("%s",str[i]);
        //初始化,都可以填。
        for(int i = 0; i < 9; i++)row[i] = col[i] = grid[i] = (1<<9)-1;
        tot = 0;
        //
        for(int i = 0; i < 9; i++)
            for(int j = 0; j < 9; j++)
                if(str[i][j] != '0')flip(i,j,str[i][j]-'1');
                else tot++;
        dfs(tot);
        //data out
        cout<<'\n';
        for(int i = 0; i < 9; i++)
            printf("%s\n",str[i]);
    }
    return 0;
}
  
 
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • 18
  • 19
  • 20
  • 21
  • 22
  • 23
  • 24
  • 25
  • 26
  • 27
  • 28
  • 29
  • 30
  • 31
  • 32
  • 33
  • 34
  • 35
  • 36
  • 37
  • 38
  • 39
  • 40
  • 41
  • 42
  • 43
  • 44
  • 45
  • 46
  • 47
  • 48
  • 49
  • 50
  • 51
  • 52
  • 53
  • 54
  • 55
  • 56
  • 57
  • 58
  • 59
  • 60
  • 61
  • 62
  • 63
  • 64
  • 65
  • 66
  • 67
  • 68
  • 69
  • 70
  • 71
  • 72

文章来源: gwj1314.blog.csdn.net,作者:小哈里,版权归原作者所有,如需转载,请联系作者。

原文链接:gwj1314.blog.csdn.net/article/details/81238111

【版权声明】本文为华为云社区用户转载文章,如果您发现本社区中有涉嫌抄袭的内容,欢迎发送邮件进行举报,并提供相关证据,一经查实,本社区将立刻删除涉嫌侵权内容,举报邮箱: cloudbbs@huaweicloud.com
  • 点赞
  • 收藏
  • 关注作者

评论(0

0/1000
抱歉,系统识别当前为高风险访问,暂不支持该操作

全部回复

上滑加载中

设置昵称

在此一键设置昵称,即可参与社区互动!

*长度不超过10个汉字或20个英文字符,设置后3个月内不可修改。

*长度不超过10个汉字或20个英文字符,设置后3个月内不可修改。