以人命名或冠名的數(shù)獨技巧
作為一個神奇的介紹內(nèi)容,下面我們來給大家羅列一些以人或人的網(wǎng)名命名的數(shù)獨技巧。
一、W-Wing
第一個要說的技巧叫 W-Wing。是,這個人叫?George Woods,是這個人發(fā)明的技巧,然后取的 W 字母。
不過,你可能聽說過別的,比如 M-Wing。這里只有 W-Wing 是人名,M-Wing 的 M 取自美杜莎(Medusa),說是個人,但這里指的不是真實存在的人,也并非是美杜莎自己發(fā)現(xiàn)的這個技巧,對吧。
順帶一提。這技巧網(wǎng)上還有人叫 Y-Wing 的。按照標準命名來看的話,實際 Y-Wing 是一個錯誤叫法。Y-Wing 實際上和 XY-Wing 才是一個東西。不過,因為國內(nèi)對這個叫法“情有獨鐘”,所以就一直這么在用。
二、宇宙
宇宙技巧的英文名叫 Gurth's Symmetrical Placement,其中的 Gurth 就是一個人。
三、探長致命結(jié)構(gòu)
或許你猜都應(yīng)該猜得到,這肯定不是一個真人的名字,畢竟基本上咱也遇不到一個叫“某探長”的人。探長致命結(jié)構(gòu)的探長來自于一個網(wǎng)名,是這個人對這個技巧的總結(jié)和理論體系的說明,于是用了他的網(wǎng)名。
這個人介紹了一些相當莫名其喵的數(shù)獨技巧(好吧這些技巧都對做難題有幫助)。當然,這不是打廣告,只是說,恰好我認得這個人。
這個技巧早期叫做 abc-UR 和 abcd-UR。不過因為技巧跟 UR 的形狀關(guān)系不大,只用到了和 UR 一致的唯一性的規(guī)則和理論,因此這個結(jié)構(gòu)我平時也并不常常以這個名字來稱呼,相反地,用“探長致命結(jié)構(gòu)”這個叫法比較多。
四、淑芬致命結(jié)構(gòu)
說完探長就說一下這個技巧。這個技巧的名字“淑芬”的概念和其使用的“區(qū)分度”理論的創(chuàng)屎人“碳酸鋰”對該技巧做了一個細致的總結(jié)和描述。淑芬是對這個人的昵稱。是的,這不是網(wǎng)名也不是真的名字,就是這個人的昵稱。
五、融合跨區(qū)數(shù)組
這個技巧的英文名叫 Sue de Coq,這一看就不像是個人的名字。Sue de Coq 三個詞都不是英語的詞匯,所以咱們憑咱們英語水平來說,肯定是看不懂的。這是一個人的網(wǎng)名,是這個哥們發(fā)現(xiàn)的這個技巧,用的就是 Sue de Coq 這個網(wǎng)名發(fā)的帖,所以用著用著就直接拿網(wǎng)名叫它了。
六、西尾徹也強制鏈
西尾徹也(Nishio Tetsuya,にしお てつや)一聽就很日語。是的,這是一個日本的數(shù)獨專業(yè)人士,對日本的 WSC(國際數(shù)獨錦標賽)都有參與出題。在強制鏈的范疇之中,有一種強制鏈的思維是由西尾徹也所發(fā)現(xiàn)和總結(jié)的,這種強制鏈不關(guān)心是否參與動態(tài),但也只涉及一種數(shù)字,所以也叫同數(shù)強制鏈。眾所周知,魚技巧可以在理論上,涵蓋全部的同數(shù)類型技巧,因此這個技巧并不是特別常見和常用。但是,這個技巧對一些理論層面來說(比如難度分析)有一定的幫助。
七、多米諾環(huán)
多米諾環(huán)的英語名字叫 Domino Loop 或 SK-Loop,其中的 SK 來自于一個叫 Steve Kurzhals 的人。是由這個人發(fā)現(xiàn)和總結(jié)的技巧,因此就取了這個人的名字的首字母 S 和 K 來稱呼該技巧。
老實說,其實多米諾環(huán)和 SK 環(huán)還是有區(qū)別的,但因為很少作區(qū)分,因此這里我們不作細致的區(qū)分。多米諾環(huán)實際上還帶有比 SK 環(huán)更復(fù)雜的額外刪數(shù)結(jié)論。
八、Bigger 環(huán)(BB 環(huán))
基于 SK 環(huán)進行推廣,中國網(wǎng)友 Bigger 對這個技巧進行了推廣并額外添加了自噬的概念進去。自噬(Cannibalism)是魚的特有概念,但推廣之后就不再一定只在魚里使用了。它在現(xiàn)在可以泛指所有刪數(shù)結(jié)論就是結(jié)構(gòu)一部分的情況,比如自噬 AIC、自噬魚、自噬 SdC 結(jié)構(gòu)等。
這個環(huán)的名字也就是通過本人的命名來稱呼。
九、RW 致命結(jié)構(gòu)理論
RW 來自外國數(shù)獨論壇上的一個人的網(wǎng)名。這個人對有一種致命結(jié)構(gòu)有一個理論:
如果在一個并排三宮(比如 1、4、7 宮這樣的,三個宮是并排為一大行或一個大列的情況)里,出現(xiàn)了 n 種明數(shù)(確定值,即提示數(shù)和自己填的數(shù)字)。那么假設(shè)這些數(shù)分布在 m 個小行列里(小行和小列指的是一個宮和一個行/列的交集,即一組三個格子的情況),那么 9 - n 就是尚未在這個并排三宮里出現(xiàn)過的數(shù)字,那么它們必須至少放在 m + 2 個小行列里,否則一定會產(chǎn)生致命結(jié)構(gòu)。
因為這個技巧尚未歸檔(我似乎沒對這個技巧作說明和證明),所以在這里舉個例子給大家介紹一下。

在第一個大行里,一共出現(xiàn)了四種數(shù)字 1、2、3、4,那么還有 5 個數(shù)字沒出現(xiàn)。按照理論規(guī)則,這 5 個數(shù)字必須出現(xiàn)至少 7 個小列里去。
那么,假設(shè) r3c6 是 1、2、3、4 的其一,那么剩下的 5、 6、7、8、9 無法在這個并排三宮里出現(xiàn)跨至少 7 個列的情況,因此必然會產(chǎn)生致命結(jié)構(gòu)的矛盾。因此,r3c6 一定是 5 到 9 里的數(shù)字。
再比如

第一個大行里只出現(xiàn) 4、5、7 三種數(shù)字,沒有出現(xiàn)的 6 種數(shù)字必須分布在至少 8 個列里。而如果 r2c2 是 5,就會少掉一個列填入這 6 種沒出現(xiàn)的數(shù),此時就不夠 8 列了,因此一定會出錯;
同理 r3c9(7) 也是如此。
十、Hobiwan 魚
Hobiwan 魚也叫飽和魚(Saturated Fishes),一般直接叫魚,是由于知名數(shù)獨分析軟件?Hodoku 作者本人 Hobiwan 研究的和提供的魚體系。該魚體系包含外魚鰭(Exo-fin,或一般就叫 fin)、內(nèi)魚鰭(Endo-fin)以及自噬這些基本特性;并包含標準的魚、宮內(nèi)魚(Franken Fish)和交叉魚(Mutant Fish)三種魚形狀的變型特征。
Hobiwan 是網(wǎng)名,來自于 Obiwan。你猜這是啥?
十一、Bowman 試數(shù)
Bowman's Bingo 這個技巧想必各位或多或少都有所耳聞。該技巧是一種使用試數(shù)邏輯而證明矛盾的東西。這個技巧一般都只以單起點起步,和鏈不太一樣。鏈可以動態(tài)有分支,甚至可以在開頭就有分支,不過按照 Bowman's Bingo 這個技巧來說,一般不會起頭就是分支,而是一條路試到尾。不過,中間的出數(shù)結(jié)論可能會依賴于前期的推導(dǎo)過程,因此仍然可以是一種動態(tài)的概念。
似乎就只有這些了~

什么?你問我有沒有這樣的技巧命名?啊……很遺憾,沒有~