作者chiuyc (chiuyc)
看板puzzle
标题[问题] 数独求解
时间Fri Nov 5 22:48:30 2021
大家好
要麻烦大家帮忙给个提示了，Thanks
https://i.imgur.com/JvNGmAe.png
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 223.140.123.75 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/puzzle/M.1636123712.A.09F.html
2F：→ ACGfans: 观察黄色四格 可以把绿色格子内的7候选排除掉 11/06 02:38
3F：→ ACGfans: 因为如果绿色格子是7 就会造成黄色四格都是28 变多重解 11/06 02:39
4F：→ ACGfans: 因此左边数来第四列 7只有可能在橘色格子 11/06 02:40
5F：→ chiuyc: 感谢您的提示，填完7後又卡住了 11/06 09:46
8F：→ stimim: 看 c6, c7 的 4 ，可以排除 r2c8 的 4 ，得到一个 5 11/06 14:50
9F：→ stimim: 接下来就没有好方法了，r6c5不论是 4 或 6 ，r6c7 都是 2 11/06 14:50
10F：→ chiuyc: 感谢您的提示，有点懂又不太懂，能跟您请教看看这是哪一种 11/06 15:34
11F：→ chiuyc: 技巧名称吗? 11/06 15:34
12F：推 LPH66: 9F 的这种技巧的推广有听过称做 bifurcation 11/06 15:44
13F：→ LPH66: 同时考虑仅有的两个分支 (所以叫这名字) 11/06 15:45
14F：→ LPH66: 如果其一出现矛盾则解为另一分支 11/06 15:46
15F：→ LPH66: 或是像这里这样两者都共同推得一个结论故此结论必正确 11/06 15:46
16F：→ LPH66: 因为算是快走投无路时才在用的所以不太好用，也有人不喜欢 11/06 15:48
17F：推 stimim: 第二张图就是暴力解，第一张图的重点是上方两个绿色一定有 11/06 16:42
18F：→ stimim: 一个是 4 ，所以这两格都可以看到的格子不能是 4 11/06 16:42
19F：→ stimim: 第二张图还有一个作法是，如果r4c5不是6却有解的话， 11/06 16:43
20F：→ stimim: 那会有两个解，在题目有唯一解的前提下矛盾 11/06 16:44
21F：→ stimim: 但是使用"唯一解"相关的技巧也有很多人不喜欢 11/06 16:45
22F：→ stimim: bifurcation广义来说就是试误法，在不确定会不会造成矛盾 11/06 16:49
23F：→ stimim: 前提下猜其中一种可能性。但有时候这和反证法其实很像 11/06 16:50
24F：→ stimim: 往前看几步以上是试误法几步以下是反证法没有明确的界线 11/06 16:51
25F：→ chiuyc: 感谢大家资讯提供，会好好研究试误法 11/06 19:06