先來介紹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個
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 125.229.178.234