LeetCode数独求解器遇唯一解数独无法推导，是否需引入暴力算法

你卡住的原因是只实现了最基础的行/列/宫基础排除规则（即某区域存在某数就排除同区域其他位置填该数的可能，对应人类玩家常用的基础摒除法、唯一余数法），这个数独不存在只能靠猜的情况，所有唯一解的数独都可以通过纯逻辑演绎求解，你不需要急着上暴力算法，当然从工程实现角度看，带剪枝的回溯法性价比更高。

你当前推导到的中间状态完全正确，这个状态下不需要猜，用最基础的进阶演绎规则就能继续推进：

['.','.','9','7','4','8','.','.','2']
['7','.','.','6','.','2','.','.','9']
['.','2','.','1','.','9','.','.','.']
['.','.','7','9','8','6','2','4','1']
['2','6','4','3','1','7','5','9','8']
['1','9','8','5','2','4','3','6','7']
['9','.','.','8','6','3','.','2','.']
['.','.','2','4','9','1','.','.','6']
['.','.','.','2','7','5','9','.','.']

举个最直接的下一步推导例子，用基础的区块+数对规则就能直接出数：

1. 先看第2宫（第1-3行、第4-6列的3x3区域），现有数字为1、2、4、6、7、8、9，仅缺3和5两个数，正好对应两个空位R2C5、R3C5，说明这两个格子必然一个填3、一个填5，R2和R3行的3、5都被锁死在这两个位置，两行的其他空位都不能再填3或5。
2. 再看第3列，现有数字为2、4、7、8、9，待填数字为1、3、5、6，对应四个空位R2C3、R3C3、R7C3、R9C3：
   • R2C3属于R2行，根据上一步结论不能填3、5，同时R2已经有6，因此R2C3只能填1
   • R7C3属于R7行，R7已经有6，因此不能填6
   • 排除下来整个第3列能填6的位置只剩R3C3，因此直接确定R3C3=6
     按这个思路反复删候选数、找锁定的数字组合，就能一步步填完所有格子。

你目前缺失的常用演绎规则按实现难度从低到高排序如下：

• 区块排除法（Locked Candidates）：分两类，一类是某数字在一个3x3宫内的所有可填位置恰好都在同一行/列，那该行/列其他宫的位置就不能再填这个数字；另一类是某数字在某一行/列的所有可填位置恰好都在同一个3x3宫内，那该宫内其他行/列的位置就不能再填这个数字。这是仅比基础排除高一级的规则，绝大多数中级数独的卡点用这个规则就能解决。
• 数对/数组占位法（Naked/Hidden Subsets）：如果某行/列/宫里，n个不同的候选数恰好只能填在n个空位里，那这n个空位就只能填这n个数，可以把这n个数从同区域其他空位的候选数里删掉；反过来如果n个空位恰好只包含n个不同的候选数，那这n个候选数也可以从同区域其他空位里删掉。n=2就是数对，n=3是三链数，n=4是四链数。
• 更复杂的链类规则：比如X-Wing、剑鱼（Swordfish）、XY-Wing、X-Chain等等，这些规则本质上都是通过找候选数之间的逻辑矛盾排除不可能的候选值，用来对付高难度数独。

如果你的目标是通过LeetCode的数独求解题目，完全不需要实现上面这些复杂的逻辑规则，**基础排除+带剪枝的回溯（也就是你说的「猜测」类算法）**是性价比最高的方案：

• 代码量极小，核心回溯逻辑不到20行
• 因为有基础排除做剪枝，哪怕是公认的高难度数独，计算量也极小，毫秒级就能出结果
• 不需要花大量时间调试各种复杂逻辑规则的边界情况

如果你的目标是做一个模拟人类玩家推导过程、能给出每一步逻辑提示的数独工具，那再去逐个实现上面的进阶演绎规则即可。

最后澄清一个常见误区：不存在「非演绎、只能靠猜的唯一解数独」。人类玩家手动做高难度数独时说的「猜」，本质上是手动试错走逻辑链——假设某个格子填某个值，如果后续推出矛盾就排除这个值，这和高级数独规则里的链类推导逻辑完全一致，只是手动推导时太长的链不好记忆，才会用试错的方式简化，本质还是纯逻辑演绎，不是真的随机枚举。

内容的提问来源于stack exchange，提问作者Cheesewaffle