哈基米难关技巧：看共同限制，谨慎验矛盾

难关先看多个候选共同强制了什么，而不是急着从中选一格。行列预留、共同邻格排除都能在位置未定时推进；每次变化后再回查唯一位置。

高级推理前先整理候选

把所有确认猫带来的直接排除补齐，包括完整色区、整行整列和斜角邻格。漏一处排除可能遮住简单落点，多叉一格又可能制造假的唯一位置。候选基础不干净，越复杂的推理越难查错。

随后数一数各个还缺猫的单位，优先看候选较少且已经列全的集合。一个色区只剩少量位置时，即使无法确定具体哪格，也可能对远处的行列产生强限制。区域在视觉上大不大，不如剩余选择具体有哪些重要。

问每种选择都成立什么

假设一只必需猫只剩同一行的两个相邻候选。具体列未定，但行已经确定，可以排除这行内其他色区的格。再检查哪些格无论选哪一个候选都会与它相邻，这些共同邻格也不能放另一只猫。

关键问题是：如果每种候选分别为真，哪一批外部格在所有情况下都被否定？只排除这一批。某格若只在其中一种选择下被否定，另一种选择下仍可用，就必须保留，不能把不同假设的禁区简单合并。

多个色区共同占行列

两个不同色区的全部候选若都只在同样两列，它们各需要一只猫，又不能同列，因此必然分别占住这两列。其他色区在这两列的候选可以删除，甚至可能让远处某行出现唯一位置。

相同的计数思路还能推广到一组色区与同样数量的列或行。每区贡献一只猫，每条线只能容纳一只，数量恰好填满。不过必须确认每个选中色区的全部候选都限制在这组线内，任何外部出口都会破坏这一证明。

不要把整体占用关系直接变成具体匹配。知道两列都被占，不等于知道哪只猫在哪列。保留尚未确定的配对，已经得到的外部排除就足以成为下一步。

用明确矛盾检查候选

直接模式都找不到时，可以在脑中临时假设某格有猫，不实际放置。沿这个假设应用排除，看看是否导致某个未完成行、列或色区完全没有候选。如果这种矛盾必然出现，原先假设的格就不能有猫。

“后面很难走”“我暂时想不出下一步”都不是矛盾。必须指出具体规则失败，例如某色区所有位置都被排掉。如果探索只是变复杂，却仍没有违反条件，就不能据此删掉原候选。

假设结论不要留在正式标记里

1. 明确说出正在假设哪一格有猫。
2. 将它带来的临时排除与确认排除分开记。
3. 找到具体的无候选单位或规则冲突。
4. 证明成立后，只否定最初那个候选。
5. 丢弃临时后果，回到真实棋盘重新扫描。

假设为假时，它下面推出来的所有叉号不一定在真实棋盘也成立。即使你正确否定了起点，若把临时叉号全部留下，仍可能污染后续推理。这也是为什么不应通过实际放猫和扣生命来替代纸面或脑中的条件推演。

卡成矛盾时怎么复盘

先回看最近的正式操作。色区锁行时是否漏了远处候选？成对占列是否真的代表两只不同且都必须存在的猫？所谓共同邻格，是不是只被其中一种选择排除？这些问题比只盯最后那个空单位更接近错误起点。

使用提示时，也拿它的解释和自己的候选图比较。它可能指出的是你漏掉的普通斜角排除，而不是更高深的结构。这同样有帮助，说明需要修正扫描顺序，而不是继续学习更复杂的假设链。

难推理之后回到简单检查

一次困难删除往往会带来普通唯一位置。立即检查刚受影响的行列色区，不要因为棋盘被称为难关，就一直寻找复杂结构。推进可以只是排除一格，只要理由完整，就已经缩小了问题，不必为了看起来有进度强行放猫。

去哪里玩

哈基米数独 在 HarmonyOS 提供猫咪区域谜题与解释型提示。可选遇到难关可研究提示的一步推理，再回到自己的完整候选扫描。