[問題] 數獨求解

[chiuyc (chiuyc)]

大家好

要麻煩大家幫忙給個提示了，Thanks

https://i.imgur.com/JvNGmAe.png

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 223.140.123.75 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/puzzle/M.1636123712.A.09F.html
推 ACGfans: https://i.imgur.com/GEasQCA.png
→ ACGfans: 觀察黃色四格 可以把綠色格子內的7候選排除掉
→ ACGfans: 因為如果綠色格子是7 就會造成黃色四格都是28 變多重解
→ ACGfans: 因此左邊數來第四列 7只有可能在橘色格子
→ chiuyc: 感謝您的提示，填完7後又卡住了
→ chiuyc: https://i.imgur.com/W2zvdmZ.jpg
推 stimim: https://imgur.com/a/VcuLBNP (兩張圖)
→ stimim: 看 c6, c7 的 4 ，可以排除 r2c8 的 4 ，得到一個 5
→ stimim: 接下來就沒有好方法了，r6c5不論是 4 或 6 ，r6c7 都是 2
→ chiuyc: 感謝您的提示，有點懂又不太懂，能跟您請教看看這是哪一種
→ chiuyc: 技巧名稱嗎?
推 LPH66: 9F 的這種技巧的推廣有聽過稱做 bifurcation
→ LPH66: 同時考慮僅有的兩個分支 (所以叫這名字)
→ LPH66: 如果其一出現矛盾則解為另一分支
→ LPH66: 或是像這裡這樣兩者都共同推得一個結論故此結論必正確
→ LPH66: 因為算是快走投無路時才在用的所以不太好用，也有人不喜歡
推 stimim: 第二張圖就是暴力解，第一張圖的重點是上方兩個綠色一定有
→ stimim: 一個是 4 ，所以這兩格都可以看到的格子不能是 4
→ stimim: 第二張圖還有一個作法是，如果r4c5不是6卻有解的話，
→ stimim: 那會有兩個解，在題目有唯一解的前提下矛盾
→ stimim: 但是使用"唯一解"相關的技巧也有很多人不喜歡
→ stimim: bifurcation廣義來說就是試誤法，在不確定會不會造成矛盾
→ stimim: 前提下猜其中一種可能性。但有時候這和反證法其實很像
→ stimim: 往前看幾步以上是試誤法幾步以下是反證法沒有明確的界線
→ chiuyc: 感謝大家資訊提供，會好好研究試誤法