数独技巧

AIC(交替推理链)

极难

AIC代表交替推理链,是通过棋盘强链接和弱链接交替的链。

在实践中看到该技巧

逐步通过示例。每个步骤解释你在棋盘上看到的以及为什么结论成立。

示例:
  1. 我们从第3行第8列中的数字3开始。

你如何识别该模式

AIC代表交替推理链,在强和弱链接之间交替的链。强链接意味着两个候选数中至少一个必须正确,例如单元中数字的两个唯一位置或两值单元格中的两个候选数。弱链接意味着最多一个可以正确,如同一单元中的两个相似候选数。

当链全程交替强、弱、强、弱时,末端的行为就像一个普通的强对:至少一个必须正确。如果链以相同的数字开始和结束,该数字可以从所有看到两个末端的单元格删除。AIC是许多命名技巧背后的通用框架,而且简单着色和XY-Wing都可以写成短AIC链。

逐步程序

  1. 找到一个数字的强链接并让其中一个末端是链的起点。
  2. 通过交替继续:强链接后面跟着一个弱,一个弱后面必须来一个新的强。
  3. 继续直到你到达一个与起点相同数字的候选数,两个末端都有强链接。
  4. 从所有看到链两个末端的单元格删除该数字。

常见错误

  • 连续使用两个弱链接。那样逻辑破裂,链末端的结论没有价值。
  • 认为末端是圣经。链只证明至少一个末端是正确的,而不是哪个。
  • 将强链接当作单向。强链接可以总是被用作弱,但弱链接永远不能被当作强。

什么时候你需要该技巧?

最困难的棋盘需要遵循整个棋盘长逻辑链的技巧。它们在实践中是证明:假设什么,遵循后果,看看什么不能成立。通过下面的示例,一步步进行,使用求解器在你自己的棋盘上使用的相同工具。

在你自己的棋盘上尝试

在数独求解器中输入你的棋盘,它找到下一步并解说该技巧。

打开数独求解器