欠一数对

Almost Locked Pair

★★★★ 大师

概要:欠一数对(Almost Locked Pair,ALP)是一种含有三个候选数的双格结构,比标准裸数对多出一个额外候选数。通过分析该额外候选数的影响,可以在特定情况下对外部格子进行排除。

什么是欠一数对?

欠一数对(Almost Locked Pair,简称ALP)是数独中ALS(Almost Locked Set,欠一锁定集合)技法家族的最简单成员。

裸数对回顾:若某单元中两个格子的候选数集合恰好为 {A, B},则这两格形成裸数对,A和B在该单元其他格子中可被排除。

欠一数对的定义:若两个格子的候选数集合并集恰好含有三个数字 {A, B, C}(比裸数对多一个),且这两格在同一单元内,则它们构成欠一数对。

换句话说:欠一数对”差一步”就能成为裸数对——只要外部某格确定填C,这两格就退化为只含{A,B}的裸数对。

核心应用:将欠一数对与另一个含C的结构配合,当C被”激活”或”排除”时,产生连锁推理效果。

解题步骤

方法一:配合强链排除

  1. 识别欠一数对:找到两格(同行/列/宫),候选数并集为 {A, B, C}
  2. 寻找C的强链:在这两格所在的单元中,找到候选数C的强链(C只出现在该单元的两个位置,其中一个在欠一数对内)
  3. 推理
    • 若欠一数对外的强链另一端填C:则欠一数对中的C被排除,两格退化为裸数对{A,B},可从单元其他格排除A和B
    • 若欠一数对中某格填C:强链传递,外部格子受影响
  4. 执行排除:根据推理结论删除候选数

方法二:配合另一个ALS

  1. 识别两个ALS:找到欠一数对(ALS1)和另一个ALS(ALS2)
  2. 找到连接数字:确定连接两个ALS的”限制候选数”(Restricted Common,RC)
  3. 应用ALS-ALS排除:两个ALS通过RC连接,共同候选数在两ALS外部的格子可被排除

示例详解

识别欠一数对结构

1 5 2 7 2 5 7
第3行中:R3C4候选数{2,7},R3C8候选数{2,5,7}。两格候选数并集为{2,5,7}(三个数字),比裸数对多一个额外候选数C=5,构成欠一数对。同时第3行中候选数5只出现在R3C2和R3C8(强链)。

考虑以下布局:

在第3行中:

  • R3C4:候选数 {2, 7}
  • R3C8:候选数 {2, 5, 7}

两格候选数并集:{2, 5, 7}(三个数字),构成欠一数对(ALP),额外候选数 C=5。

场景一:C的强链激活

假设第3行中,候选数5只出现在 R3C2 和 R3C8(两格,强链)。

分析:

  • 若 R3C2 = 5(5在R3C2):则 R3C8 ≠ 5(同行),R3C8 候选数从 {2,5,7} 变为 {2,7}
    • 现在 R3C4={2,7} 和 R3C8={2,7} 形成裸数对
    • 第3行其他格子排除2和7
  • 若 R3C8 = 5(5在R3C8):第3行中5确定在R3C8,第3行其他格排除5

两种情况均产生有用推论,可结合处理。

执行欠一数对排除

1 5 2 7 2 4 7 2 5 7 2 7
若R3C2=5(强链激活),R3C8排除5变为{2,7},与R3C4={2,7}形成裸数对,第3行其他格排除2和7。若R3C8=5,第3行5已确定。两种情况下,R3C6的候选数2和7都可被排除。

场景二:外部排除

若 R3C4={2,7} 和 R3C8={2,5,7} 位于同一宫(设为右上宫),且该宫内还有格子 R2C7={2,5}:

ALP {R3C4, R3C8} 中,无论哪种分配,数字2和7都”被这两格包揽”(当C=5不在欠一数对时)。

若能证明 C=5 不在欠一数对中(通过外部强链),则欠一数对退化为裸数对,宫内其他格排除2和7(包括 R2C7 的2)。

实用技巧

  • ALP是ALS技法的入门:理解欠一数对有助于掌握更复杂的ALS-ALS排除技法
  • 关注三候选数格:盘面上含三个候选数的格子是构成ALP的常见参与者
  • 与双值格配合:欠一数对最常见的形式是”一个双值格+一个含三候选数的格子”,双值格提供了清晰的基础
  • RC(限制候选数)是关键:ALP与外部结构连接的桥梁是RC——一个在连接区域(共视单元)内只出现在一方的候选数

与其他技法的关系

  • 前置技法裸数对 — 欠一数对是裸数对的”差一步”版本
  • 相关技法隐性数对 — 同为数对家族,侧重隐性分布
  • 进阶扩展:欠一数对是ALS(Almost Locked Set)技法体系的基础,掌握后可学习ALS-XZ规则、ALS链等高级技法

常见问题

Q:欠一数对和裸三数组有什么区别?

A:裸三数组是三个格子候选数并集恰好含三个数字。欠一数对是两个格子候选数并集含三个数字——这就是”欠一”的含义,格子数比裸数组少一个(差一格就是裸数对)。欠一数对可以被看作”退化的裸数对”或”潜在的裸数对”。

Q:如何在实战中快速识别欠一数对?

A:寻找同单元内的格子对,计算两格候选数的并集大小。若并集恰好有三个数字,就是欠一数对。实践中,从含2-3个候选数的格子出发,检查它们与同行/列/宫格子的配对,效率最高。

在爱九宫数独中练习

打开爱九宫数独 App → 学习 → 大师技法 → 欠一数对,体验ALS技法家族的入门推理。建议在候选数标注模式下,练习计算任意两格候选数并集的大小,培养对ALS结构的敏感度。