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

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

--