• 公告

    • 叶卡林娜

      捐赠本站 (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(金策) 谜者老芦 - 芦向明
叶卡林娜

[数独高级技巧入门]链的逻辑及AIC

66 篇文章在这个主题里

这个帖子主要想阐述链是什么,怎么使用链,以及链的逻辑过程,帮助大家首先了解原理,那么以后关于chain、wing之类的按照这个思路都非常容易理解。

首先我想说明下什么是“强”关系,什么是“弱”关系?

强关系是说A与B两个事件,假如A不成立,则B一定成立。

弱关系是说A与B两个事件,假如A成立,则B一定不成立。

举一个简单的例子帮助大家体会:

1.PNG

(图中被划短横线的格表示不含候选数1)

这是一个数独的宫,根据数独规则一个宫内出现数字1-9各一次,可以做出以下两点推断:

1.左上格不是1,则右中格一定是1;

2.左上格是1,则右中格一定不是1。

第一种推断得到这两格的1是强关系,所以可以说两格之间形成一条强链,强链我们通常以双横线表示(==);

第二种推断得到这两格的1是弱关系,所以可以说两格之间形成一条弱链,弱链我们通常以单横线表示(——)。

 

再举一个例子:

2.PNG

(图中被划短横线的格表示不含候选数1)

上图可以做出三大点推断:

1.左上格是1,则中上格及右中格一定不是1;

2.中上格是1,则左上格及右中格一定不是1;

3.右中格是1,则左上格及中上格一定不是1。

这个例子里,存在着3条弱链,分别是(左上--中上)、(左上--右中)、(中上--右中)。

 

叶卡林娜

分享这篇文章


链接文章
分享到其他网站

上面说的是同一数字的强弱关系,当然强弱关系可以不局限于一个数字,下面用例子来说明:
1.PNG
(图中被短横线划掉的格说明未知其候选数情况)
根据左上格的候选数仅有1与2可以做出以下推断:
1.如果该格不能是1,则一定为2;
2.如果该格是1,则一定不是2。
推断一说明数字1与2之间是强关系,形成强链;推断二说明其为弱关系,形成弱链。

2.PNG
(图中被短横线划掉的格说明未知其候选数情况)
左上格有3个候选数,我们可以做出以下推断:
1.如果这格为1,则不能为2或3;
2.如果这格为2,则不能为1或3;
3.如果这格为3,则不能为1或2。
数字1与2、2与3、1与3之间分别为一条弱链。

像第二张图这样的关系推断,大家可能会不以为意,但是这是理解强弱关系的一个很好的例子,对于后面将要叙述的内容也会有所帮助。


叶卡林娜

分享这篇文章


链接文章
分享到其他网站

相信通过上面的说明大家已经了解了强弱链是什么,接下来我们将强弱链连接起来。

第一种情况:A==B--C==D

由A的真假情况可以做出以下BCD关系的枚举。

再次请大家注意本文开头所提到的强弱关系本质

1.强关系是说A与B两个事件,假如A不成立,则B一定成立。

2.弱关系是说A与B两个事件,假如A成立,则B一定不成立。

1.PNG

(图中红色部分表示根据上一个的真假情况必然是这样的推导)

可见A与D不全为假,即A与D一定有一个为真。

当A与D有等位群格位的交集时,即可做出相应删减。

 

叶卡林娜

分享这篇文章


链接文章
分享到其他网站

1.PNG

(图示技巧名为Skyscraper)

根据强弱关系,我们找到了一条符合A==B--C==D的强弱链组:r3c1(2)==r3c7(2)--r9c7(2)==r9c2(2)。

根据上文提到的逻辑关系,可以得到r3c1=2与r9c2=2至少有一个成立,所以可以删去它们等位群格位的交集(即橙色区域)的候选数2。

 

补充说明:
发现很多人对于第七列的画法存在疑问,为什么不标双线(强链),因为这里运用的是“是A非B”的弱关系,所以只能是标单线(弱链)的,关于“强强强”的链接我们在
提到是无法得到任何结论的。我们可以从强弱关系的逻辑把上述这条链走一遍,共有以下两种情形:

1)r3c1=2;

2)r3c1<>2 -> r3c7=2(强关系,非A是B) -> r9c7<>2(弱关系,是A非B) -> r9c2(强关系,非A是B)。

也就是r3c1和r9c2至少有一个是2(强关系,非A即B),如果r3c7和r9c7之间用强关系的逻辑(非A即B)看的话,从r3c7=2是无法得到r9c7<>2的,这条推理也就到此为止,无法进行下去。

若换一种观点,仍然看2,有r1c2==r9c2--r9c7==r3c7,此时就需要使用r9c7和r3c7的强关系了。所以强弱关系是按照需要来使用的,将逻辑连贯起来;另一方面,很多人会认为强关系包括了弱关系,因为“非A即B”的逻辑是不包括“是A非B”的逻辑的,所以这当然是错误的观点,强弱关系是两种不同的逻辑,且是相互独立的。

 

叶卡林娜

分享这篇文章


链接文章
分享到其他网站

  • 根据叶卡林娜前面对于强链的叙述,以下是一个双强链的实例,也是大家耳熟能详的 X-Wing。

    post-3-1275126679.png
    1. 上左图,数字 4 在 C4,C8 形成 X-Wing。

    2. 上右图,R2,R4 除了形成 X-Wing 的四格之外,其它格位不能存在数字 4,因此画 X 处就是可以删减候选数 4 的格位。

TTHsieh

 

● X-Wing用之前提到的强弱强链观察可以找到2组,以上图为例:

 r2c4==r4c4--r4c8==r2c8,得到r2c4与r2c8的4至少有一个成立,所以可以删除R2其他格的候选数4;

 r4c4==r2c4--r2c8==r4c8,得到r4c4与r4c8的4至少有一个成立,所以可以删除R4其他格的候选数4。

叶卡林娜

分享这篇文章


链接文章
分享到其他网站

  • 有时运用不同的强弱强链,能达到相同的删减效果,下面就是一个例子:
    1.PNG 2.PNG
     
  • 左侧使用的是r5c1==r5c9--r3c9==r1c7的强弱强链;
  • 右侧使用的是r3c2==r3c9--r5c9==r5c1的强弱强链。
  • 两种观察方法均可以删除r1c1的候选数1。

 

叶卡林娜

分享这篇文章


链接文章
分享到其他网站

  • 上面的几个例子都是关于单一数的强弱强链的,在数独的解题技巧里我们将这类成为X-Chain。
  • 关于单一数链应用我们放在 双强链解法的运用 这个主题中继续讨论。
  • 当把链的条数增加的时候,也就是A==B--C==D--E==F时,也能够推导出A与F至少有一个为真,这边就不做枚举了,大家可以自行推导下。
  • 下面来看一些牵扯到异数的强弱强链的例子。

 

叶卡林娜

分享这篇文章


链接文章
分享到其他网站

  • 要说异数强弱强的关系肯定要提到XY-Wing了,下面是一个XY-Wing的例子:
    1.PNG
  • (图中三格的候选数由点算即得)
  • 通常解释XY-Wing原理的时候会用如果r4c2=1则r5c1=4;如果r4c2=9则r4c8=4,所以不论r4c2是1还是9,r5c1与r4c8中至少有一个是4,
    从而得到r5c1与r4c8的等位群格位交集部分(图中蓝色格)不含4。
  • 这样是不是有点猜测的味道呢?很多人都说高级技巧是把猜的东西合理化,其实不然。
  • 用强弱强链的观点可以这样看r5c1(4)==r5c1(1)--r4c2(1)==r4c2(9)--r4c8(9)==r4c8(4),
    也是得到r5c1与r4c8中至少有一个是4,这样的观察是不是更逻辑化呢?欢迎大家提出你的看法。

 

叶卡林娜

分享这篇文章


链接文章
分享到其他网站

  • 与XY-Wing较相近的要数XY-Chain。
  • XY-Wing由三格组成,分别为xy格,xz格,yz格。XY-Chain不止三格,需要把一些格合并当作XY-Wing组成格之一来看。(这些我们会在相应主题再讨论)
  • 下面来看一个例子:
    1.PNG
  • 这里就不用如果怎么则怎么来解释了,毕竟通过上面一些介绍,大家可以用强弱强这样的逻辑关系解释,不需要用如果怎么样的解释。
  • 以XY-Wing的观点来看的话可以将r4c2作xy格,r4c9作xz格,{r5c1, r5c2}作为yz格。
  • 以强弱链的观点来看略复杂,因为由4条强链组成,请大家以r4c9为起点依次观察交替的强链(红色)、弱链(绿色)。
  • 可以得到两端点r5c1(1)、r4c9(1)至少有一个成立,所以可删除两者交集r5c89的候选数1。

 

叶卡林娜

分享这篇文章


链接文章
分享到其他网站

有的时候我们可以把两格看作一组,例如在 双强链解法运用 中的第六题:
1.PNG
r1c4(7)==r5c4(7)--r5c2(7)=={r1c2, r2c2}(7)
得到{r1c2, r2c2}与r1c4至少有一个为7。
所以可以删除{r1c2, r2c2}与r1c4等位群格位的交集r1c3的候选数7。

叶卡林娜

分享这篇文章


链接文章
分享到其他网站

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

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

建立一个帐号

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


注册新帐号

登录

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


立即登录