回溯算法高效解标准数独(MarkDown)

数独的含义

根据9宫格盘面上的已知数字,推理出所有剩余空格的数字。
标准数独:使每个数字在每一行、每一列和每一宫中都仅出现一次。
异型数独:在满足标准数独的规则上,额外添加其他约束条件。

变量的定义

flag:二维数组,代表数独在初始状态中空白的区域
rule:三维数组,表示每种规则->每个位置->每个数值的占用情况
sudoku:二维数组,用于存储数独的数字分布状态

标准数独需三种规则, 如:每行->第几行->哪个数字=是否已占用(0未占用/1已占用)
异型数独可自行拓展, 如:对角线->第几条对角线->哪个数字=是否已占用(0未占用/1已占用)

算法思路

  1. 读取数独的初始状态,填入sudoku变量
  2. 在读取数独的初始状态的同时,初始化数字的可填区域,填入flag变量
  3. 在读取数独的初始状态的同时,更新每种规则占用情况,填入rule变量
  4. (0, 0)开始求解数独,进入首层递归
  5. 遍历flag,获取下一个可填区域的位置
  6. 若当前位置已超出期望,表明已得出数独的解,打印结果并回溯到上一层进行求解
  7. 从指定数字开始,与当前位置的所有规则的交集进行对比,获取下一个可填数字
  8. 修改当前位置的可填数,如果该数值为无效取值,则回溯到上一层进行求解
  9. 更新每种规则的占用状态为已占用
  10. 以当前的坐标作为实参进入下一层递归,返回步骤5
  11. 更新每种规则的占用状态为未占用

数独样本

数独样本

  • 根据上图,转换为程序输入文本结构:
009008040
600000017
010040000
000000004
480603021
300000000
000090080
240000006
050700100

参考代码

#include <iostream>
#include <string>
#include <ctime>

using namespace std;

int rule[3][9][9], sudoku[9][9], flag[9][9];

int findSmallIndex(int rowIndex, int colIndex) {
  return (3 * (rowIndex / 3) + (colIndex / 3));
}

int findNextValue(int rowIndex, int colIndex, int start) {
  int index = findSmallIndex(rowIndex, colIndex);
  for (int i = start; i < 9; i++) {
    if (rule[0][rowIndex][i]) continue;
    if (rule[1][colIndex][i]) continue;
    if (rule[2][index][i]) continue;
    return i;
  }
  return -1;
}

void changeRule(int rowIndex, int colIndex, int style) {
  int index = findSmallIndex(rowIndex, colIndex);
  int value = sudoku[rowIndex][colIndex];
  rule[0][rowIndex][value] = style;
  rule[1][colIndex][value] = style;
  rule[2][index][value] = style;
}

void initSudoku() {
  for (int i = 0; i < 9; i++) {
    for (int j = 0; j < 9; j++) {
      sudoku[i][j] = getchar() - '0' - 1;
      flag[i][j] = sudoku[i][j] == -1 ? 1 : 0;
      if (!flag[i][j]) changeRule(i, j, 1);
    }
    getchar();
  }
}

void show() {
  string result;
  for (int i = 0; i < 81; i++) {
    result += to_string(sudoku[i / 9][i % 9] + 1);
    if (i % 9 == 8) result += "\n";
  }
  cout << result << endl;
}

void solve(int index) {
  int rowIndex, colIndex;
  while (index < 81) {
    rowIndex = index / 9;
    colIndex = index % 9;
    if (flag[rowIndex][colIndex] == 1) break;
    index++;
  }
  if (index == 81) {show(); return;}
  while (true) {
    sudoku[rowIndex][colIndex] = findNextValue(rowIndex, colIndex, sudoku[rowIndex][colIndex] + 1);
    if (sudoku[rowIndex][colIndex] != -1) {
      changeRule(rowIndex, colIndex, 1);
      solve(index + 1);
      changeRule(rowIndex, colIndex, 0);
    } else {
      break;
    }
  }
}

int main() {
  long time1, time2;
  initSudoku();
  time1 = clock();
  solve(0);
  time2 = clock();
  cout << "求解过程共用" << time2 - time1 << "毫秒" << endl;
  return 0;
}

算法评测

  • 无冗余代码,无重复计算,代码可读性良好
  • 可求解数独的所有解
  • 对已知规则进行交集运算,快速得到下一个有效数字,缩减查询时间
  • 求解速度快,数独初始状态全0的情况下,1秒可得40W组解
  • 空间占用少,数独初始状态全0的情况下,CPU:25%,内存:360KB
相关推荐
简介 笔者当初为了学习JAVA,收集了很多经典源码,源码难易程度分为初级、中级、高级等,详情看源码列表,需要的可以直接下载! 这些源码反映了那时那景笔者对未来的盲目,对代码的热情、执着,对IT的憧憬、向往!此时此景,笔者只专注Android、Iphone等移动平台开发,看着这些源码心中有万分感慨,写此文章纪念那时那景! Java 源码包 Applet钢琴模拟程序java源码 2个目标文件,提供基本的音乐编辑功能。编辑音乐软件的朋友,这款实例会对你有所帮助。 Calendar万年历 1个目标文件 EJB 模拟银行ATM流程及操作源代码 6个目标文件,EJB来模拟银行ATM机的流程及操作:获取系统属性,初始化JNDI,取得Home对象的引用,创建EJB对象,并将当前的计数器初始化,调用每一个EJB对象的count()方法,保证Bean正常被激活和钝化,EJB对象是用完毕,从内存中清除,从账户中取出amt,如果amt>账户余额抛出异常,一个实体Bean可以表示不同的数据实例,我们应该通过主键来判断删除哪个数据实例…… ejbCreate函数用于初始化一个EJB实例 5个目标文件,演示Address EJB的实现 ,创建一个EJB测试客户端,得到名字上下文,查询jndi名,通过强制转型得到Home接口,getInitialContext()函数返回一个经过初始化的上下文,用client的getHome()函数调用Home接口函数得到远程接口的引用,用远程接口的引用访问EJB。 EJB中JNDI的使用源码例子 1个目标文件,JNDI的使用例子,有源代码,可以下载参考,JNDI的使用,初始化Context,它是连接JNDI树的起始点,查找你要的对象,打印找到的对象,关闭Context…… ftp文件传输 2个目标文件,FTP的目标是:(1)提高文件的共享性(计算机程序和/或数据),(2)鼓励间接地(通过程序)使用远程计算机,(3)保护用户因主机之间的文件存储系统导致的变化,(4)为了可靠和高效地传输,虽然用户可以在终端上直接地使用它,但是它的主要作用是供程序使用的。本规范尝试满足大型主机、微型主机、个人工作站、和TACs 的不同需求。例如,容易实现协议的设计。 Java EJB中有、无状态SessionBean的两个例子 两个例子,无状态SessionBean可会话Bean必须实现SessionBean,获取系统属性,初始化JNDI,取得Home对象的引用,创建EJB对象,计算利息等;在有状态SessionBean中,用累加器,以对话状态存储起来,创建EJB对象,并将当前的计数器初始化,调用每一个EJB对象的count()方法,保证Bean正常被激活和钝化,EJB对象是用完毕,从内存中清除…… Java Socket 聊天通信演示代码 2个目标文件,一个服务器,一个客户端。 Java Telnet客户端实例源码 一个目标文件,演示Socket的使用。 Java 组播组中发送和接受数据实例 3个目标文件。 Java读写文本文件的示例代码 1个目标文件。 java俄罗斯方块 一个目标文件。 Java非对称加密源码实例 1个目标文件 摘要:Java源码,算法相关,非对称加密   Java非对称加密源程序代码实例,本例中使用RSA加密技术,定义加密算法可用 DES,DESede,Blowfish等。   设定字符串为“张三,你好,我是李四”   产生张三的密钥对(keyPairZhang)   张三生成公钥(publicKeyZhang)并发送给李四,这里发送的是公钥的数组字节   通过网络或磁盘等方式,把公钥编码传送给李四,李四接收到张三编码后的公钥,将其码,李四用张三的公钥加密信息,并发送给李四,张三用自己的私钥密从李四处收到的信息…… Java利用DES私钥对称加密代码实例 同上 java聊天室 2个目标文件,简单。 java模拟掷骰子2个 1个目标文件,输出演示。 java凭图游戏 一个目标文件,简单。 java求一个整数的因子 如题。 Java生成密钥的实例 1个目标文件 摘要:Java源码,算法相关,密钥   Java生成密钥、保存密钥的实例源码,通过本源码可以了到Java如何产生单钥加密的密钥(myKey)、产生双钥的密钥对(keyPair)、如何保存公钥的字节数组、保存私钥到文件privateKey.dat、如何用Java对象序列化保存私钥,通常应对私钥加密后再保存、如何从文件中得到公钥编码的字节数组、如何从字节数组码公钥。 Java数据压缩与传输实例 1个目标文件 摘要:Java源码,文件操作,数据压缩,文件传输   Java数据压缩与传输实例,可以学习一下实例化套按字、得到文件输入流、压缩输入流、文件输出流、实例化缓冲
©️2020 CSDN 皮肤主题: 黑客帝国 设计师:白松林 返回首页