以人命名或冠名的数独技巧
作为一个神奇的介绍内容,下面我们来给大家罗列一些以人或人的网名命名的数独技巧。
一、W-Wing
第一个要说的技巧叫 W-Wing。是,这个人叫 George Woods,是这个人发明的技巧,然后取的 W 字母。
不过,你可能听说过别的,比如 M-Wing。这里只有 W-Wing 是人名,M-Wing 的 M 取自美杜莎(Medusa),说是个人,但这里指的不是真实存在的人,也并非是美杜莎自己发现的这个技巧,对吧。
顺带一提。这技巧网上还有人叫 Y-Wing 的。按照标准命名来看的话,实际 Y-Wing 是一个错误叫法。Y-Wing 实际上和 XY-Wing 才是一个东西。不过,因为国内对这个叫法“情有独钟”,所以就一直这么在用。
二、宇宙
宇宙技巧的英文名叫 Gurth's Symmetrical Placement,其中的 Gurth 就是一个人。
三、探长致命结构
或许你猜都应该猜得到,这肯定不是一个真人的名字,毕竟基本上咱也遇不到一个叫“某探长”的人。探长致命结构的探长来自于一个网名,是这个人对这个技巧的总结和理论体系的说明,于是用了他的网名。
这个人介绍了一些相当莫名其喵的数独技巧(好吧这些技巧都对做难题有帮助)。当然,这不是打广告,只是说,恰好我认得这个人。
这个技巧早期叫做 abc-UR 和 abcd-UR。不过因为技巧跟 UR 的形状关系不大,只用到了和 UR 一致的唯一性的规则和理论,因此这个结构我平时也并不常常以这个名字来称呼,相反地,用“探长致命结构”这个叫法比较多。
四、淑芬致命结构
说完探长就说一下这个技巧。这个技巧的名字“淑芬”的概念和其使用的“区分度”理论的创屎人“碳酸锂”对该技巧做了一个细致的总结和描述。淑芬是对这个人的昵称。是的,这不是网名也不是真的名字,就是这个人的昵称。
五、融合跨区数组
这个技巧的英文名叫 Sue de Coq,这一看就不像是个人的名字。Sue de Coq 三个词都不是英语的词汇,所以咱们凭咱们英语水平来说,肯定是看不懂的。这是一个人的网名,是这个哥们发现的这个技巧,用的就是 Sue de Coq 这个网名发的帖,所以用着用着就直接拿网名叫它了。
六、西尾彻也强制链
西尾彻也(Nishio Tetsuya,にしお てつや)一听就很日语。是的,这是一个日本的数独专业人士,对日本的 WSC(国际数独锦标赛)都有参与出题。在强制链的范畴之中,有一种强制链的思维是由西尾彻也所发现和总结的,这种强制链不关心是否参与动态,但也只涉及一种数字,所以也叫同数强制链。众所周知,鱼技巧可以在理论上,涵盖全部的同数类型技巧,因此这个技巧并不是特别常见和常用。但是,这个技巧对一些理论层面来说(比如难度分析)有一定的帮助。
七、多米诺环
多米诺环的英语名字叫 Domino Loop 或 SK-Loop,其中的 SK 来自于一个叫 Steve Kurzhals 的人。是由这个人发现和总结的技巧,因此就取了这个人的名字的首字母 S 和 K 来称呼该技巧。
老实说,其实多米诺环和 SK 环还是有区别的,但因为很少作区分,因此这里我们不作细致的区分。多米诺环实际上还带有比 SK 环更复杂的额外删数结论。
八、Bigger 环(BB 环)
基于 SK 环进行推广,中国网友 Bigger 对这个技巧进行了推广并额外添加了自噬的概念进去。自噬(Cannibalism)是鱼的特有概念,但推广之后就不再一定只在鱼里使用了。它在现在可以泛指所有删数结论就是结构一部分的情况,比如自噬 AIC、自噬鱼、自噬 SdC 结构等。
这个环的名字也就是通过本人的命名来称呼。
九、RW 致命结构理论
RW 来自外国数独论坛上的一个人的网名。这个人对有一种致命结构有一个理论:
如果在一个并排三宫(比如 1、4、7 宫这样的,三个宫是并排为一大行或一个大列的情况)里,出现了 n 种明数(确定值,即提示数和自己填的数字)。那么假设这些数分布在 m 个小行列里(小行和小列指的是一个宫和一个行/列的交集,即一组三个格子的情况),那么 9 - n 就是尚未在这个并排三宫里出现过的数字,那么它们必须至少放在 m + 2 个小行列里,否则一定会产生致命结构。
因为这个技巧尚未归档(我似乎没对这个技巧作说明和证明),所以在这里举个例子给大家介绍一下。

在第一个大行里,一共出现了四种数字 1、2、3、4,那么还有 5 个数字没出现。按照理论规则,这 5 个数字必须出现至少 7 个小列里去。
那么,假设 r3c6 是 1、2、3、4 的其一,那么剩下的 5、 6、7、8、9 无法在这个并排三宫里出现跨至少 7 个列的情况,因此必然会产生致命结构的矛盾。因此,r3c6 一定是 5 到 9 里的数字。
再比如

第一个大行里只出现 4、5、7 三种数字,没有出现的 6 种数字必须分布在至少 8 个列里。而如果 r2c2 是 5,就会少掉一个列填入这 6 种没出现的数,此时就不够 8 列了,因此一定会出错;
同理 r3c9(7) 也是如此。
十、Hobiwan 鱼
Hobiwan 鱼也叫饱和鱼(Saturated Fishes),一般直接叫鱼,是由于知名数独分析软件 Hodoku 作者本人 Hobiwan 研究的和提供的鱼体系。该鱼体系包含外鱼鳍(Exo-fin,或一般就叫 fin)、内鱼鳍(Endo-fin)以及自噬这些基本特性;并包含标准的鱼、宫内鱼(Franken Fish)和交叉鱼(Mutant Fish)三种鱼形状的变型特征。
Hobiwan 是网名,来自于 Obiwan。你猜这是啥?
十一、Bowman 试数
Bowman's Bingo 这个技巧想必各位或多或少都有所耳闻。该技巧是一种使用试数逻辑而证明矛盾的东西。这个技巧一般都只以单起点起步,和链不太一样。链可以动态有分支,甚至可以在开头就有分支,不过按照 Bowman's Bingo 这个技巧来说,一般不会起头就是分支,而是一条路试到尾。不过,中间的出数结论可能会依赖于前期的推导过程,因此仍然可以是一种动态的概念。
似乎就只有这些了~

什么?你问我有没有这样的技巧命名?啊……很遗憾,没有~