从候选数到唯一解的实战流程

一级无马的核心限制是同一个数字不能占据互相攻击的马步格。标准数独只检查行、列和宫，增加无马规则后，还要检查每个数字在棋盘上的马步邻接位置。

无马规则不会禁止普通相邻格出现相同数字，因为行、列或宫规则已经决定了同一单位内不能重复。无马规则也不要求所有马步格填入不同数字，它只针对同一个数字进行排除。例如某格填入5后，所有与该格构成马步的位置都不能再填5，但这些位置仍然可以分别填入1、2、3、4或6。

例如，第2行第3列的候⭐选数原本是1、3、5，所在列排除1，所在宫排除3，而某个马步位置已经有5，那么该格就只能填入剩余数字。这个判断的重点不是某一条规则单独成立，而是四类限制共同压缩候选范围。

卡住时怎样使用假设而不把盘面带偏

一级无马通常指在标准数独规则之外，增加“马步位置不能出现相同数字”的限制。棋盘上的马步是横向相差1格、纵向相差2格，或横向相差2格、纵向相差1格；如果两个格子属于上述关系，它们就不能填入同一个数字。

实际做题时，建议在每个格子的候选数旁边建立四类排除来源：同行已经出现的数字、同列已经出现的数字、同宫已经出现的数字，以及马步位置已经出现的数字。四类信息合并后，剩下的候选数才是真正可用的候选数。

一级无马进入停滞阶段后，可以使用最小候选分支，但假设必须保留完整的行、列、宫和马步记录。优先选择只有两个候选数的格子，不要从候选数过多的位置开始。