数独技巧

ALS(欠一数组)

极难

ALS 即欠一数组:由同一单元中的 n 个格子和 n+1 个候选数组成。该技巧通过一个共同数字连接两个这样的数组。

在实践中看到该技巧

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

示例:
  1. 查看第1行第3列和第1行第7列中的标记单元格。总共,它们有超过单元格数量的一个候选数,一个几乎锁定的集合。

你如何识别该模式

ALS 即欠一数组。锁定数组由同一单元中的 n 个格子和 n 个候选数组成;欠一数组则多一个候选数,也就是 n 个格子共有 n+1 个候选数。一个双值格就是最小的欠一数组。该技巧通过一个共同数字连接两个这样的数组。

连接数字X必须受限:第一个集合中所有有X的单元格都必须看到第二个集合中的所有有X的单元格,使得只有一个集合可以最终使用X。失去X的集合被锁定,必须使用其所有剩余的数字。如果集合另外共享另一个数字Z,则Z被一个集合无论如何使用,Z可以从所有看到两个集合中所有Z候选数的单元格删除。

逐步程序

  1. 寻找两个单元格组,其中每个组在一个单元中并有超过单元格数量一个候选数。
  2. 找一个共同的数字X,其中第一个组中的所有X候选数看到第二个组中的所有X候选数。
  3. 找在两个组中发现的另一个共同数字Z。
  4. 从组外看到两个组中所有Z候选数的所有单元格删除Z。

常见错误

  • 数错候选数。该组中不同候选数的数量必须恰好比单元格数量多一个,否则集合不是几乎锁定的。
  • 使用不受限的连接数字。如果第一个集合中的不是所有X候选数看到第二个集合中的所有,两个集合都可以使用X,逻辑失效。
  • 从只看到一些Z候选数的单元格删除Z。删除需要看到两个集合中每个Z候选数。

什么时候你需要该技巧?

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

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