AIC(交替推理链)
AIC代表交替推理链,是通过棋盘强链接和弱链接交替的链。
在实践中看到该技巧
逐步通过示例。每个步骤解释你在棋盘上看到的以及为什么结论成立。
示例:
- 我们从第3行第8列中的数字3开始。
你如何识别该模式
AIC代表交替推理链,在强和弱链接之间交替的链。强链接意味着两个候选数中至少一个必须正确,例如单元中数字的两个唯一位置或两值单元格中的两个候选数。弱链接意味着最多一个可以正确,如同一单元中的两个相似候选数。
当链全程交替强、弱、强、弱时,末端的行为就像一个普通的强对:至少一个必须正确。如果链以相同的数字开始和结束,该数字可以从所有看到两个末端的单元格删除。AIC是许多命名技巧背后的通用框架,而且简单着色和XY-Wing都可以写成短AIC链。
逐步程序
- 找到一个数字的强链接并让其中一个末端是链的起点。
- 通过交替继续:强链接后面跟着一个弱,一个弱后面必须来一个新的强。
- 继续直到你到达一个与起点相同数字的候选数,两个末端都有强链接。
- 从所有看到链两个末端的单元格删除该数字。
常见错误
- 连续使用两个弱链接。那样逻辑破裂,链末端的结论没有价值。
- 认为末端是圣经。链只证明至少一个末端是正确的,而不是哪个。
- 将强链接当作单向。强链接可以总是被用作弱,但弱链接永远不能被当作强。
什么时候你需要该技巧?
最困难的棋盘需要遵循整个棋盘长逻辑链的技巧。它们在实践中是证明:假设什么,遵循后果,看看什么不能成立。通过下面的示例,一步步进行,使用求解器在你自己的棋盘上使用的相同工具。