數獨求解 - 數獨

※ 引述《empowering (大頭)》之銘言：
╭─┬─┬─╥─┬─┬─╥─┬─┬─╮
│4 │ │8 ║ │ │1 ║ │7 │3 │ Uniqueness Test 6
├─┼─┼─╫─┼─┼─╫─┼─┼─┤ (因為"答案唯一"才有的方法)
│9 │ │A ║ │8 │3 ║4 │ │B │ (1) 1 的位置剩下 ABCD 四處
├─┼─┼─╫─┼─┼─╫─┼─┼─┤
│ │3 │C ║ │7 │ ║6 │8 │D │ (2) A(127) B(12) C(12) D(129)
╞═╪═╪═╬═╪═╪═╬═╪═╪═╡
│ │ │3 ║7 │1 │ ║8 │9 │4 │ (3) 因為 答案唯一 所以
├─┼─┼─╫─┼─┼─╫─┼─┼─┤
│ │8 │9 ║ │ │ ║ │1 │ │ -- "A不是7" 且 "D不是9" 此敘述錯誤
├─┼─┼─╫─┼─┼─╫─┼─┼─┤ -- "A是7" 或 "D是9" 此敘述正確
│7 │1 │4 ║8 │2 │9 ║ │ │6 │ -- AD至少一個不是1
╞═╪═╪═╬═╪═╪═╬═╪═╪═╡
│1 │ │6 ║ │5 │8 ║ │4 │ │
├─┼─┼─╫─┼─┼─╫─┼─┼─┤ PS. 若 "A不是7" 且 "D不是9"
│8 │4 │ ║1 │ │ ║ │ │5 │ 最後 ABCD 候選數皆為 (12) >多解
├─┼─┼─╫─┼─┼─╫─┼─┼─┤ 或者 其他地方無解
│3 │9 │5 ║ │ │7 ║1 │ │8 │
╰─┴─┴─╨─┴─┴─╨─┴─┴─╯ (4) 可得 B,C 都是1

--