Sudokuen 数独技巧：逐步学习 AIC（交替链接）

在实践中看到该技巧

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

示例：

我们从第3行第8列中的数字3开始。
强链接导致第3行第8列。如果3在前一个单元格中不是真的，那么9必须在这里。
弱链接导致第3行第9列。如果9在前一个单元格中是真的，那么9在这里不能是真的。
强链接导致第3行第9列。如果9在前一个单元格中不是真的，那么3必须在这里。
链从头到尾交替强链和弱链，所以第3行第8列和第3行第9列中至少一个必须包含3。我们从第3行第2列, 第3行第5列和第3行第6列的注记中删除它。

我们从第1行第6列中的数字4开始。
强链接导致第1行第9列。如果4在前一个单元格中不是真的，那么4必须在这里。
弱链接导致第2行第9列。如果4在前一个单元格中是真的，那么4在这里不能是真的。
强链接导致第2行第6列。如果4在前一个单元格中不是真的，那么4必须在这里。
链从头到尾交替强链和弱链，所以第1行第6列和第2行第6列中至少一个必须包含4。我们从第5行第6列的注记中删除它。

我们从第1行第7列中的数字9开始。
强链接导致第7行第7列。如果9在前一个单元格中不是真的，那么9必须在这里。
弱链接导致第7行第9列。如果9在前一个单元格中是真的，那么9在这里不能是真的。
强链接导致第1行第9列。如果9在前一个单元格中不是真的，那么9必须在这里。
链从头到尾交替强链和弱链，所以第1行第7列和第1行第9列中至少一个必须包含9。我们从第1行第2列和第1行第3列的注记中删除它。

我们从第2行第2列中的数字5开始。
强链接导致第2行第3列。如果5在前一个单元格中不是真的，那么5必须在这里。
弱链接导致第2行第7列。如果5在前一个单元格中是真的，那么5在这里不能是真的。
强链接导致第9行第7列。如果5在前一个单元格中不是真的，那么5必须在这里。
链从头到尾交替强链和弱链，所以第2行第2列和第9行第7列中至少一个必须包含5。我们从第2行第7列的注记中删除它。

我们从第1行第8列中的数字1开始。
强链接导致第1行第4列。如果1在前一个单元格中不是真的，那么1必须在这里。
弱链接导致第2行第5列。如果1在前一个单元格中是真的，那么1在这里不能是真的。
强链接导致第6行第5列。如果1在前一个单元格中不是真的，那么1必须在这里。
链从头到尾交替强链和弱链，所以第1行第8列和第6行第5列中至少一个必须包含1。我们从第6行第8列的注记中删除它。

AIC 即交替推理链，是在强链和弱链之间交替延伸的链。强链表示两个候选数中至少一个为真，例如某个数字在一个单元中的仅有两个位置，或一个双值格中的两个候选数。弱链表示两者至多一个为真，例如同一单元中数字相同的两个候选数。

当整条链按强、弱、强、弱交替连接时，两端就像一对普通强链：至少一端必为真。如果链以同一个数字开始和结束，就可以从所有同时看到两端的格子中排除该数字。AIC 是许多具名技巧的通用框架，简单染色和 XY-Wing 都可以表示为较短的 AIC。

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

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

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

在数独求解器中试用此技巧