作者EIORU ()
看板puzzle
标题[Sudoku] 数独解法 第十一部份
时间Sat Mar 17 00:58:17 2007
Nishio/Region/Cell Forcing Chain
用着 Forcing Chain 的 因为-所以 产生矛盾的方法
衍伸出许多其他的循环方式
原本 Forcing Chain 是从1个点出发 经过1条路径 回到原点产生矛盾,
延伸後
Nishio是从A点出发 A=1 经过2条路径 到达B点 第一条路径说B=1 第二条则B!=1 因此A!=1
值得注意的是 变数从头到尾只有一种数字 此例里都是"1"
Region是从某一行(列,宫)出发 如某行有A,B,C可以为1 分别经过一条路径
到达了D点 且共同的得到 D不等於x (x可为1~9)
因此 这个推论是对的 得到 D!=x
Cell 和Region相当 从某一格出发 如某一格可以为A,B,C 分别经过一条路径
到达了D点 且共同的得到 D不等於x (x可为1~9)
因此 这个推论是对的 得到 D!=x
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 125.229.178.234