【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

相关文章

SpringBoot实现MD5加盐算法的示例代码

《SpringBoot实现MD5加盐算法的示例代码》加盐算法是一种用于增强密码安全性的技术,本文主要介绍了SpringBoot实现MD5加盐算法的示例代码,文中通过示例代码介绍的非常详细,对大家的学习... 目录一、什么是加盐算法二、如何实现加盐算法2.1 加盐算法代码实现2.2 注册页面中进行密码加盐2.

Java时间轮调度算法的代码实现

《Java时间轮调度算法的代码实现》时间轮是一种高效的定时调度算法,主要用于管理延时任务或周期性任务,它通过一个环形数组(时间轮)和指针来实现,将大量定时任务分摊到固定的时间槽中,极大地降低了时间复杂... 目录1、简述2、时间轮的原理3. 时间轮的实现步骤3.1 定义时间槽3.2 定义时间轮3.3 使用时

C语言中的数据类型强制转换

《C语言中的数据类型强制转换》:本文主要介绍C语言中的数据类型强制转换方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录C语言数据类型强制转换自动转换强制转换类型总结C语言数据类型强制转换强制类型转换:是通过类型转换运算来实现的,主要的数据类型转换分为自动转换

利用Go语言开发文件操作工具轻松处理所有文件

《利用Go语言开发文件操作工具轻松处理所有文件》在后端开发中,文件操作是一个非常常见但又容易出错的场景,本文小编要向大家介绍一个强大的Go语言文件操作工具库,它能帮你轻松处理各种文件操作场景... 目录为什么需要这个工具?核心功能详解1. 文件/目录存javascript在性检查2. 批量创建目录3. 文件

C语言实现两个变量值交换的三种方式

《C语言实现两个变量值交换的三种方式》两个变量值的交换是编程中最常见的问题之一,以下将介绍三种变量的交换方式,其中第一种方式是最常用也是最实用的,后两种方式一般只在特殊限制下使用,需要的朋友可以参考下... 目录1.使用临时变量(推荐)2.相加和相减的方式(值较大时可能丢失数据)3.按位异或运算1.使用临时

使用C语言实现交换整数的奇数位和偶数位

《使用C语言实现交换整数的奇数位和偶数位》在C语言中,要交换一个整数的二进制位中的奇数位和偶数位,重点需要理解位操作,当我们谈论二进制位的奇数位和偶数位时,我们是指从右到左数的位置,本文给大家介绍了使... 目录一、问题描述二、解决思路三、函数实现四、宏实现五、总结一、问题描述使用C语言代码实现:将一个整

C语言字符函数和字符串函数示例详解

《C语言字符函数和字符串函数示例详解》本文详细介绍了C语言中字符分类函数、字符转换函数及字符串操作函数的使用方法,并通过示例代码展示了如何实现这些功能,通过这些内容,读者可以深入理解并掌握C语言中的字... 目录一、字符分类函数二、字符转换函数三、strlen的使用和模拟实现3.1strlen函数3.2st

Go语言中最便捷的http请求包resty的使用详解

《Go语言中最便捷的http请求包resty的使用详解》go语言虽然自身就有net/http包,但是说实话用起来没那么好用,resty包是go语言中一个非常受欢迎的http请求处理包,下面我们一起来学... 目录安装一、一个简单的get二、带查询参数三、设置请求头、body四、设置表单数据五、处理响应六、超

C语言中的浮点数存储详解

《C语言中的浮点数存储详解》:本文主要介绍C语言中的浮点数存储详解,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录1、首先明确一个概念2、接下来,讲解C语言中浮点型数存储的规则2.1、可以将上述公式分为两部分来看2.2、问:十进制小数0.5该如何存储?2.3 浮点

如何通过Golang的container/list实现LRU缓存算法

《如何通过Golang的container/list实现LRU缓存算法》文章介绍了Go语言中container/list包实现的双向链表,并探讨了如何使用链表实现LRU缓存,LRU缓存通过维护一个双向... 目录力扣:146. LRU 缓存主要结构 List 和 Element常用方法1. 初始化链表2.