數獨解法 第十部份 - 數獨

Table of Contents

先來介紹Forcing Chain
就像一條鍊子


若A為1, 則B不為2.
若B不為2, 則B為3.
若B為3, 則C不為3.
若C不為3, 則C為4.
. .
. .
. .
若N為5, 則M不為5.
若M不為5, 則M為1.
若M為1, 則A不為1. =>產生矛盾=>A!=1

隨著A~M之間的數量越多, 難度越高.

另外Forcing X-Chain 就是它一部分的簡化
若A為1, 則B不為1.
若B不為1, 則C為1.
若C為1, 則D不為1.
. .
. .
. .
若N不為1, 則M為1.
若M為1, 則A不為1. =>產生矛盾=>A!=1

鍊子裡相關聯的只有1這個變數, 不像Forcing Chain 可以2~9個

--

All Comments