热门标签 | HotTags
当前位置:  开发笔记 > 人工智能 > 正文

java回溯算法解数独问题

这篇文章主要为大家详细介绍了java回溯算法解数独问题,具有一定的参考价值,感兴趣的小伙伴们可以参考一下

本文实例为大家分享了java回溯算法解数独问题,供大家参考,具体内容如下

下面来详细讲一下如何用回溯算法来解数独问题。

下图是一个数独题,也是号称世界上最难的数独。当然了,对于计算机程序来说,只要算法是对的,难不难就不知道了,反正计算机又不累。回溯算法基本上就是穷举,解这种数独类的问题逻辑比较简单。

不管算法懂不懂,先把类建出来,变量定义好,那放大学试卷上就是可以拿两分了。

package shudu;
 
/**
 * Created by wolf on 2016/3/17.
 */
public class Sudoku {
 private int[][] matrix;
 public Sudoku(int[][] matrix) {
  this.matrix = matrix;
 }
 
 public static void main(String[] args) {
  // 号称世界上最难数独
  int[][] sudoku = {
    {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}};
  Sudoku s = new Sudoku(sudoku);
  s.backTrace(0, 0);
 }
 
 /**
  * 数独算法
  * @param i
  * 行号
  * @param j
  * 列号
  */
 private void backTrace(int i, int j) {
 
 }
}

用一个二维数组来存储这个矩阵,然后定义一个方法来计算。方法里有两个属性——行号和列号。

我们的原理就是从第0行0列开始,依次往里面填入1-9之间的数字,然后判断填入的这个数字是否能放进去(该行该列和它所在的小九宫格是否有重复数字)。如果能放进去,那么就继续用1-9去试该行的下一列。一直到该行的最后一列,然后换行继续重复上面的步骤(也就是执行backTrace方法)。一直执行到最后一个空格,也就是i=8,j=8的时候,且最后这个空格所放的值也完全符合规则,那么此时就算完成,不用再继续调用backTrace方法了,输出正确解即可。

所以回溯法样子看起来是这样的。给第一个空格填1-9中任何一个,开始判断,如果OK,然后进入下一层,如果不OK,就断掉了。下一层还是从1-9开始试,然后OK,不OK……当最终目标达到时,空格已填满又满足条件,那么中断该分支,输出结果。

继续我们的程序。

由于有些位置已经有数字了,所以我们需要判断,如果该坑已经有人蹲了,那么就把列号j加1,进入下一列。如果到第8列了,就换行。

修改程序如下:

package shudu;
 
/**
 * Created by wolf on 2016/3/17.
 */
public class Sudoku {
 private int[][] matrix;
 
 public Sudoku(int[][] matrix) {
  this.matrix = matrix;
 }
 
 public static void main(String[] args) {
  // 号称世界上最难数独
  int[][] sudoku = {
    {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}};
  Sudoku s = new Sudoku(sudoku);
  s.backTrace(0, 0);
 }
 
 /**
  * 数独算法
  *
  * @param i 行号
  * @param j 列号
  */
 private void backTrace(int i, int j) {
  //如果i行j列是空格,那么才进入给空格填值的逻辑
  if (matrix[i][j] == 0) {
   for (int k = 1; k <= 9; k++) {
    //判断给i行j列放1-9中的任意一个数是否能满足规则
    if (check(i, j, k)) {
     //将该值赋给该空格,然后进入下一个空格
     matrix[i][j] = k;
     backTrace(i, j + 1);
    }
   }
  } else {
   //如果该位置已经有值了,就进入下一个空格进行计算
   backTrace(i, j + 1);
  }
 }
 
 /**
  * 判断给某行某列赋值是否符合规则
  *
  * @param row 被赋值的行号
  * @param line 被赋值的列号
  * @param number 赋的值
  * @return
  */
 private boolean check(int row, int line, int number) {
  //判断该行该列是否有重复数字
  for (int i = 0; i <9; i++) {
   if (matrix[row][i] == number || matrix[i][line] == number) {
    return false;
   }
  }
  //判断小九宫格是否有重复
  int tempRow = row / 3;
  int tempLine = line / 3;
  for (int i = 0; i <3; i++) {
   for (int j = 0; j <3; j++) {
    if (matrix[tempRow * 3 + i][tempLine * 3 + j] == number) {
     return false;
    }
   }
  }
 
  return true;
 }
}

此时已经写好了判断某行某列赋某个值是否ok的方法,通过该方法就能校验出数字是否能放到该位置。
还缺少的是边界值的判断,就是当已经到最后一列了,还没到最后一行时,需要对行号加1,然后恢复列号为0。

修改一下backTrace方法,增加边界值判断。

package shudu;
 
/**
 * Created by wolf on 2016/3/17.
 */
public class Sudoku {
 private int[][] matrix;
 
 public Sudoku(int[][] matrix) {
  this.matrix = matrix;
 }
 
 public static void main(String[] args) {
  // 号称世界上最难数独
  int[][] sudoku = {
    {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}};
  Sudoku s = new Sudoku(sudoku);
  s.backTrace(0, 0);
 }
 
 /**
  * 数独算法
  *
  * @param i 行号
  * @param j 列号
  */
 private void backTrace(int i, int j) {
  if (i == 8 && j == 9) {
   //已经成功了,打印数组即可
   System.out.println("获取正确解");
   printArray();
   return;
  }
 
  //已经到了列末尾了,还没到行尾,就换行
  if (j == 9) {
   i++;
   j = 0;
  }
 
  //如果i行j列是空格,那么才进入给空格填值的逻辑
  if (matrix[i][j] == 0) {
   for (int k = 1; k <= 9; k++) {
    //判断给i行j列放1-9中的任意一个数是否能满足规则
    if (check(i, j, k)) {
     //将该值赋给该空格,然后进入下一个空格
     matrix[i][j] = k;
     backTrace(i, j + 1);
    }
   }
  } else {
   //如果该位置已经有值了,就进入下一个空格进行计算
   backTrace(i, j + 1);
  }
 }
 
 /**
  * 判断给某行某列赋值是否符合规则
  *
  * @param row 被赋值的行号
  * @param line 被赋值的列号
  * @param number 赋的值
  * @return
  */
 private boolean check(int row, int line, int number) {
  //判断该行该列是否有重复数字
  for (int i = 0; i <9; i++) {
   if (matrix[row][i] == number || matrix[i][line] == number) {
    return false;
   }
  }
  //判断小九宫格是否有重复
  int tempRow = row / 3;
  int tempLine = line / 3;
  for (int i = 0; i <3; i++) {
   for (int j = 0; j <3; j++) {
    if (matrix[tempRow * 3 + i][tempLine * 3 + j] == number) {
     return false;
    }
   }
  }
 
  return true;
 }
 
 /**
  * 打印矩阵
  */
 public void printArray() {
  for (int i = 0; i <9; i++) {
   for (int j = 0; j <9; j++) {
    System.out.print(matrix[i][j] + " ");
   }
   System.out.println();
  }
  System.out.println();
 }
}

可以看到,判断成功的标志是行号为8,且列号为9时,认为找到了正确解。为什么是9呢,因为在check(i,j,k)那一步,通过了的话,将值K赋给最后一个空格,此时并没有中断程序,而且进入了下一层循环backTrace(i,j + 1),所以i为8j为9时才是终解。程序到这里,运行一下看看,发现并没有任何输出值,并没有找到正确解,why?

下面要讲的就是该程序最关键的地方,也是比较难以理解的地方,就是对根节点的初始化。回溯算法讲究的是一条道走到黑,不撞南墙不回头,并且把所有的道都走完。

我们把问题简单化,譬如一共只有两个空格,只能放0和1,正确答案是00和11.我们给第一个空格放了0,此时我们不知道是否放了0之后,后面是否能完全正确的走完全程。就像走迷宫一样,你选择了第一个岔道,此时有可能第一个岔道就是错的,后面无论怎么走都对了不了,也有可能有多条道可以走。那么我们的做法是先第一步放0,发现没问题(符合只能放0和1的规则),然后走第二步,第二步如果走对了,那就直接走出去了,获得了一次正确的解(00)。如果第二步是个死胡同(01),那就要回头了,就是要回到原点,把第一步初始化一下,然后第一步走1,然后再继续后面的步骤。所以无论怎么样,你都需要在第二步走完之后,把第一步走的值给清掉,回归到原点。这样才能找到所有的正确路线。

问题放大一下,有N步(N未知),第一步有1-9共9种情况,第一步放了1,后面还有未知的步,那无论后面成功与否,你肯定都要去试第一步放2-9之间的数字。

看第51行for循环那里,第一次将数字1赋给第一个空格。然后判断是否OK,如果OK了,就进入第二个空格去了,后面具体走多少步我们就不管了,我们只需要在后面的走完之后,初始化第一个空格就行了。那要是不OK呢,不OK当然就不用管他了,这一层走完就没下文了,等于该分支就断了。所以我们要在第55行后面加一句初始化的操作matrix[i][j]=0.

完整代码如下:

package shudu;
 
/**
 * Created by wolf on 2016/3/17.
 */
public class Sudoku {
 private int[][] matrix;
 
 public Sudoku(int[][] matrix) {
  this.matrix = matrix;
 }
 
 public static void main(String[] args) {
  // 号称世界上最难数独
  int[][] sudoku = {
    {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}};
  Sudoku s = new Sudoku(sudoku);
  s.backTrace(0, 0);
 }
 
 /**
  * 数独算法
  *
  * @param i 行号
  * @param j 列号
  */
 private void backTrace(int i, int j) {
  if (i == 8 && j == 9) {
   //已经成功了,打印数组即可
   System.out.println("获取正确解");
   printArray();
   return;
  }
 
  //已经到了列末尾了,还没到行尾,就换行
  if (j == 9) {
   i++;
   j = 0;
  }
 
  //如果i行j列是空格,那么才进入给空格填值的逻辑
  if (matrix[i][j] == 0) {
   for (int k = 1; k <= 9; k++) {
    //判断给i行j列放1-9中的任意一个数是否能满足规则
    if (check(i, j, k)) {
     //将该值赋给该空格,然后进入下一个空格
     matrix[i][j] = k;
     backTrace(i, j + 1);
     //初始化该空格
     matrix[i][j] = 0;
    }
   }
  } else {
   //如果该位置已经有值了,就进入下一个空格进行计算
   backTrace(i, j + 1);
  }
 }
 
 /**
  * 判断给某行某列赋值是否符合规则
  *
  * @param row 被赋值的行号
  * @param line 被赋值的列号
  * @param number 赋的值
  * @return
  */
 private boolean check(int row, int line, int number) {
  //判断该行该列是否有重复数字
  for (int i = 0; i <9; i++) {
   if (matrix[row][i] == number || matrix[i][line] == number) {
    return false;
   }
  }
  //判断小九宫格是否有重复
  int tempRow = row / 3;
  int tempLine = line / 3;
  for (int i = 0; i <3; i++) {
   for (int j = 0; j <3; j++) {
    if (matrix[tempRow * 3 + i][tempLine * 3 + j] == number) {
     return false;
    }
   }
  }
 
  return true;
 }
 
 /**
  * 打印矩阵
  */
 public void printArray() {
  for (int i = 0; i <9; i++) {
   for (int j = 0; j <9; j++) {
    System.out.print(matrix[i][j] + " ");
   }
   System.out.println();
  }
  System.out.println();
 }
}

以上就是本文的全部内容,希望对大家的学习有所帮助,也希望大家多多支持。


推荐阅读
  • 本文由编程笔记#小编为大家整理,主要介绍了logistic回归(线性和非线性)相关的知识,包括线性logistic回归的代码和数据集的分布情况。希望对你有一定的参考价值。 ... [详细]
  • 阿里Treebased Deep Match(TDM) 学习笔记及技术发展回顾
    本文介绍了阿里Treebased Deep Match(TDM)的学习笔记,同时回顾了工业界技术发展的几代演进。从基于统计的启发式规则方法到基于内积模型的向量检索方法,再到引入复杂深度学习模型的下一代匹配技术。文章详细解释了基于统计的启发式规则方法和基于内积模型的向量检索方法的原理和应用,并介绍了TDM的背景和优势。最后,文章提到了向量距离和基于向量聚类的索引结构对于加速匹配效率的作用。本文对于理解TDM的学习过程和了解匹配技术的发展具有重要意义。 ... [详细]
  • 云原生边缘计算之KubeEdge简介及功能特点
    本文介绍了云原生边缘计算中的KubeEdge系统,该系统是一个开源系统,用于将容器化应用程序编排功能扩展到Edge的主机。它基于Kubernetes构建,并为网络应用程序提供基础架构支持。同时,KubeEdge具有离线模式、基于Kubernetes的节点、群集、应用程序和设备管理、资源优化等特点。此外,KubeEdge还支持跨平台工作,在私有、公共和混合云中都可以运行。同时,KubeEdge还提供数据管理和数据分析管道引擎的支持。最后,本文还介绍了KubeEdge系统生成证书的方法。 ... [详细]
  • 近年来,大数据成为互联网世界的新宠儿,被列入阿里巴巴、谷歌等公司的战略规划中,也在政府报告中频繁提及。据《大数据人才报告》显示,目前全国大数据人才仅46万,未来3-5年将出现高达150万的人才缺口。根据领英报告,数据剖析人才供应指数最低,且跳槽速度最快。中国商业结合会数据剖析专业委员会统计显示,未来中国基础性数据剖析人才缺口将高达1400万。目前BAT企业中,60%以上的招聘职位都是针对大数据人才的。 ... [详细]
  • Android中高级面试必知必会,积累总结
    本文介绍了Android中高级面试的必知必会内容,并总结了相关经验。文章指出,如今的Android市场对开发人员的要求更高,需要更专业的人才。同时,文章还给出了针对Android岗位的职责和要求,并提供了简历突出的建议。 ... [详细]
  • CSS3选择器的使用方法详解,提高Web开发效率和精准度
    本文详细介绍了CSS3新增的选择器方法,包括属性选择器的使用。通过CSS3选择器,可以提高Web开发的效率和精准度,使得查找元素更加方便和快捷。同时,本文还对属性选择器的各种用法进行了详细解释,并给出了相应的代码示例。通过学习本文,读者可以更好地掌握CSS3选择器的使用方法,提升自己的Web开发能力。 ... [详细]
  • 本文介绍了Java工具类库Hutool,该工具包封装了对文件、流、加密解密、转码、正则、线程、XML等JDK方法的封装,并提供了各种Util工具类。同时,还介绍了Hutool的组件,包括动态代理、布隆过滤、缓存、定时任务等功能。该工具包可以简化Java代码,提高开发效率。 ... [详细]
  • 本文介绍了C#中生成随机数的三种方法,并分析了其中存在的问题。首先介绍了使用Random类生成随机数的默认方法,但在高并发情况下可能会出现重复的情况。接着通过循环生成了一系列随机数,进一步突显了这个问题。文章指出,随机数生成在任何编程语言中都是必备的功能,但Random类生成的随机数并不可靠。最后,提出了需要寻找其他可靠的随机数生成方法的建议。 ... [详细]
  • qt学习(六)数据库注册用户的实现方法
    本文介绍了在qt学习中实现数据库注册用户的方法,包括登录按钮按下后出现注册页面、账号可用性判断、密码格式判断、邮箱格式判断等步骤。具体实现过程包括UI设计、数据库的创建和各个模块调用数据内容。 ... [详细]
  • “你永远都不知道明天和‘公司的意外’哪个先来。”疫情期间,这是我们最战战兢兢的心情。但是显然,有些人体会不了。这份行业数据,让笔者“柠檬” ... [详细]
  • 生成对抗式网络GAN及其衍生CGAN、DCGAN、WGAN、LSGAN、BEGAN介绍
    一、GAN原理介绍学习GAN的第一篇论文当然由是IanGoodfellow于2014年发表的GenerativeAdversarialNetworks(论文下载链接arxiv:[h ... [详细]
  • [译]技术公司十年经验的职场生涯回顾
    本文是一位在技术公司工作十年的职场人士对自己职业生涯的总结回顾。她的职业规划与众不同,令人深思又有趣。其中涉及到的内容有机器学习、创新创业以及引用了女性主义者在TED演讲中的部分讲义。文章表达了对职业生涯的愿望和希望,认为人类有能力不断改善自己。 ... [详细]
  • 无线认证设置故障排除方法及注意事项
    本文介绍了解决无线认证设置故障的方法和注意事项,包括检查无线路由器工作状态、关闭手机休眠状态下的网络设置、重启路由器、更改认证类型、恢复出厂设置和手机网络设置等。通过这些方法,可以解决无线认证设置可能出现的问题,确保无线网络正常连接和上网。同时,还提供了一些注意事项,以便用户在进行无线认证设置时能够正确操作。 ... [详细]
  • 本文介绍了游戏开发中的人工智能技术,包括定性行为和非定性行为的分类。定性行为是指特定且可预测的行为,而非定性行为则具有一定程度的不确定性。其中,追逐算法是定性行为的具体实例。 ... [详细]
  • JavaScript设计模式之策略模式(Strategy Pattern)的优势及应用
    本文介绍了JavaScript设计模式之策略模式(Strategy Pattern)的定义和优势,策略模式可以避免代码中的多重判断条件,体现了开放-封闭原则。同时,策略模式的应用可以使系统的算法重复利用,避免复制粘贴。然而,策略模式也会增加策略类的数量,违反最少知识原则,需要了解各种策略类才能更好地应用于业务中。本文还以员工年终奖的计算为例,说明了策略模式的应用场景和实现方式。 ... [详细]
author-avatar
晒太阳的人2015
这个家伙很懒,什么也没留下!
PHP1.CN | 中国最专业的PHP中文社区 | DevBox开发工具箱 | json解析格式化 |PHP资讯 | PHP教程 | 数据库技术 | 服务器技术 | 前端开发技术 | PHP框架 | 开发工具 | 在线工具
Copyright © 1998 - 2020 PHP1.CN. All Rights Reserved | 京公网安备 11010802041100号 | 京ICP备19059560号-4 | PHP1.CN 第一PHP社区 版权所有