主题:数独(sudoku)求解和生成★(第16版3月5日修改)
雨中飞燕
[专家分:18980] 发布于 2008-02-12 13:08:00
我写了一个数独求解程序(看本文最后面),首先在最顶的文本框输入
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]
最后更新于:2008-03-06 22:18:00
回复列表 (共86个回复)
31 楼
tianran1011 [专家分:60] 发布于 2008-02-15 11:16:00
用推理方式解就不难了。程序最难的还是优化各种人工不好解的搜索问题。
还有楼主会写个程序创立数读吗?
32 楼
My_Figh [专家分:0] 发布于 2008-02-15 18:00:00
见到飞燕的帖子就顶啊[em9][em9][em9]
33 楼
雨中飞燕 [专家分:18980] 发布于 2008-02-16 01:02:00
谢谢啦。。。软件再多加了推理条件啦~~~~还差两个就基本上齐全了。。。
P.S. 后面的推理算法写起来越来越恶心了。。。
34 楼
tianran1011 [专家分:60] 发布于 2008-02-16 02:44:00
怎么程序爱好者都喜欢这么晚熬夜……你这个是用C++做的?用C可以做这样的外壳(or皮肤?)吗?我只会用TC做DOS界面……把这个外壳的源代码给我们看看好吗?数独部分就不要了,太长了……
35 楼
justforfun626 [专家分:18460] 发布于 2008-02-16 03:26:00
I usually never download exe file from Internet, this is an exception
I tried it, copied number string from LZ, this is what I got, don't know why. [em18][em18]
The only thing I can guess is character encoding problem, because I don't have a Chinese OS.
However, the number ascii should be the same in any encoding...
[img]http://bobcat.webappcabaret.net/javachina/img/s.jpg[/img]
36 楼
雨中飞燕 [专家分:18980] 发布于 2008-02-16 07:26:00
首先在最顶的文本框输入
700100400030080070006004001800700600070090020002003007500900200090060040001005008
共81个数字,表示一个9*9数独,再按一下init按钮
纯英文描述版本的偶会尽快加上。。。
37 楼
justforfun626 [专家分:18460] 发布于 2008-02-16 08:43:00
Haha, It was my fault, I did not click init button. Sorry!
However, I could not read the bottom text.
[quote]纯英文描述版本的偶会尽快加上。。。[/quote]
That would be nice!!!
Thanks a lot!
38 楼
雨中飞燕 [专家分:18980] 发布于 2008-02-16 09:57:00
ok, 已经加上
39 楼
justforfun626 [专家分:18460] 发布于 2008-02-16 10:08:00
[color=red][b][size=3]Excellent!!![/size][/b][/color]
You are fast!
I tested it, it works!!!!
40 楼
雨中飞燕 [专家分:18980] 发布于 2008-02-16 10:39:00
Thanks for your test
我来回复