在迄今为止围绕约束满足的过程中，可能会出现以下情况：一个单元中将有两个未解决的像元(考虑行，列和3x3子正方形)，其中只能分配两个特定的剩余数。因此，这两个数字可以有效地从同一单元中其他单元格上的可能数字中删除。 这种启发式方法称为裸双胞胎。该算法的实现专门制作了网格值的深层副本，并检查了裸胎双胞胎的可行性，即是否存在两个仅能接受两个特定值的未解决像元，如果可行，它将继续进行并从其他两个值中删除这两个值同一单元中的单元格。 我们使用如下所示的nude_twins函数以编程方式实现它：