1. 单元格强制链组

1.1. 原理

因为

• 对于单元格Cell的候选数X，存在2 条链Chain[1,2]
  • 若单元格填入数字X，由Chain[1]可推得命题Statement成立
  • 若单元格不填入数字X，由Chain[2]可推得命题Statement成立

所以

• 命题Statement成立。

1.1.1. 技巧转换

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

SudokuWiki.org - Digit Forcing Chains