TTHsieh
管理员™TTHsieh 发表的所有内容
-
TTHsieh
-
关于强弱链的定义请先参考链的逻辑。 本帖将讨论单一数字利用强弱链关系所形成的一些技巧，有X-Wing、Skyscraper、Turbot Fish等等不同的结构，但是他们的本质都是相同的。 构成矩形摒除（X-Wing）需要四个节点（节点指需要观察的数字个数），要直接观察到并不容易。 箭鱼摒除（Swordfish）有 6～9 个节点，观察极度困难，即使懂得这种方法，也很难运用在解题过程中。 有一种解法叫做简易分色法（Simple Coloring）是利用单数的强链导出矛盾的删减法。 简易分色法是解析出一条色链之后，可同时得到多个格位的解，在使用候选数时，是很不错的观察方向，但要观察的格位太多，因此不适用于直观。 有一种解法称做多宝鱼（Turbotfish）解法，它是由五个节点所构成，观察比较容易。 多宝鱼解法与简易分色法不同之处是简易分色法全部由强链构成，而多宝鱼解法则由强链与弱链构成，因此结构形成的机会很大。 多宝鱼解法虽然只有 5 个格位，但要观察也是不容易的，因此我们将之解构为双强链 (Two Strong Link)，观察两条强链容易多了。 TTHsieh
-
-
我也觉得奇怪，看了几次都还不知道题目哪里有错。
-
你若想搞清楚链的逻辑，建议你从双强链（四节点的单数链）、XY-Wing（六节点的三数链 – 跨区三链数）及Y-Wing（六节点的交互链 - 数对及双位链的连接）开始，这些概念是链的基础。理解之后，再延伸出去就是强制链（forcing chain）。
-
另一种推导矛盾的方法如下图所示， r5c3=5 则第五行将没有 1 可填，因此 r5c3<>5。
-
若上图还不理解的话，继续推会得到r5c3<>5，产生矛盾，因此 r5c3不能是5。数链推导的过程中，若发生同格同数产生弱链，自我矛盾，就是一般习称的不连续环。
-
这是矛盾的推导方式，若 r5c3=5 按箭头方向可以推导出 r5c3=1，r5c3 可填 5 也可填 1，显然与数独题有唯一解的前提互相矛盾，因此 r5c3<>5。
-
所有涉及到删数逻辑的技巧都是属于【数链】，解题技巧的各种名称无非是把数链的某些特定结构予以模板化便于观察，如区块、数对、三链数、双强链、XY-Wing、X-Chain, XY-Chain ……如此而已。
-
这个盘势相当复杂，使用了矛盾链，橘色若不为7，拉出三条链，终点都在第八行，造成第八行无4可填，因此橘色为7。
-
第一图是 XY-Wing，第二图是 AIC。
-
r5c9=9
-
-
r9c3(8)==r9c9(8)--r13c9(8)==r3c8(8) -> r3c3<>8
-
题 目：Diabolic - 3P- 001 答 案： 第一解：由 roccloud 提出 第二解： 第三解：
-
題 目：Diabolic - 3P- 031 答 案： 第一解：由 cobra_zj 提出 第二解：由 troststx 提出 第三解：由 baqktdgt 提出
-
#031=000080500240006000007000030602000100900405007004000309080000600000700015009050000 SE=8.4/7.3/2.6; Hodoku=Unfair(3818)
-
題 目：Diabolic - 3P- 030 答 案： 第一解： 第二解： 第三解：
-
#030=630000000002001050018700000020030004000102000900040070000004790050900100000000086 SE=8.5/8.5/3.0; Hodoku=Extreme (6064)
-
題 目：Diabolic - 3P- 029 答 案： 第一解：由 troststx 提出 第二解： 第三解：
-
#029=900004300700900000001005040008020010400000007020030600060100500000008006005600002
-
題 目：Diabolic - 3P- 028 答 案： 第一解：由 cobra_zj 提出 第二解：由 troststx 提出 第三解：
-
#028=000740010000003006002000340020060000008201500000050070064000800300900000070014000
