这个间章的主要目的，是重新梳理一下现有数独的已有定势，以及确认它们各自的前提条件。因为在变体数独中，这些条件并非时刻成立。
恰有一次与不重复
在标准数独（以9*9为例）中，不重复 iff 1-9恰有一次（恰有一次记作only 1-9），但将其作为DSL的基础定理会有些太强了。实际上，1-9恰有一次是由以下3个隐含条件共同保证：
不重复（记作nodup）：区域的每一个格子不能重复。
候选数约束（记作limit 1-9）：区域中的每一格子均为1-9中的一个数。
等长（记作len9）：区域中的格子数量正好为9。
可以证明这三个条件 => 恰有一次
但是变体数独中，这样的条件并非免费的午餐，比如sudokuvania同人作《Super Sudokoid: Dark Inversion》里，就有墙这个元素。
墙：不视为任何数独的一部分，墙的每一个格子都是独立的，除了变体规则的约束外，不满足标准数独的规定。
明显可以看出墙里的数字完全和墙外数字无关，这个盘面仅仅要求墙外数字不重复，直接破坏了len9，因此某些定式很显然不能用（比如隐式唯一候选数，因为有可能对应候选数根本不存在这个区域！）
我“看见”你了
这里说一个后面非常常用的关系，称为“看见”，记作see。在不重复规则下，某些格子不可能重复，它们之间会互相影响，称为“看见的格子”。
看见：对于任意两个格子A和B，A为某个候选数 iff B不为某个候选数，此时B能看见A。显然由于规则对称，因此看见也满足对称性。
其实换个角度来说，看见和不重复是一样的，但看见更利于表达。
拉平效应
在标准数独的强约束下，不重复即成立的定式和恰有一次才成立的定式无法区分。那么在仅有不重复和候选数约束（这个必须有，否则我可以填宇宙的终极秘密进去了.jpg）的条件下，以及必须有唯一解的公理下，仍然成立的定式有：
唯一候选数：仅依赖于有解（甚至不是唯一解）。 显式数对：仅依赖于不重复（谁来了这几个位置也是这个子集的！）
某些不一定成立的定式：
隐式唯一：依赖于唯一数必须出现，这一点必须由恰好一次保证 隐式数对：理由同上 唯一矩阵/致命结构：别说不重复了，但凡非标准数独都用不了，因为标准下的多解不一定是变体下的多解，除非你能找到新的致命结构。 wing系列：依赖于强链存在，但强链有时候依赖于1-n完备性。
（更正记录：wing系列不一定成立，比如xwing就可能因为完备性缺失导致强链不存在，进而xwing失效，如图所示）
