【C语言】求解数独 求数独的解的个数 多解数独算法

2023-10-12 08:28

本文主要是介绍【C语言】求解数独 求数独的解的个数 多解数独算法,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

目录

什么是数独? 

数独的解法?

数独DFS算法详解

1. 初始化条件

2. 填入已初始化的数独表

3. 填数独

 4. 拓展问题

请问删掉数独中的哪两个数可以使得数独的解最大?

 删除的是哪两个数?

 最终代码

 main函数(如何执行这些代码) 


什么是数独? 

数独的要求是每一行,每一列,每一宫都包括1~9,但是不能有重复数字。


数独的解法?

主流为深度优先搜索算法,如果使用数据结构,有舞蹈链算法,本篇介绍深度优先搜索算法。


数独DFS算法详解

1. 初始化条件

我们的初始条件准备了5个,分别是row[N], col[N], cell[3][3],ones[M], map[M]

N = 9;

M = 111111111(二进制),511(十进制);

//设置9*9数独表
const int N = 9;
//设置mask长度 M的二进制:111111111,从右到左分别表示1 2 3 4 5 6 7 8 9 
const int M = 1 << N;//row、col、cell分别表示行、列、宫可填写数的编码
//ones、map是一个映射关系,ones表示有多少个1,map表示9位二进制的1代表的数字
int row[N], col[N], cell[3][3];
int ones[M], map[M];//数独表
int arr[9][9] = {4,0,0,9,0,0,0,0,3,0,8,0,0,0,1,0,9,0,0,0,0,0,2,0,7,0,0,0,3,0,0,0,0,0,0,4,0,0,6,7,0,0,5,0,0,2,0,0,0,0,0,0,6,0,0,0,7,0,3,0,6,0,0,0,5,0,6,0,0,0,0,0,1,0,0,0,0,9,0,0,2
};

那么M是用来干嘛的?

我使用了二进制来优化DFS算法,在下图中只有7不能填,因为mask为0。

    map和ones是一个映射关系,下标(二进制)->值(十进制)
    
    map[10] = 2,意思是二进制为10的数十进制为2 

    ones[11] = 2,意思是二进制为11的数十进制为2

下面初始化的意思是把所有位置都设置成所有数都可填的状态。

//只需一次初始化的数组map、ones
void _init()
{//once设置成false后不再执行这个函数once = false;//map和ones是一个映射关系,下标(二进制)->值(十进制)// //map[10] = 2,意思是二进制为10的数十进制为2for (int i = 0; i < N; i++){map[1 << i] = i + 1;}//ones[11] = 2,意思是二进制为11的数十进制为2for (int i = 0; i < M; i++){for (int j = 0; j < N; j++){ones[i] += i >> j & 1;}}
}//初始化条件数组
int init(int _arr[N][N])
{//设置row,col为111111111,代表1`9都在可填写状态for (int i = 0; i < N; i++){row[i] = col[i] = M - 1;}//在9个宫中设置值为111111111,代表1`9都在可填写状态for (int i = 0; i < 3; i++){for (int j = 0; j < 3; j++){cell[i][j] = M - 1;}}//只初始化一次if (once){_init();}//填入数独表的已知数字,完成初始化工作。return fill(_arr);
}

 fill函数是干嘛的?请往下看


2. 填入已初始化的数独表

fill函数的作用是填入数独表中已知的数字,返回一个整形代表待填入数独表的空位。

我们利用空位作为DFS的制约条件。

//将数组上已知数的位置、值信息做初始化记录,并记录需要填写的格子数
int fill(int _arr[N][N])
{//cnt为待填格子数int cnt = 0;//设置cnt,row、col、cell条件for (int i = 0; i < N; i++){for (int j = 0; j < N; j++){if (!_arr[i][j]){cnt++;}else{col[j] -= 1 << (_arr[i][j] - 1);row[i] -= 1 << (_arr[i][j] - 1);cell[i / 3][j / 3] -= 1 << (_arr[i][j] - 1);}}}return cnt;
}

 在行,列,宫对应的位置减去对应数的二进制码,这样可以把该数字在行、列、宫对应的二进制码设置为0,代表该数字在该行,该列,该宫已经不可以填写。

可举例填写4和6,三个条件的变化,等式右边为二进制码。 

3. 填数独

前置有3个功能函数。

这里说一下getmask

因为&的特点,col & row & cell运算,如果这三个其中一个的二进制码的某个位置上为0,那么返回的计算结果的那个位置的二进制码也为0。

draw是我们递归的灵魂,他的功能是在数组上填数,然后根据填的数修改row、col、cell。

//获得可填数的编码位(截断到最靠右的1) 例如10110 lowbit后得到10 
inline int lowbit(int x)
{return x & -x;
}//获取可填数据 col,row,cell经过位运算可得到一串二进制数字,二进制的1代表可以填进数独的数字
int getmask(int x, int y)
{//printBinary(row[x]);//std::cout << " ";//printBinary(col[y]);//std::cout << " ";//printBinary(cell[x/3][y/3] );//std::cout << " ";//printBinary(col[y] & row[x] & cell[x / 3][y / 3]);return col[y] & row[x] & cell[x / 3][y / 3];
}//填数字
void draw(int _arr[9][9], int x, int y, int num, bool is_set)
{//如果这个位置已经被填过,那么消除这个位置上的数字//如果没有,就设置成numif (is_set){_arr[x][y] = 0;}else{_arr[x][y] = num;}//将数字num转化成二进制码int v = 1 << (num - 1);//根据这个位置是否有数字,修改 + - 的逻辑if (is_set){v = -v;}// -v 代表此位置行,列,宫的可填数num已经填入,该行,列,宫不可再填numrow[x] -= v;col[y] -= v;cell[x / 3][y / 3] -= v;
}

我们 按照标题2. 的逻辑对数独表和三个条件进行增、改,然后搜索。

t_ret表示解的数量。max_ret表示最大解。

位置优化:通过两层循环,找出可填数最少的位置。

//填数独
bool dfs(int _arr[9][9], int cnt, int& t_ret)
{//如果可填数为0,则代表已经完成数独if (!cnt){return true;}//找出最小可选位置,x、y表示坐标,minv代表可填数int minv = 10;int x, y;//每一个为0的位置都可以通过getmask(x,y)找到一个9位的二进制数,每一个位置上的1都代表对应数字可填for (int i = 0; i < N; i++){for (int j = 0; j < N; j++){//如果状态码state中的1比minv小,则记录下该位置的xy坐标,并记录下最小可填值minvif (!_arr[i][j]){int state = getmask(i, j);if (ones[state] < minv){minv = ones[state];x = i, y = j;//std::cout << std::endl;//printBinary(state);}}}}//拿到状态码int state = getmask(x, y);//lowbit取到可填数(从小到大),填了就从状态码中消除对应位置上的1for (int i = state; i; i -= lowbit(i)){//拿到二进制对应的十进制数字numint num = map[lowbit(i)];//填入numdraw(_arr, x, y, num, false);//开始填数,如果已经填完数独,则打印,并记录解的数量t_ret,最大解max_retif (dfs(_arr, cnt - 1, t_ret)){//print_arr(_arr);t_ret++;max_ret = t_ret > max_ret ? t_ret : max_ret;}//撤销填入的numdraw(_arr, x, y, num, true);}//如果 i = state 的值是0,那么就代表没有数字可以填的,返回失败,并消除上一位的数字return false;
}

 4. 拓展问题

请问删掉数独中的哪两个数可以使得数独的解最大?

 删除的是哪两个数?

函数的逻辑是删除两个数,然后进行DFS,再然后把删除的数填回去,继续删除。

DFS进行之前,我们都初始化row,col,cell三个条件,这样能保证正常递归。

 这里我们使用vector和pair(C++),也就是数组和键值对的数据结构。

first代表x坐标,second代表y坐标。

//得到所有的数组,并记录下数独的最大解
int _getallarr(int tmp[9][9], int& time)
{//将每一个已知数字的x,y坐标记录到viistd::vector<std::pair<int, int>> vii;for (int i = 0; i < 9; i++){for (int j = 0; j < 9; j++){if (arr[i][j]){vii.push_back({ i,j });}}}//tmp1.tmp2存要删掉的两个数int tmp1, tmp2;//记录删除的数的坐标int max_ret_tmp = max_ret;//vpii的每一个元素都是一对坐标,我们只保留2对坐标std::vector<std::pair<int, int>> vpii;//依次删除两个数,为了保护源数独,把数据传入到tmp中for (int i = 0; i < vii.size(); i++){for (int j = i + 1; j < vii.size() - 1; j++){//存下要删掉的数,搜索完还原。tmp1 = tmp[vii[i].first][vii[i].second];tmp[vii[i].first][vii[i].second] = 0;tmp2 = tmp[vii[j].first][vii[j].second];tmp[vii[j].first][vii[j].second] = 0;//计算最大解int t_ret = 0;int cnt = init(tmp);dfs(tmp, cnt, t_ret);//如果最大解的数值发生变化,那么记录下该点的坐标。if (max_ret > max_ret_tmp){//此处还可做优化,比如说把2改成time,删time个数的最大解是哪三个?max_ret_tmp = max_ret;if (vpii.size() == 2){vpii.erase(vpii.begin(), vpii.end());}vpii.push_back(vii[i]);vpii.push_back(vii[j]);}//还原删除的数tmp[vii[i].first][vii[i].second] = tmp1;tmp[vii[j].first][vii[j].second] = tmp2;}}std::cout << "删除的坐标是:(" << vpii[0].first << vpii[0].second << ") && (" << vpii[1].first << vpii[1].second << ")" << std::endl;return max_ret;
}//计算最大解
int getMaxRet()
{//time为要删的数的个数int time = 2;//tmp为临时数组int tmp[9][9] = { 0 };copy_arr(tmp);//return _getallarr(tmp, time);
}

 最终代码

//设置9*9数独表
const int N = 9;
//设置mask长度 M的二进制:111111111,从右到左分别表示1 2 3 4 5 6 7 8 9 
const int M = 1 << N;//row、col、cell分别表示行、列、宫可填写数的编码
//ones、map是一个映射关系,ones表示有多少个1,map表示9位二进制的1代表的数字
//max_ret表示数独的最大解
//once 卡关,ones和map数组只需初始化一次 
int row[N], col[N], cell[3][3];
int ones[M], map[M];
int max_ret;
bool once = true;//数独表
int arr[9][9] = {4,0,0,9,0,0,0,0,3,0,8,0,0,0,1,0,9,0,0,0,0,0,2,0,7,0,0,0,3,0,0,0,0,0,0,4,0,0,6,7,0,0,5,0,0,2,0,0,0,0,0,0,6,0,0,0,7,0,3,0,6,0,0,0,5,0,6,0,0,0,0,0,1,0,0,0,0,9,0,0,2
};//打印二进制格式(调试用)
void printBinary(int num) 
{if (num == 0) {std::cout << "0";return;}int binary[32];int i = 0;while (num > 0) {binary[i] = num % 2;num /= 2;i++;}for (int j = i - 1; j >= 0; j--) {std::cout << binary[j];}
}//获得可填数的编码位(截断到最靠右的1) 例如10110 lowbit后得到10 
inline int lowbit(int x)
{return x & -x;
}//打印数独表
void print_arr(int _arr[9][9])
{for (int i = 0; i < N; i++){for (int j = 0; j < N; j++){std::cout << _arr[i][j];}std::cout << std::endl;}std::cout << std::endl;
}//复制数独表到tmp
void copy_arr(int tmp[][9])
{for (int i = 0; i < N; i++){for (int j = 0; j < N; j++){tmp[i][j] = arr[i][j];}}std::cout << std::endl;
}//获取可填数据 col,row,cell经过位运算可得到一串二进制数字,二进制的1代表可以填进数独的数字
int getmask(int x, int y)
{//printBinary(row[x]);//std::cout << " ";//printBinary(col[y]);//std::cout << " ";//printBinary(cell[x/3][y/3] );//std::cout << " ";//printBinary(col[y] & row[x] & cell[x / 3][y / 3]);return col[y] & row[x] & cell[x / 3][y / 3];
}//填数字
void draw(int _arr[9][9], int x, int y, int num, bool is_set)
{//如果这个位置已经被填过,那么消除这个位置上的数字//如果没有,就设置成numif (is_set){_arr[x][y] = 0;}else{_arr[x][y] = num;}//将数字num转化成二进制码int v = 1 << (num - 1);//根据这个位置是否有数字,修改 + - 的逻辑if (is_set){v = -v;}// -v 代表此位置行,列,宫的可填数num已经填入,该行,列,宫不可再填numrow[x] -= v;col[y] -= v;cell[x / 3][y / 3] -= v;
}//将数组上已知数的位置、值信息做初始化记录,并记录需要填写的格子数
int fill(int _arr[N][N])
{//cnt为待填格子数int cnt = 0;//设置cnt,row、col、cell条件for (int i = 0; i < N; i++){for (int j = 0; j < N; j++){if (!_arr[i][j]){cnt++;}else{col[j] -= 1 << (_arr[i][j] - 1);row[i] -= 1 << (_arr[i][j] - 1);cell[i / 3][j / 3] -= 1 << (_arr[i][j] - 1);}}}return cnt;
}//只需一次初始化的数组map、ones
void _init()
{//once设置成false后不再执行这个函数once = false;//map和ones是一个映射关系,下标(二进制)->值(十进制)// //map[10] = 2,意思是二进制为10的数十进制为2for (int i = 0; i < N; i++){map[1 << i] = i + 1;}//ones[11] = 2,意思是二进制为11的数十进制为2for (int i = 0; i < M; i++){for (int j = 0; j < N; j++){ones[i] += i >> j & 1;}}
}//初始化条件数组
int init(int _arr[N][N])
{//设置row,col为111111111,代表1`9都在可填写状态for (int i = 0; i < N; i++){row[i] = col[i] = M - 1;}//在9个宫中设置值为111111111,代表1`9都在可填写状态for (int i = 0; i < 3; i++){for (int j = 0; j < 3; j++){cell[i][j] = M - 1;}}//只初始化一次if (once){_init();}//填入数独表的已知数字,完成初始化工作。return fill(_arr);
}//填数独
bool dfs(int _arr[9][9], int cnt, int& t_ret)
{//如果可填数为0,则代表已经完成数独if (!cnt){return true;}//找出最小可选位置,x、y表示坐标,minv代表可填数int minv = 10;int x, y;//每一个为0的位置都可以通过getmask(x,y)找到一个9位的二进制数,每一个位置上的1都代表对应数字可填for (int i = 0; i < N; i++){for (int j = 0; j < N; j++){//如果状态码state中的1比minv小,则记录下该位置的xy坐标,并记录下最小可填值minvif (!_arr[i][j]){int state = getmask(i, j);if (ones[state] < minv){minv = ones[state];x = i, y = j;//std::cout << std::endl;//printBinary(state);}}}}//拿到状态码int state = getmask(x, y);//lowbit取到可填数(从小到大),填了就从状态码中消除对应位置上的1for (int i = state; i; i -= lowbit(i)){//拿到二进制对应的十进制数字numint num = map[lowbit(i)];//填入numdraw(_arr, x, y, num, false);//开始填数,如果已经填完数独,则打印,并记录解的数量t_ret,最大解max_retif (dfs(_arr, cnt - 1, t_ret)){//print_arr(_arr);t_ret++;max_ret = t_ret > max_ret ? t_ret : max_ret;}//撤销填入的numdraw(_arr, x, y, num, true);}//如果 i = state 的值是0,那么就代表没有数字可以填的,返回失败,并消除上一位的数字return false;
}//得到所有的数组,并记录下数独的最大解
int _getallarr(int tmp[9][9], int& time)
{//将每一个已知数字的x,y坐标记录到viistd::vector<std::pair<int, int>> vii;for (int i = 0; i < 9; i++){for (int j = 0; j < 9; j++){if (arr[i][j]){vii.push_back({ i,j });}}}//tmp1.tmp2存要删掉的两个数int tmp1, tmp2;//记录删除的数的坐标int max_ret_tmp = max_ret;std::vector<std::pair<int, int>> vpii;//依次删除两个数,为了保护源数独,把数据传入到tmp中for (int i = 0; i < vii.size(); i++){for (int j = i + 1; j < vii.size() - 1; j++){tmp1 = tmp[vii[i].first][vii[i].second];tmp[vii[i].first][vii[i].second] = 0;tmp2 = tmp[vii[j].first][vii[j].second];tmp[vii[j].first][vii[j].second] = 0;//计算最大解int t_ret = 0;int cnt = init(tmp);dfs(tmp, cnt, t_ret);if (max_ret > max_ret_tmp){max_ret_tmp = max_ret;if (vpii.size() == 2){vpii.erase(vpii.begin(), vpii.end());}vpii.push_back(vii[i]);vpii.push_back(vii[j]);}//还原删除的数tmp[vii[i].first][vii[i].second] = tmp1;tmp[vii[j].first][vii[j].second] = tmp2;}}std::cout << "删除的坐标是:(" << vpii[0].first << vpii[0].second << ") && (" << vpii[1].first << vpii[1].second << ")" << std::endl;return max_ret;
}//计算最大解
int getMaxRet()
{//time为要删的数的个数int time = 2;//tmp为临时数组int tmp[9][9] = { 0 };copy_arr(tmp);//return _getallarr(tmp, time);
}

 main函数(如何执行这些代码) 

int main()
{int t_ret = 0;int cnt = init(arr);dfs(arr,cnt, t_ret);std::cout << max_ret;std::cout << getMaxRet();return 0;
}

觉得写的不错的话给个三连加关注吧~

这篇关于【C语言】求解数独 求数独的解的个数 多解数独算法的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/194567

相关文章

Go语言中make和new的区别及说明

《Go语言中make和new的区别及说明》:本文主要介绍Go语言中make和new的区别及说明,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录1 概述2 new 函数2.1 功能2.2 语法2.3 初始化案例3 make 函数3.1 功能3.2 语法3.3 初始化

Java中的雪花算法Snowflake解析与实践技巧

《Java中的雪花算法Snowflake解析与实践技巧》本文解析了雪花算法的原理、Java实现及生产实践,涵盖ID结构、位运算技巧、时钟回拨处理、WorkerId分配等关键点,并探讨了百度UidGen... 目录一、雪花算法核心原理1.1 算法起源1.2 ID结构详解1.3 核心特性二、Java实现解析2.

Go语言中nil判断的注意事项(最新推荐)

《Go语言中nil判断的注意事项(最新推荐)》本文给大家介绍Go语言中nil判断的注意事项,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录1.接口变量的特殊行为2.nil的合法类型3.nil值的实用行为4.自定义类型与nil5.反射判断nil6.函数返回的

Go语言数据库编程GORM 的基本使用详解

《Go语言数据库编程GORM的基本使用详解》GORM是Go语言流行的ORM框架,封装database/sql,支持自动迁移、关联、事务等,提供CRUD、条件查询、钩子函数、日志等功能,简化数据库操作... 目录一、安装与初始化1. 安装 GORM 及数据库驱动2. 建立数据库连接二、定义模型结构体三、自动迁

Go语言代码格式化的技巧分享

《Go语言代码格式化的技巧分享》在Go语言的开发过程中,代码格式化是一个看似细微却至关重要的环节,良好的代码格式化不仅能提升代码的可读性,还能促进团队协作,减少因代码风格差异引发的问题,Go在代码格式... 目录一、Go 语言代码格式化的重要性二、Go 语言代码格式化工具:gofmt 与 go fmt(一)

Go语言中泄漏缓冲区的问题解决

《Go语言中泄漏缓冲区的问题解决》缓冲区是一种常见的数据结构,常被用于在不同的并发单元之间传递数据,然而,若缓冲区使用不当,就可能引发泄漏缓冲区问题,本文就来介绍一下问题的解决,感兴趣的可以了解一下... 目录引言泄漏缓冲区的基本概念代码示例:泄漏缓冲区的产生项目场景:Web 服务器中的请求缓冲场景描述代码

Go语言如何判断两张图片的相似度

《Go语言如何判断两张图片的相似度》这篇文章主要为大家详细介绍了Go语言如何中实现判断两张图片的相似度的两种方法,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 在介绍技术细节前,我们先来看看图片对比在哪些场景下可以用得到:图片去重:自动删除重复图片,为存储空间"瘦身"。想象你是一个

Go语言中Recover机制的使用

《Go语言中Recover机制的使用》Go语言的recover机制通过defer函数捕获panic,实现异常恢复与程序稳定性,具有一定的参考价值,感兴趣的可以了解一下... 目录引言Recover 的基本概念基本代码示例简单的 Recover 示例嵌套函数中的 Recover项目场景中的应用Web 服务器中

Go语言中使用JWT进行身份验证的几种方式

《Go语言中使用JWT进行身份验证的几种方式》本文主要介绍了Go语言中使用JWT进行身份验证的几种方式,包括dgrijalva/jwt-go、golang-jwt/jwt、lestrrat-go/jw... 目录简介1. github.com/dgrijalva/jwt-go安装:使用示例:解释:2. gi

Go 语言中的 Struct Tag 的用法详解

《Go语言中的StructTag的用法详解》在Go语言中,结构体字段标签(StructTag)是一种用于给字段添加元信息(metadata)的机制,常用于序列化(如JSON、XML)、ORM映... 目录一、结构体标签的基本语法二、json:"token"的具体含义三、常见的标签格式变体四、使用示例五、使用