单元格强制链组

原理

因为

• 对于单元格Cell的候选数X，存在2 条链Chain[1,2]

  • 若单元格填入数字X，由Chain[1]可推得命题Statement成立

  • 若单元格不填入数字X，由Chain[2]可推得命题Statement成立

所以

• 命题Statement成立。

技巧转换

• [[链]]：从链中某一单元格的视角，分析链的两段

SudokuWiki.org - Digit Forcing Chains