🔍 空矩形

📖 技巧详解

在一个宫内，某个候选数X只分布在一行和一列上，并且这一行一列互相垂直，宫外有一条候选数为X的共轭对，共轭对的一端与前面互相垂直的一行或一列连接，那么可以删除共轭对另一端与行或列共同作用格的候选数X。空矩形有以下几种形状：L型、T型、十字型。

📌 推导过程：如上图所示，6宫格的第5宫，候选数4分布在第5行和第3列（蓝框），一行一列互相垂直呈L形，宫外的R4C6和R5C6的4构成共轭对（橙框），其中R5C6与R5C1、R5C2位于同一行构成强关联，那么共轭对的另一端R4C6与R6C3共同作用格R4C3的4可以删除（见红框）。

推导过程如下：要证明R4C3的4可以删除，必须要证明R4C6与R6C3必须有一个是4。假如R4C6不是4，根据共轭对关系得到R5C6填4，由此推出同一行的R5C1和R5C2不能填4，那么R6C3必定填4。所以R4C6与R6C3必有一个4的假设成立，因此它们的交集格子R4C3可以删除4。