• 公告

    • 叶卡林娜

      捐赠本站 (2022.06.20更新)   2017年04月13日

      独·数之道网站创建于2008年5月底,目前主要由休息负责网站程序、叶卡林娜负责日常管理。我们一直秉承着无广告、无弹窗、免费的公益原则,为大家提供数独游戏、教学、对战等服务。我们没有考虑过利用本网站盈利,今后也不会放置任何广告,所有能开发出的新功能、能获取的资料也会一如既往免费提供给玩家。但兴趣不代表一切,网站维持也需要费用,时常关注我们网站的朋友也会发现在2012年2月3号时网站无法访问,因为空间商认为本站的CPU资源占用大,而要求我们修改程序,在交涉后过了一天才同意重新开通帐号48小时后再次检测,但在2月6日下午再次被封。不过自此公告发出后收到了网友的捐赠,在2012年2月6日讨论后决定购买国内的VPS主机。希望有经济能力的朋友可以继续协助我们运营网站。

      目前网站运行费用:
      cn域名:99.00元/年,已续费2年(168.00元,有效期至2014年7月8日)
      已续费5年,55元/年,共计275元,有效期至2019年7月8日。
      2021.11.1已续费两年,35元/年,共计70元,有效期至2024年7月8日。

      西部数码国内VPS主机商务3型:2599.00元/年+补差价424.00元(2012.3.20支出)+补差价381.00元(2012.5.25支出).
      2013.3.31更换机房,补差价469.00元,续费一年3980.00元。(有效期至2014年4月17日)
      2014.4.2购入西部数码云主机,花费7900.00元,有效期至2018年4月2日。
      2017.05.28主机续费,花费7650.00元,有效期至2023年4月9日。
      2021.11.1主机续费,花费5496.00元,有效期至2028年4月8日。

      截至2012.05.25数独百科总收入3335.00元(现在已经取消现金奖励了)。
      2012.6出题费收入1000.00元。
      2012.11-2019.03.20江南晚报出题稿费收入8650.00元。 2021.2.4出题费收入1000.00元。

      网站七周年活动赠品总支出:1291.00元

      总余额:2086.00元

      如果你想捐助本站可以通过以下方式:
      支付宝捐助:转账至支付宝账号leafcard@gmail.com(如需赠品请留下地址、姓名、电话)
      请在付款时留下姓名以便我们统计,有问题可以发送站内信或邮件(leafcard@gmail.com)

      另外如果你希望帮助我们网站设计其他题型题库、美化首页、管理论坛欢迎跟我们联系,加入本站管理QQ群6750923,加入时请说明加入理由。

      目前收到捐赠列表(按捐赠时间倒序排列): 木心 200.00元(2022年6月17日)
      beibeiball 100.00元(2022年5月11日)
      行宇 100.00元(2021年11月19日)
      朱宝康 100.00元(2021年4月14日)
      零醇丘卡 200.00元(2020年4月12日)
      冯梓潇 300.00元(2020年3月31日)
      马鸿煜小朋友 110.00元(2020年3月28日)
      卢琨 68.00元(2019年10月2日)
      TheOne 188.00元(2019年8月11日)
      王思思 100.00元(2019年7月15日)
      辉 10.00元(2019年6月27日)
      蔚 200.00元(2019年3月15日)
      张老头(hsinli) 100.00元(2019年1月29日)
      周健懿 200.00元(2018年11月4日)
      胡巍(榕初) 500.00元(2018年8月28日)
      岳湘 50.00元(2018年7月25日)
      汤糖 100.00元(2018年7月2日)
      高魁 81.00元(2018年5月15日)
      温红毅 200.00元(2018年5月13日)
      刘启芳 50.00元(2018年4月10日)
      夏有章 100.00元(2018年3月26日)
      毛燕华 100.00元(2018年3月6日)
      迷 50.00元(2018年3月4日)
      邹剑洪 100.00(2018年1月4日)
      邓艳(指间沙) 100.00元(2017年9月28日)
      gzgyfwj 50.00元(2017年9月17日)
      谢道台(@TTHsieh) 600.00元(2017年6月4日)
      姚秀云 500.00元(2017年5月20日)
      文忠 100.00元(2017年5月19日)
      叶志鸿 55.00元(2017年5月16日)
      倚心 200.00元(2017年5月3日)
      李宏波(li2008di) 100.00元(2017年4月6日)
      黄中华 200.00元(2016年10月6日)
      Unyielding head 10.00元(2016年9月25日)
      川云 100.00元(2016年9月18日)
      章文嵩 688.00元(2016年4月16日)
      窗外的远景 100.00元(2016年3月23日)
      檀银兵(老猫) 388.00元(2016年3月15日)
      彤洋 100.00元(2015年10月7日)
      连伟杰 500.00元(2015年6月16日) - 未提供地址
      李芊子 100.00元(2015年5月25日)
      韩春英(群ID:冬天老顽童) 100.00元(2015年5月25日)
      王鹏威(群ID:datou) 100.00元(2015年5月20日)
      zrlyg(@自然) 333.00元(2015年5月14日)
      徐燕 200.00元(2015年5月14日)
      小星 40.00元(2015年5月13日)
      黄振谱(群ID:甫问)500.00元(2015年5月13日)
      石鹏(群ID:锦云) 100.00元(2015年5月13日)
      钱坤(群ID:下沉的浮力) 500.00元(2015年5月13日) - 未提供地址
      杨超(群ID:sokoban) 121.00元(2015年5月13日)
      卓诗维(群ID:Estela) 80.00元(2015年5月12日)
      邓艳(群ID:指间沙) 100.00元(2015年5月12日)
      王嘉豪(群ID:超级剑客davis) 500.00元(2015年5月12日)
      谭建红 100.00元(2015年5月12日)
      孙军 100.00元(2015年5月12日)
      王思思(@penny)100.00元(2015年5月12日)
      黄中华(群ID:yangzhou) 200.00元(2015年5月12日)
      庞东(群ID:简简单单) 100.00元(2015年5月12日)
      陈世鸿 100.00元 (2015年5月12日)
      黄晓伟(群ID:xiao01wei) 100.00元(2015年5月12日)
      高东友(群ID:羽翼) 200.00元 (2015年5月11日)
      甄敏鸿 200.00元(2015年5月11日)
      朱兵(群ID:酱牛) 100.00元(2015年5月11日)
      王明意(慕容) 100.00元(2015年5月11日)
      朱玉慧 80.00元(2015年5月11日)
      施政 100.00元(2015年5月10日)
      甘露 100.00元(2015年5月10日)
      瓜子拌饭 200.00元(2015年3月25日)
      jingle 200.00元(2015年1月20日)
      deliayk 200.00元(2014年10月28日)
      R9 100.00元(2014年1月14日)
      王思思(@penny) 100.00元(2013年1月29日)
      芦向明(谜者老芦) 300.00元(2012年12月26日)
      谢道台(@TTHsieh)372.00元(2012年8月21日)
      黄宗杰 100.00元(2012年2月20日)
      贾思帆(群ID:justfun) 500.00元(2012年2月13日)
      朱兵(群ID:酱牛) 100.00元(2012年2月11日)
      应长丰(@乐逍遥) 200.00元(2012年2月11日)
      伊莎贝拉 200.00元(2012年2月10日)
      王嘉豪(群ID:终极剑客) 200.00元(2012年2月10日)
      刘旭辉(群ID:巧妮儿) 100.00元(2012年2月9日)
      席瑞娇 100.00元(2012年2月9日)
      盛平(群ID:歪歪) 500.00元(2012年2月9日)
      @迷糊笨笨 500.00元(2012年2月9日)
      黄中华(@yangzhou) 200.00元(2012年2月9日)
      史春燕(群ID:春燕) 100.00元(2012年2月8日)
      杨嘉 100.00元(2012年2月8日)
      赵晓红(群ID:small red) 200.00元(2012年2月8日)
      fpro32(程序交易通)50.00元(2012年2月7日)
      创造春天 50.00元(2012年2月7日)
      林贵新(@verydao) 500.00元(2012年2月6日)
      卢晓萍(群ID:夏天玩童) 600.00元(2012年2月5日)
      zrlyg(@自然) 800.00元(2012年2月5日)
      梁跃(@月亮大哥) 500.00元(2011年3月)
      廖然(@captain)600.00元(2010年11月)
      谢道台(@TTHsieh)500.00元(2009年3月)
    • 叶卡林娜

      数独谜题类站点博客列表   2017年04月13日

      网站类 Fed Sudoku - 每日数独,每周10题 Croco Puzzle - 每日两道谜题 Janko - 有很多谜题 Puzzle Picnic - 网友出的数独、谜题,每日更新一题 LogicMastersIndia - 每月数独谜题月赛 Killer Sudoku Online - 每日每周杀手数独、数比杀手数独 Sudoku Cup - 每年2次数独线上赛 Sudoku Variants - Uwe Wiedemann的数独谜题站点 The Griddle - David Millar的数独谜题站 Oubk欧泊颗 - 中文数独网站,可以在线PK 数独玩家论坛 数独解题技巧汇编 - 教你数独怎么玩 英国数独官网 澳洲数独官网 在线标准数独解析 - 教你数独技巧 Sudocue - 免费的数独软件sudocue,可解标准数独、锯齿数独、杀手数独 Djape - 他们有出版很多数独、谜题书籍 Griddlers - 数图专题网站 Nikoli - 日本谜题公司 17提示数标准数独搜集验证 Logic-Pixels
       
      博客类 The Art of Puzzles - Thomas Snyder(周五更新) Detuned Radio - Tom Collyer(周五更新) Melon's Puzzles - Palmer Mebane(周三更新) PS's puzzles + - Prasanna Seshadri(每日更新) (主に)へやわけ保管庫 - 木兄(每周2、3、5、6更新) Para's Puzzle Site - Bram de Laat A Cleverly Titled Logical Puzzle Blog - Grant Fikes 石氏是时试 - 本站站长休息 陈岑的数独博客 - 陈岑 创意数独 快乐生活 - 乐逍遥(应长丰) 金策空间 - jcvb(金策) 谜者老芦 - 芦向明
登录来追随这个  
追随者 0
叶卡林娜

有关是否存在16提示数9×9标准数独的证明(2012年元旦问题得证)

13 篇文章在这个主题里

目前曾有过的证明:

1. http://www.nestorgames.com/docs/16s/16s.htmlNéstor Romeral Andrés在2010年11月28日提出的版本,但得到了许多人的质疑,其中最重要的一个疑点就是按照这个理论,9×9标准对角线数独的最少提示数应当不止12个,后来也未看到此证明版本的更新。

 

2. 2006年,Gary McGuire撰写了程式http://www.math.ie/checker.html,试图通过暴力法来证明16提示数的数独是否存在,方法很简单,既然Bertram Felgenhauer和Frazer Jarvis已经计算出不等价的终盘总数为5,472,730,538个,那么将每个终盘是16提示的情况都跑一遍,如果没有找到16提示的数独,那么就可以证明最少提示数为17个。但因为是暴力方法,对于一台单核的电脑来说需要跑30万年才能跑出结果。台湾的吴毅成教授和他的团队将Gary McGuire的程式加以改进,使得效率大幅提升,大约2417年即可完成演算。并放在BOINC(伯克利开放式网络计算平台)上让世界加入BOINC的电脑一同演算。

BOINC是一个通过全世界人的电脑资源,来进行一些数据的计算,我早些时候也参加过DNA等等的计算项目,大家可以在http://boinc.berkeley.edu/download.php下载到安装程式,在询问要参与的计划时输入“http://sudoku.nctu.edu.tw/”,如果你的电脑是windows操作系统且以前没有安装过Visual Studio 2008,现在微软的官网下载 可转散发套件

令人欣喜的是,目前(2011年12月14日13:40)已经完成了21.94%,相信在不久的将来这个难题定当得到证明。

已于2013年9月5日完成。

 

PS:其实我想如果再进行一个17提示数的计划,就能把17提示数的题目找全了。另外如还有关于此主题的信息欢迎大家补充!

分享这篇文章


链接文章
分享到其他网站

我用家用个人电脑用了一下cpu增加30度把我吓死了!!!看来只有神光和超级计算机可以!!!

分享这篇文章


链接文章
分享到其他网站

Gary McGuire和他的团队终于在2012年1月1日完成了这个证明,最新的论文发表在http://www.math.ie/checker.html,源程序也提供了下载。

————————————————————————————————————————————————————

09年新程序的思路为寻找一个足够大的致命模式库,包含各种格数、形式的致命模式情形,从终盘里寻找可能的互不相干的致命模式个数,继而可以证明每个终盘至少需要多少个提示数才可能有唯一解。

sudoku@vtaiwan的进度已经到了近30%,今年要完成暴力运算也没有问题。

而这种透过致命模式的思路,是否能够运用于无谜题图形的证明,也有待进一步验证。

分享这篇文章


链接文章
分享到其他网站

一个与此相关的问题,不知有没有什么结论。

 

现在已经证明任意一个终局最少需要17个提示数。但有一些终局可能需要至少18个或以上的提示数。
但不管如何,总有一个最少提示数。比如任何一个终局的最少提示数不会超过60。

当然60可能不是一个很好的上界。



那么任意终局的最少提示数的最大值是多少呢?

分享这篇文章


链接文章
分享到其他网站

一个与此相关的问题,不知有没有什么结论。

 

现在已经证明任意一个终局最少需要17个提示数。但有一些终局可能需要至少18个或以上的提示数。

但不管如何,总有一个最少提示数。比如任何一个终局的最少提示数不会超过60。

当然60可能不是一个很好的上界。

 

 

那么任意终局的最少提示数的最大值是多少呢?

 

1. 「任何一个终局的最少提示数不会超过60」,这句话语意不明?何谓终局?何谓终局的最少提示数?

2. 何谓「终局的最少提示数的最大值」?

 

请明确描述。

 

TTHsieh

分享这篇文章


链接文章
分享到其他网站

 

1. 「任何一个终局的最少提示数不会超过60」,这句话语意不明?何谓终局?何谓终局的最少提示数?

2. 何谓「终局的最少提示数的最大值」?

 

请明确描述。

 

TTHsieh

 

 

1,这里终局(终盘?)指的是满足标准数独的的9x9的数字排列。

任何一个数独题唯一确定一个终盘。但反过来,一个终盘可以出很多数独题。由一个终盘出的数独题,提示数也可能不同。

已经知道提示数最少17个。但也不是任何一个终盘都能出17个提示数的题目。

所以现在考虑的是,给定一个终盘,能出的最少提示数的数独题目是多少?给定一个终盘,这个最少提示数一定是存在的,可能是17,也可能是18,或者更大。这里,“终盘的最少提示数”指的是这个终盘所能出的题目的提示数的最少值

 

任意给出一个终盘,把第9列,第9行的数字删去,把左上角的四宫各删去一个数字,剩下60个数字还是能唯一地确定终局。所以终盘的最少提示数不会超过60。当然60应该是一个很粗糙的估计,这个数应该能更小。

 

2,因为每个终盘的最少提示数是不同的。而不等价的终盘总数为5,472,730,538个(数字从一楼引用),那么这些所有终盘的最少提示数应该有一个最大值。打个比方说最大值是34,那么任意的一个终盘,都能出一个题目,提示数不超过34。我就是想知道这个最大值是多少?

分享这篇文章


链接文章
分享到其他网站

。。。因为每个终盘的最少提示数是不同的。而不等价的终盘总数为5,472,730,538个(数字从一楼引用),那么这些所有终盘的最少提示数应该有一个最大值。打个比方说最大值是34,那么任意的一个终盘,都能出一个题目,提示数不超过34。我就是想知道这个最大值是多少?

  • 我用另一种方式解释:一个终盘最多可挖掉多少数字仍有唯一解。
  • 这样的一个议题还没人研究过,因为终盘数太多了(5,472,730,538)。
  • 即使是某一终盘可以挖掉的最多数字似乎也没有人用心研究过。
  • 根据我的出题经验,最多提示数应当远低於60,可能在25以下。

     

    TTHsieh

分享这篇文章


链接文章
分享到其他网站

 

  • 我用另一种方式解释:一个终盘最多可挖掉多少数字仍有唯一解。
  • 这样的一个议题还没人研究过,因为终盘数太多了(5,472,730,538)。
  • 即使是某一终盘可以挖掉的最多数字似乎也没有人用心研究过。
  • 根据我的出题经验,最多提示数应当远低於60,可能在25以下。

     

    TTHsieh

 

谢谢您的解惑。

分享这篇文章


链接文章
分享到其他网站

建立一个帐号或登录来留意见

您需要成为会员才能留意见

建立一个帐号

注册成为我们的会员。这只要几个简单步骤!


注册新帐号

登录

已经有帐号?请在这里登录。


立即登录
登录来追随这个  
追随者 0