回 帖 发 新 帖 刷新版面

主题:数独(sudoku)求解和生成★(第16版3月5日修改)

我写了一个数独求解程序(看本文最后面),首先在最顶的文本框输入
700100400030080070006004001800700600070090020002003007500900200090060040001005008
共81个数字,表示一个9*9数独,再按一下init(initialize)按钮,
就用这些数字初始化了下面的矩阵,
然后再按solve按钮就是可算出结果了。
有唯一解就会给出唯一解,如果有多解就填入能唯一确定的数值。
当然你可以自己构造一组数据来输入。
copy按钮是把矩阵的结果复制到上面的文本框(方便复制)
Hint按钮是提示功能,提示当前可以进行的操作

帮忙找找有没有什么bug,找到的话高分相赠,谢谢。
主要是软件计算方面,有没有本应唯一解的却解不出,
多解的当成唯一解,或者无解的出现错解等等。。。。

------------------------------------------------------------------
第三版更新:增加推理过程显示
第四版更新:界面友好化
第五版更新:增加推理条件,算法加强
第六版更新:增加推理条件,算法加强,加强无解判定,推理过程显示有少量修改
第七版更新:增加推理条件(三数集法等),界面显示有修改,推理过程内容显示有修改
第八版更新:增加推理条件(简单染色法),推理过程内容显示增加英文
第九版更新:增加了题目生成功能和题目难度判断功能,本功能还在测试中。
第十版更新:算法加强,特别加强了唯一性判定,特别难题目自动加深搜索
第11版更新:算法加强,特别增加即时代码编译运行接口
第12版更新:算法加强,多解、无解判定速度加快,生成题目速度加快,本版本保证不会误判解的情况。
第13版更新:算法加强,修正多解判定时一个会导致计算过慢的问题,增加了五种推理方法,难度计算有修改
第14版更新:算法加快,判断解的情况的算法速度再次提高,修正计算难度的Bug
第15版更新:主要是Bug修正,较14版和13版稳定
第16版更新:求解广度修正,内存泄露问题修正,增加求解时间统计,
            生成的题目50%以上是难题(以笔算为准)。

关于这个新增加的接口,有Solve和Make两个不同程序,通过标准输入和输出交互,
Solve程序的main返回值表示解答结果,需要使用MinGW编译器编译运行。
使用时只要在本软件里直接输入C++代码,就可以编译链接成一个Shell随时调用,
你可以把自己的Solve代码或者Make代码写进去作为本软件的一个扩展功能。
详细接口信息见软件内说明(option按钮)。

点这里进入本软件下载页面[url]http://yzfy.org/bbs/viewthread.php?tid=679[/url]

回复列表 (共86个回复)

41 楼

加了个生成的功能,不过效率好像不太理想。。。

42 楼


支持,继续努力拉[em6][em16]

43 楼

我非常想知道你的关与解的唯一性是怎么做的??

44 楼


还有那个难度级别用什么控制一下比较好啊~~~

45 楼

对于唯一性判断,这个版本我加深了搜索和修改了记录方式,难度计算上稍有修改
这里有一个之前所有版本都解不出来的题目:
900004000080020030005700000001000004060080070300000500000005001070030090000600200

46 楼

生成指定难度的数独(应该加个判断再循环就好了)
还有什么叫特别难的加深搜索?是说那个关连数法(是不是就是有些地方叫关键数法的)吗?难道你不是用第归的?递归好像有多深就进多深的啊。
还有三数和数对不是一个原理吗?难道不是一个第归解N数集?
还有能不能介绍一下染色法?我找不到这个的介绍。

47 楼

我自己写的时候还遇到个问题,不过不想公开请教讨论,有什么别的方式吗?
是程序算法问题。

48 楼

想通了,暂时不用请教了。

49 楼

还是不对,你的试验法貌似就是我说的关键数法,那关连数又是什么法啊?是你自几创建的方法?

50 楼

试验法不是关键数法啦。。。。你不想公开讨论的就加QQ讨论啊 78803110
不过我马上有事要走啦。。。

我来回复

您尚未登录,请登录后再回复。点此登录或注册