數獨解法 第十二部份 - 數獨

Dynamic Contradiction/Region/Cell/Double Forcing Chain

Dynamic 的出現 代表這個鍊子的路徑 更加的長 難以尋找

而多出了新的形容詞

Dynamic Contradiction 為 Nishio 的進階
都是從一點出發 經過兩條路徑 產生兩個互斥的結果
差別為 Nishio路徑短 變數只有1個
Dynamic Contradiction 路徑長 變數很多(>=2)

Dynamic Region/Cell 就是為 Region/Cell 的進階
而且單純的差在路徑的長短

Dynamic Double 則是
從某一點出發 當該點為某數字或不為該數字時
都可以推到終點(可以是原點 也可以是其他點)出現相同結果

而這四種 分別有它們各自更長 更難的路徑
因而產生
Dynamic Con/R/C/D Forcing Chain(+)
Dynamic Con/R/C/D Forcing Chain(+ Forcing Chains)
Dynamic Con/R/C/D Forcing Chain(+ Multiple Forcing Chains)
Dynamic Con/R/C/D Forcing Chain(+ Dynamic Forcing Chains)

粗略估計每條路徑在"因為...所以..."的敘述數量可以高達50次
因此找尋此方法對電腦來說 開始成為長時間的動作
而最後一項 可能要花上數小時 才能尋找的到

引用兩個題目

500000009
020100070
008000300
040702000
000050000
000006010
003000800
060004020
900000005 by m_b_metcalf

500000009
020100070
008000300
040002000
000050000
000706010
003000800
060004020
900000005 by StrmCkr

都要用到數次最後一個Level的題目

--