回 帖 发 新 帖 刷新版面

主题:数独(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个回复)

沙发

飞燕现在玩数独啦?

我原来写的http://www.programfan.com/wysoft/showwysoft.asp?id=2209

板凳

你怎么判定唯一解?

3 楼

全部解出来,如果只有一个解,就是唯一解咯

4 楼

这样不是比较费时间么?

5 楼

确实比较费时,一般的经典数独,是要求只有唯一解的,因为有些解法就是基于这一点,所以要求唯一解是出题人的要求。我忘了,我不是全部解出来,当解出第二个解的时候就不是唯一解了,就停止了。

6 楼

我想和你玩竞速。。。
不过偶还不能保证偶的算法一定能得出解,不过却有它自己的特点。。。

7 楼

你怎么算的?

8 楼

模拟逻辑推导

9 楼

如果有多个解就肯定在某一步以后无法推导下去

对了,软件刚刚更新了一下,改成彩色的格子的界面了

10 楼

看来你本人也是个数独高手咯

我来回复

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