作者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/m.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