小向难死你系列标准数独NO#0013解答
规则：将1-9填入空格，使每一行、每一列、每一宫数字不重复。
这一期的题目的解法是这样的。
如图所示，红色的数全部都能删。
呃，这么多？对的，这些都可以删。它的逻辑是这样的。
首先我们任意寻找一些相同的候选数，然后找到两套“全覆盖”的画法，一套用作定义域，而另外一套则用作删除域。
我举个栗子，比如我们对找到HI行、9列和24宫，然后圈出所有的9，注意是全部的9，我们暂且把这些9标注为绿色（注意A4和D1的9此时也要算进去）。
然后随意找到一些区域，在这些区域下至少都需要包含其中的一个9，比如1列，就包含结构的其中一个9；而G行，也可以包含结构的一个9。
我们需要找到一些行列宫，使得所有这些区域能够包含全部结构里面的9。
比如我们找到AD行、14列和9宫，这5个区域所有位置就完全包含到所有结构涉及的9。
然后，我们开始找删数。这个结构定义域和删除域数量相等，所以直接可以将所有删除域上的数全部删除掉即可，并带有两个自噬鳍，A4(9)和D1(9)。
则两个数明明在删除域上，怎么可以删除？还有，这种鱼是怎么看删数的？
首先，鱼的删数规则是：找到m个定义域和n个删除域（m≤n），定义域是结构定义下的区域的集合，比如图中的HI行、9列和24宫，这样5个区域组成了鱼的定义域，而删除域则是图中的AD行、14列和9宫，这样5个区域组成了鱼的删除域。定义域是随意找到的，而我们初始假设鱼是必须要让定义域的每一个区域上都包含有且仅有一个位置是填9的；而删除域则只需要保证至少有一个9即可。
我们对删除域下的任一个候选数假设为真，比如此时我们假设G1=9（G1(9)为真），那么它的填数，会导致其中1列这个删除域完全消失，而定义域只会缺少一个小的部分，而不会直接消失，所以定义域依然是5个，而删除域则只有4个了。
试想一下，定义域有5个意味着5个区域内有且仅有5个位置为真；删除域有4个意味着4个区域最多只能4个位置为真，“最多只有4个”这和定义域上描述的“有且仅有5个为真”一点是矛盾的。所以说这个位置假设是错误的，而假设为真是错误的，所以这里必为假。
同理，其余位置也都是一样。所以，所有的删数就都找到了。
另外，有一个结论是：如果找到一个鱼，定义域数量和删除域数量相等，则删除域上的所有位置都可以被删除；如果删除域多一些，则需要一个一个去假设，然后得到刚才的矛盾，来证明错误。所以图上的示例恰好满足定义域数和删除域数一样的要求，所以可以直接删，不用去假设。
另外，示例结构可以被系统命名为二自噬交叉五链列（Double Cannibalistic Finned Mutant Starfish），一般可直接被称为交叉五链列（Mutant Starfish）。此示例也证明了，五阶的结构有时候不会被互补。
PS，这期只有一个图，但是有许多话，目前为止，公主（公众号主人，简称公主）图也看不明白，话也不明白，大家各自取暖吧，我帮不了你们了。
关注高端数独
好人一生平安