每周一算法:数独游戏

题目链接

数独游戏

题目描述

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

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

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

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

输入格式

一个未填的数独。

输出格式

填好的数独。

样例 #1

样例输入 #1

8 0 0 0 0 0 0 0 0 
0 0 3 6 0 0 0 0 0 
0 7 0 0 9 0 2 0 0 
0 5 0 0 0 7 0 0 0 
0 0 0 0 4 5 7 0 0 
0 0 0 1 0 0 0 3 0 
0 0 1 0 0 0 0 6 8 
0 0 8 5 0 0 0 1 0 
0 9 0 0 0 0 4 0 0

样例输出 #1

8 1 2 7 5 3 6 4 9 
9 4 3 6 8 2 1 7 5 
6 7 5 4 9 1 2 8 3 
1 5 4 2 3 7 8 9 6 
3 6 9 8 4 5 7 2 1 
2 8 7 1 6 9 5 3 4 
5 2 1 9 7 4 3 6 8 
4 3 8 5 2 6 9 1 7 
7 9 6 3 1 8 4 5 2

样例输入 #2

9 0 0 8 0 0 0 0 0
0 0 0 0 0 0 5 0 0 
0 0 0 0 0 0 0 0 0 
0 2 0 0 1 0 0 0 3
0 1 0 0 0 0 0 6 0
0 0 0 4 0 0 0 7 0
7 0 8 6 0 0 0 0 0 
0 0 0 0 3 0 1 0 0 
4 0 0 0 0 0 2 0 0 

样例输出 #2

9 7 2 8 5 3 6 1 4 
1 4 6 2 7 9 5 3 8 
5 8 3 1 4 6 7 2 9 
6 2 4 7 1 8 9 5 3 
8 1 7 3 9 5 4 6 2 
3 5 9 4 6 2 8 7 1 
7 9 8 6 2 1 3 4 5 
2 6 5 9 3 4 1 8 7 
4 3 1 5 8 7 2 9 6 

算法思想

数独游戏是根据 9 × 9 9 \times 9 9×9 盘面上的已知数字,推理出所有剩余空格的数字,问题规模很小,直接暴力搜索就可以了。

优化搜索顺序

要进行搜索,首先要确定搜索顺序。当然可以选择任意一个未填数的空格开始搜索,但考虑到搜索效率,应优先搜索可选数字少的空格开始搜索。举个例子:

如下图所示,红色格子中 1 , 3 , 4 , 5 , 6 , 7 , 9 1,3,4,5,6,7,9 1,3,4,5,6,7,9,绿色格子中可选的数字有 2 , 3 , 8 , 9 2,3,8,9 2,3,8,9,应优先搜索绿色格子。
在这里插入图片描述

可行性剪枝

通过盘面上确定数字,可以判断当前空格所填的数字是否可行,如果存在冲突,则终止在该分支上的搜索,这就是可行性剪枝

数独游戏的可行性有 3 3 3个要求:

  • 每一行的数字含 1 − 9 1 - 9 19 ,不重复
  • 每一列的数字含 1 − 9 1 - 9 19 ,不重复
  • 每一个粗线宫内数字含 1 − 9 1 - 9 19 ,不重复

那么如何快速得到在 x x x y y y列的空格中可行的数字有哪些呢?这里可以借助状态压缩的思想,用一个整数的二进制形式 ( 000000000 ) 2 ∼ ( 111111111 ) 2 (000000000)_2\sim(111111111)_2 (000000000)2(111111111)2来标记哪些数字是可行的,如下图所示,可选数字为 2 , 3 , 8 , 9 2,3,8,9 2,3,8,9

在这里插入图片描述
对于每行、每列和每个 3 × 3 3\times3 3×3的小九宫格都可以设置一个状态:

  • row ( x ) \text{row}(x) row(x)表示在 x x x行可选数字的状态
  • col ( y ) \text{col}(y) col(y)表示在 y y y列可选数字的状态
  • cell ( ⌊ x 3 ⌋ , ⌊ y 3 ⌋ ) \text{cell}(\lfloor{\frac{x}{3}}\rfloor,\lfloor{\frac{y}{3}}\rfloor) cell(⌊3x,3y⌋)表示 ( x , y ) (x,y) (x,y)所在的小九宫格可选数字的状态

这三者同时满足就是在 x x x y y y列可选数字的状态,可以通过对三者进行按位与运算获得,即row[x] & col[y] & cell[x/3][y/3]

二进制枚举

当确定了可选数字的状态,不妨设为 state \text{state} state,如何快速枚举其中可选的数字呢?可以通过 lowbit \text{lowbit} lowbit方法实现, lowbit(x) = x&-x \text{lowbit(x) = x\&-x} lowbit(x) = x&-x

lowbit \text{lowbit} lowbit运算返回整数二进制形式中最低位的 1 1 1和它后面的0组成的数字,该数字为 2 2 2的正整数次幂。例如:

  • state = ( 110000110 ) 2 \text{state}=(110000110)_2 state=(110000110)2 lowbit(state) = ( 10 ) 2 = 2 \text{lowbit(state)}=(10)_2=2 lowbit(state)=(10)2=2
  • state = ( 110000100 ) 2 \text{state}=(110000100)_2 state=(110000100)2 lowbit(state) = ( 100 ) 2 = 4 \text{lowbit(state)}=(100)_2=4 lowbit(state)=(100)2=4

通过 lowbit \text{lowbit} lowbit方法就可以快速枚举 state \text{state} state中可选的数字。

代码实现

#include <iostream>
using namespace std;
const int N = 9, M = 1 << N;
int g[N][N];
int row[N], col[N], cell[3][3];
int ones[M]; //获取所有二进制形式中1的个数
int log[M]; //获取log(n)
//预处理每行每列每个小九宫格可选数字的状态
void init() 
{for(int i = 0; i < 9; i ++)row[i] = col[i] = (1 << 9) - 1;for(int i = 0; i < 3; i ++)for(int j = 0; j < 3; j ++)cell[i][j] = (1 << 9) - 1;
}
void fill(int x, int y, int t, bool is_set)
{int s = 1 << (t - 1); //要改变的状态,状态从0开始,所以要减1if(is_set) //填数{g[x][y] = t;//填完数,该数的状态设为不可行row[x] -= s, col[y] -= s, cell[x/3][y/3] -= s; }else //清空{g[x][y] = 0;//清空后,该数的状态设为可行row[x] += s, col[y] += s, cell[x/3][y/3] += s;}
}
//获取x行y列可选数字的状态
int get(int x, int y)
{return row[x] & col[y] & cell[x/3][y/3];
}
int lowbit(int x)  // 返回末尾的1
{return x & -x;
}bool dfs(int cnt)
{if(cnt == 0) return true; //全部填完//优化搜索顺序,寻找可选数字最少的行列int minv = 10, x, y;for(int i = 0; i < 9; i ++)for(int j = 0; j < 9; j ++){if(g[i][j] == 0){int state = get(i, j);if(ones[state] < minv){minv = ones[state], x = i, y = j;}}}//从x行y列开始搜索int state = get(x, y); //从x行y列可选数字的状态for(int i = state; i != 0; i -= lowbit(i)){int t = log[lowbit(i)] + 1; //获取对应要填的数1~9,log中映射的是0~8,所以要+1fill(x, y, t, true);if(dfs(cnt - 1)) return true;fill(x, y, t, false); //回溯,恢复现场}return false;
}
int main()
{init();//统计每个状态中1的个数for(int i = 0; i < 1 << 9; i ++)for(int j = 0; j < 9; j ++)ones[i] += i >> j & 1; //预处理log(i),方便快速获取要填的数字,注意预处理的是0~8for(int i = 0; i < 9; i ++) log[1 << i] = i;int cnt = 0; //一共要填cnt个数for(int i = 0; i < 9; i ++)for(int j = 0; j < 9; j ++){cin >> g[i][j];if(g[i][j] != 0) //数字已填fill(i, j, g[i][j], true); //填数else cnt ++;}//暴力搜索,一共要填cnt个数dfs(cnt);//输出结果for(int i = 0; i < 9; i ++){for(int j = 0; j < 9; j ++)cout << g[i][j] << " ";cout << endl;}
}

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.hqwc.cn/news/415479.html

如若内容造成侵权/违法违规/事实不符,请联系编程知识网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

2024年【裂解(裂化)工艺】考试题及裂解(裂化)工艺免费试题

题库来源&#xff1a;安全生产模拟考试一点通公众号小程序 裂解&#xff08;裂化&#xff09;工艺考试题参考答案及裂解&#xff08;裂化&#xff09;工艺考试试题解析是安全生产模拟考试一点通题库老师及裂解&#xff08;裂化&#xff09;工艺操作证已考过的学员汇总&#xf…

统计学-R语言-6.2

文章目录 前言总体均值的区间估计两个总体均值之差的估计两个总体均值之差的估计&#xff08;独立大样本的估计&#xff09;两个总体均值之差的估计&#xff08;独立小样本的估计&#xff09;两个总体均值之差的估计&#xff08;配对样本的估计&#xff09; 总体比例的区间估计…

JS-事件

事件是在编程时系统内发生的动作或者发生的事情 事件监听&#xff08;绑定&#xff09; 事件监听就是让程序检测是否有事件产生&#xff0c;一旦有事件触发&#xff0c;就立即调用一个函数做出响应&#xff0c;也称为绑定事件或者注册事件 元素对象.addEventListener(事件类…

【每日一题】2809. 使数组和小于等于 x 的最少时间-2024.1.19

题目&#xff1a; 2809. 使数组和小于等于 x 的最少时间 给你两个长度相等下标从 0 开始的整数数组 nums1 和 nums2 。每一秒&#xff0c;对于所有下标 0 < i < nums1.length &#xff0c;nums1[i] 的值都增加 nums2[i] 。操作 完成后 &#xff0c;你可以进行如下操作&…

西门子WINCC常用C脚本1

1.置位&#xff0c;复位&#xff0c;取反 获取变量值&#xff1a;GetTagBit(可以是位也可以是字节&#xff0c;字&#xff0c;双字等具体字母不同) 设置变量值&#xff1a;SetTagBit 置位&#xff1a;SetTagBit&#xff08;"变量名",1&#xff09; 复位&#xff…

adb、monkey的下载和安装

adb下载 官网网址&#xff1a;Downloads - ADB Shell 尽量不要下载最新的ADB Kits&#xff0c;因为兼容性可能不太好。 点击下载 ADB Kits 作者下载的版本是1.0.36 解压adb 到指定的目录即可。 然后把adb配置 环境变量。 检查adb是否安装成功

vue2 使用vuex状态管理工具 如何配置与搭建。

等我研究研究&#xff0c;下一期给大家出一个后台管理左侧侧边栏如何搭建的。 首先我们先下载一下 vuex包 yarn add vuex3 1.先导入我们需要的 Vue 和 vuex 2.注册vuex 3.创建vuex实例 4.导出store export default store 5.在main.js中导入并挂载到全局。 Vuex如何实…

视频增强修复Topaz Video AI

Topaz Video AI是一款强大的视频增强软件&#xff0c;利用人工智能技术对数千个视频进行训练&#xff0c;结合多个输入视频的帧信息来提高素材的分辨率。该软件可将视频的分辨率提高到最高8K&#xff0c;并保持真实的细节和运动一致性。同时&#xff0c;它还能自动修复视频中的…

树形+分页+表格

一.树形结构的增加和删除 1.树形结构的增加 传入上一层的pid 2.树形结构的删除 传入当前项的id 3.列表刷新 每做一次增加和删除都需要调用,获取列表的接口来刷新列表里面的数据,并且关闭弹窗 二.表格的使用 这些element-ui官方网站都可以进行查询。 这里面需要注意的点…

为什么需要放行回源IP

为什么需要放行回源IP 网站以“独享模式”成功接入WAF后&#xff0c;所有网站访问请求将先经过独享引擎配置的ELB然后流转到独享引擎实例进行监控&#xff0c;经独享引擎实例过滤后再返回到源站服务器&#xff0c;流量经独享引擎实例返回源站的过程称为回源。在服务器看来&…

GAMES104-现代游戏引擎:从入门到实践 - 物理引擎课程笔记汇总

文章目录 0 入门资料1 物理引擎基本概念Actor & shapesRigid body dynamicsCollision DetectionCollision Resolution 应用与实践Character controllerRagdoll 0 入门资料 GAMES104-现代游戏引擎&#xff1a;从入门到实践_课程视频_bilibiliGAMES104官方账号 - 知乎课程主页…

shopee孵化器选品:如何在Shopee孵化器中制定选品策略

Shopee孵化器&#xff08;Shopee Incubator&#xff09;是一个提供给卖家的平台&#xff0c;卖家可以在这里进行选品策略的制定。选品策略的制定是一个关键的过程&#xff0c;它决定了卖家能否成功地在Shopee平台上销售产品。在本文中&#xff0c;我们将介绍如何在Shopee孵化器…