唯一性
使用明确陈述的唯一解前提的条件消除：唯一矩形、唯一环和双值通用坟墓（BUG）。
唯一矩形类型1
一个救援格子包含额外候选数；致命数对从中被移除。
继续阅读
唯一矩形类型2
矩形的救援格子共享一个可从其共同同伴中移除的额外候选数。
继续阅读
唯一矩形类型3
额外候选数与其他格子组合，在共享区域中形成裸集。
继续阅读
唯一矩形类型4
一个矩形数字被锁定在两个救援格子中，允许移除另一个矩形数字。
继续阅读
唯一环类型1
一个更长的唯一环有一个救援格子，可从中移除致命数对。
继续阅读
唯一环类型2
更长环中的救援格子共享一个额外候选数，可从共同同伴中排除。
继续阅读
唯一环类型3
额外环候选数与共享区域中的其他格子形成裸集。
继续阅读
唯一环类型4
一个环数字被锁定在救援格子中，因此另一个环数字可在那里被移除。
继续阅读
BUG类型1
一个守卫候选数阻止验证过的BUG状态，必须保留。
继续阅读
BUG类型2
多个BUG例外单元格共享守卫数字，可以从公共同行单元格中消除。
继续阅读
BUG类型3
BUG 值与附近格子组合，在共享区域中形成裸集。
继续阅读
BUG类型4
两个 BUG 格子在共享区域中锁定一个额外候选数。
继续阅读基于唯一解的数独逻辑
唯一性技巧适用于正确编制并保证恰好只有一个解的数独。致命模式是一种尚未解决的排列，其中两个数字可以互换并产生两种有效完成方式。唯一矩形使用分布在两行、两列和两宫中的四个格子；唯一环则把同一原理扩展到更长的偶数环。由于致命形式不可能保留在唯一解题目中，至少必须有一个格子打破它。
四种类型描述了这些额外候选数提供解救的不同方式。类型1将致命对从单个解救单元格中移除。类型2和4利用共享的额外候选数或共轭关系，而类型3在共享区域内将额外候选数与子集结合。BUG将相同前提应用于全二值终局状态；移除后会留下致命平衡状态的单元格或候选数被识别并解出。这些是条件推理：仅应在已知谜题唯一性时使用，而不是在任意网格上替代一般矛盾测试。