信息灵感创新

III = Information,Inspiration,Innovation

日志

关于我

Lemniscate

we are 5. Mathematics, Computation, Programming, Engineering, and Making fun of life.

文章分类

LOFTER精选

八招诀窍，教你实力撩妹 >

数独求解器开发（1）

2016-10-24 10:10:11| 分类： C# & .NET | 标签： |举报 |字号大中小订阅

下载LOFTER 我的照片书 |

一直很喜欢玩数独，然后考虑过编程实现自动求解数独。

原则上，采用暴力法肯定是可以完成数独的求解的，但是这样就太没有意思，另外网上还有一种介绍用舞蹈链求解数独的方式，不过数据结构的执行方式和人类玩数独的思路不大一样，所以最终决定采取一种和人类玩数独策略一致的方法，编程实现，主要是练习如何采用GDI+绘图，以及如何实现具体的求解。

在动手之前，也考虑过，是做一个CUI界面的求解器呢，还是做一个GUI界面的互动游戏，后来综合考虑，先给自己定一个小目标，就做一个GUI界面的求解器，这样能够直观显示求解的结果，目前还不考虑单步分析求解的实现，不过这个在编程的时候有所考虑，所以后面修改起来应该也很容易。

先做了一些个基础的工作，目前基本上完成了界面，实现了自定义的控件Grid，自定义的类Cell，并能完成最简单数独的求解。

这个技巧说白了就是不断地采用行（row）、列（column）块（box）的消除，即Row Column Box Elimination，简称RCBE。测试效果如下：

在没有使用RCBE前，未填写的单元格都是1-9 共9个候选数。

反复调用这个方法后，Tada！数独就解决了。

现在还只能对付简单的数独。对于一些稍微复杂点的还是不能解决，需要更多的求解技巧。

评论这张

转发至微博

阅读(238)| 评论(0)

历史上的今天

this.p={  m:2,
              b:2,
              loftPermalink:'',
              id:'fks_087075087086089064081083081066072085082070086085081074083',
              blogTitle:'数独求解器开发（1）',
              blogAbstract:'一直很喜欢玩数独，然后考虑过编程实现自动求解数独。<wbr\><div\>原则上，采用暴力法肯定是可以完成数独的求解的，但是这样就太没有意思，另外网上还有一种介绍用舞蹈链求解数独的方式，不过数据结构的执行方式和人类玩数独的思路不大一样，所以最终决定采取一种和人类玩数独策略一致的方法，编程实现，主要是练习如何采用GDI+绘图，以及如何实现具体的求解。</div\><div\>在动手之前，也考虑过，是做一个CUI界面的求解器呢，还是做一个GUI界面的互动游戏，后来综合考虑，先给自己定一个小目标，就做一个GUI界面的求解器，这样能够直观显示求解的结果，目前还不考虑单步分析求解的实现，不过这个在编程的时候有所考虑，所以后面修改起来应该也很容易。</div\><div\>先做了一些个基础的工作，<span style=\"line-height: 28px;\"   \>目前基本上完成了界面，实现了自定义的控件Grid，自定义的类Cell，并能完成最简单数独的求解。</span\></div\>',
              blogTag:'sudoku,c#,gdi+',
              blogUrl:'blog/static/33523797201692494313676',
              isPublished:1,
              istop:false,
              type:0,
              modifyTime:1477483643215,
              publishTime:1477275011994,
              permalink:'blog/static/33523797201692494313676',
              commentCount:0,
              mainCommentCount:0,
              recommendCount:0,
              bsrk:-100,
              publisherId:0,
              recomBlogHome:false,
              currentRecomBlog:false,
              attachmentsFileIds:[],
              vote:{},
              groupInfo:{},
              friendstatus:'none',
              followstatus:'unFollow',
              pubSucc:'',
              visitorProvince:'',
              visitorCity:'',
              visitorNewUser:false,
              postAddInfo:{},
              mset:'000',
              mcon:'',
              srk:-100,
              remindgoodnightblog:false,
              isBlackVisitor:false,
              isShowYodaoAd:false,
              hostIntro:'we are 5. Mathematics, Computation, Programming, Engineering, and Making fun of life.',
              hmcon:'0',
              selfRecomBlogCount:'0',
              lofter_single:'<iframe width="140" height="560" style="overflow:hidden;" src="http://www.lofter.com/mailEntry.do?blogad=1&blog" frameBorder="0"></iframe>'
            }

{list a as x}
    {if !!x}
    <div class="iblock nbw-fce nbw-f40">
      <a class="fc03 noul" target="_blank" hidefocus="true" href="http://blog.163.com/${x.visitorName}/">
      {if x.visitorName==visitor.userName}
      <img alt="${x.visitorNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.visitorName)}&r=${visitor.imageUpdateTime}"/>
      {else}
      <img alt="${x.visitorNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.visitorName)}"/>
      {/if}
      </a>
      <div class="cwd vname thide">
        {if x.moveFrom=='wap'}
          <a class="noul pnt" target="_blank" href="http://blog.163.com/services/wapblog.html?frompersonalbloghome"><span title="来自网易手机博客" class="iblock wapIcon"> </span></a>
        {elseif x.moveFrom=='iphone'}
          <a class="noul pnt" target="_blank"><span title="来自iPhone客户端" class="iblock iphoneIcon"> </span></a>
        {elseif x.moveFrom=='android'}
          <a class="noul pnt" target="_blank"><span title="来自Android客户端" class="iblock androidIcon"> </span></a>
        {elseif x.moveFrom=='mobile'}
          <a class="noul pnt" target="_blank" href="http://blog.163.com/services/emsblog.html?frompersonalbloghome"><span title="来自网易短信写博" class="iblock wapIcon"> </span></a>
        {/if}
        <a class="fc03 m2a"  target="_blank" hidefocus="true" href="http://blog.163.com/${x.visitorName}/">
          ${fn(x.visitorNickname,8)|escape}
        </a>
      </div>
    </div>
    {/if}
    {/list}

<#--最新日志，群博日志--> <#--推荐日志-->

<p class="fc06">推荐过这篇日志的人：</p>
    <div>
      {list a as x}
      {if !!x}
      <div class="iblock nbw-fce nbw-f40">
        <a class="fc03 noul" target="_blank" hidefocus="true" href="http://blog.163.com/${x.recommenderName}/">
        <img alt="${x.recommenderNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.recommenderName)}"/>
        </a>
        <div class="cwd thide">
          <a class="fc03 m2a" target="_blank" hidefocus="true" href="http://blog.163.com/${x.recommenderName}/">
            ${fn(x.recommenderNickname,6)|escape}
          </a>
        </div>
      </div>
      {/if}
      {/list}
    </div>
    {if !!b&&b.length>0}
    <p  class="fc06">他们还推荐了：</p>
    <ul>
    {list b as y}
      {if !!y}
        <li class="rrb"><span class="iblock">·</span><a class="fc03 m2a" target="_blank" href="http://blog.163.com/${y.recommendBlogPermalink}/?from=blog/static/33523797201692494313676">${y.recommendBlogTitle|escape}</a></li>
      {/if}
    {/list}
    </ul>
    {/if}

<#--引用记录--> <#--博主推荐--> <#--随机阅读--> <#--首页推荐--> <#--历史上的今天--> <#--被推荐日志--> <#--上一篇，下一篇--> <#-- 热度 -->

{list a as x}
    {if !!x}
    <div class="hotItem iblock nbw-fce nbw-f40">
      <a class="fc03 noul" target="_blank" hidefocus="true" href="http://blog.163.com/${x.publisherUsername}/">
      {if x.publisherUsername==visitor.userName}
      <img alt="${x.publisherNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.publisherUsername)}&r=${visitor.imageUpdateTime}"/>
      {else}
      <img alt="${x.publisherNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.publisherUsername)}"/>
      {/if}
      </a>
      <div class="cwd vname thide">
        <a class="fc03 m2a"  target="_blank" hidefocus="true" href="http://blog.163.com/${x.publisherUsername}/">
          ${fn(x.publisherNickname,8)|escape}
        </a>
      </div>
      <a class="f-myLikeIcons hottype {if x.type==1} js-liketype{elseif x.type==2} js-reblogtype{elseif x.type==3} js-sharetype{else}{/if}" target="_blank" hidefocus="true" href="http://blog.163.com/${x.publisherUsername}/"> </a>
    </div>
    {/if}
    {/list}

<#-- 网易新闻广告 --> <#--右边模块结构--> <#--评论模块结构--> <#--引用模块结构--> <#--博主发起的投票-->

页脚

我的照片书 - 博客风格 - 手机博客 - 下载LOFTER APP - 订阅此博客

信息灵感创新

导航

日志

数独求解器开发（1）

历史上的今天

最近读者

热度

评论

页脚

信息 灵感 创新

导航

日志

数独求解器开发（1）

历史上的今天

最近读者

热度

评论

页脚

信息灵感创新