[Sudoku] 數獨解法 第十二部份
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的題目
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 125.229.178.234
※ 編輯: EIORU 來自: 125.229.168.202 (06/07 05:26)
puzzle 近期熱門文章
5
21
PTT遊戲區 即時熱門文章
-25
52
