1. 均衡性数对

1.1. 原理

因为

• 对于单元格Cell1、Cell2：
  • Cell1的候选为X[1,i]
  • Cell2的候选为Y[1,j]
  • 遍历Cell1、Cell2的不同组合，当Cell2 = Y[j]时，盘面都存在矛盾

所以

• Cell2必不填入数字Y[j]

1.1.1. 技巧转换

• [[多分支匹配法]]：枚举删除结论的单元格和多分支匹配的起始分析单元格的情况出发分析

SudokuWiki.org - Aligned Pair Exclusion