※ 引述《Korit (KT)》之銘言：
: sorry，由於想說的話有點多 所以重回一篇
: 首先感謝大大的幫忙，小弟發現可能是我說的不太清楚
: 大大提供的解法是這樣的
: <若XX填OO，則.......中略.....結果矛盾，所以XX得填YY>
只要是 Forcing chain 以上(註1) 就一定需要用到這樣的邏輯(幾個最簡明的邏輯方式)
(1).若X為A , ... 中略 ... , 則X不為A , 所以X不為A
(2).若X不為A , ... 中略 ... , 則X為A , 所以X為A
(3).若X為A , ... 中略 ... , 則Y不為A ,
且若X不為A , ... 中略 ... , 則Y不為A , 所以Y不為A
(4).若X為1~9 , ... 中略 ... , 則Y不為A , 所以Y不為A
(5).若X1~X9為A , ... 中略 ... , 則Y不為A , 所以Y不為A (X1~X9同行or列or宮)
等等...
原題 剩餘的候選數
ABC DEF GHI A B C D E F G H I
1 971 624 583 x x x x x x x x x
2 2.3 985 1.7 x (4,6) x x x x x (4,6) x
3 .8. 173 ... (5,6) x (4,5,6) x x x (2,9) (4,6,9) (2,4,6)
4 439 517 628 x x x x x x x x x
5 827 369 415 x x x x x x x x x
6 1.. 248 379 x (5,6) (5,6) x x x x x x
7 79. .5. .31 x x (4,6) (4,8) x (2,6) (2,8) x x
8 .18 .3. ... (5,6) x x (4,7) x (2,6) (2,7,9) (4,5,6,9) (2,4,6)
9 3.2 .91 ... x (4,5,6) x (4,7,8) x x (7,8) (4,5,6) (4,6)
名稱 過程 結果
(1) HiddenPair D9,G9必為(7,8) D9!=4
(2) XYZ-wing I8為2,4,6分別使F8,I9,I8為6 H8!=8
(3) Forcing X-Chain H8=4,D8!=4; D8!=4,D7=4; D7=4,C7!=4;
C7!=4,B9=4; B9=4,B2!=4; B2!=4,H2=4; H2=4,H8!=4 H8!=4
(4) Forcing Chain B2!=4,B2=6; B2=6,A3!=6; A3!=6,A3=5;
A3=5;A8!=5; A8!=5,B9=5; B9=5,B9!=4; B9!=4,B2=4 B2=4
剩下來的就不需要什麼有難度的方法了
此題目不巧的必須"至少"使用到這種方式1次(第4項)
(註2)
所以, 沒辦法不用此邏輯完成
試試換別的題目吧
: 小弟想問的是，有沒有不要這樣先假設某個地方該填啥才去矛盾的解法
: 我想要每一格每一格的數獨都可以用推理很肯定的解出來
: 不想要用"假定某個數，導致矛盾"這種解法?
: 不知道有沒有這樣的解法呢?
: 小弟表達能力似乎變糟了@@ 希望大大看的懂 SORRY了
註1
Bidirectional X-Cycles
Turbot Fish
Forcing X-Chains
Bidirectional Y-Cycles
Bidirectional Cycle
此五項方法 是否要用 "因為... 所以..." 就看感覺了
它們對Forcing Chain來說 路徑短 變數少 敘述數量少 簡單很多
註2
引用一個題目
1.. ... ..9
..6 7.. .2.
.8. ... 5..
... .6. .7.
... 3.8 ...
..4 27. ...
.9. ... 8..
5.. ... ..1
..2 .4. .3.
經過計算 它"至少"要用到79次這種方式
(從ForcingChain到DynamicContradictionForcingChains(+MultipleForcingChain))
當然 還有要比它用更多次的題目..
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 125.229.168.202
※ 編輯: EIORU 來自: 125.229.168.202 (06/07 05:18)
※ 編輯: EIORU 來自: 220.130.210.241 (04/22 16:12)