BUG+1
BUG+1利用有效数独棋盘不能在所有空单元格都恰好有两个候选数的状态中结束的事实。该状态称为双值通用坟墓。
在实践中看到该技巧
逐步通过示例。每个步骤解释你在棋盘上看到的以及为什么结论成立。
示例：
- 查看整个棋盘。除了一个单元格外，所有其他空单元格都恰好有两个候选数。
你如何识别该模式
BUG代表双值通用坟墓，一个所有空单元格都恰好有两个候选数的状态。这样的棋盘不能有唯一的解，所以有效数独永远不能在那里结束。BUG+1发生于棋盘一步之外：所有空单元格都有两个候选数，除了一个有三个。
这个特殊格子必须打破 BUG 状态。在它所在的行、列和宫中，有一个数字的候选出现次数与另外两个不同；必须填入这个数字，才能避免盘面进入多解状态。该模式通常出现在高难题的收尾阶段。
逐步程序
- 检查棋盘上的所有空单元格都有恰好两个候选数，一个例外。
- 找到例外，即有三个候选数的单元格。
- 计数三个候选数中每个出现多少次作为该单元格的行、列和宫中的候选数。
- 填入候选出现次数与另外两个不同的数字，否则盘面会进入没有唯一解的状态。
常见错误
- 太早使用该模式。BUG+1需要整个棋盘处于该状态，而不仅仅是一个角。
- 忽视另一个地方有三个候选数的单元格。如果有两个这样的单元格，棋盘不是BUG+1，结论不成立。
- 忘记关于唯一解的假设。该技巧依赖于棋盘是具有恰好一个解决方案的有效数独。
什么时候你需要该技巧？
最困难的棋盘需要遵循整个棋盘长逻辑链的技巧。它们在实践中是证明：假设什么，遵循后果，看看什么不能成立。通过下面的示例，一步步进行，使用求解器在你自己的棋盘上使用的相同工具。