作者EIORU ()
看板puzzle
标题[Sudoku] 数独解法 第十二部份
时间Sat Mar 17 01:27:19 2007
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)