今天我們來復(fù)盤一下一位中國玩家的頂級思路，這是一把困難模式6驗證機的游戲。

這一局游戲，szy實際上只用了第一輪的3個問題就已經(jīng)找到了結(jié)論。在與他對局之后，我便向他詢問他的思路，在仔細(xì)通讀完之后，決定寫成一篇復(fù)盤分享出來。

這一道問題的驗證機有很多特定未知顏色的高難度才會用到的驗證機，后續(xù)我會單獨在一篇驗證機專欄里做策略分析。在這里我會稍微提及一下方便想進階的玩家理解。

對于高難度的對局，如何在設(shè)計猜測的階段，盡可能提出合適的猜測找到邏輯基點是關(guān)鍵，但短短四五分鐘內(nèi)其實很難設(shè)計出最優(yōu)策略。szy大佬在思路中也沒有提及，我們這里就先跳過設(shè)計猜測的階段，直接從他填入的猜測和得到的反饋開始推理復(fù)盤。

驗證機如下

這一局里，他第一輪填入的猜測是134，先后問了E、D、B三張驗證機卡片，得到的反饋都是X。

和初級的卡片的二元排除法不同，高難度下的卡片大多都不能從單一反饋下排除大部分的可能性，但在BDE三張卡片中，szy大佬非常幸運地（也可能是猜測設(shè)計的好）得到了一個重要的邏輯基點，根據(jù)這一點，經(jīng)過長考后，他就已經(jīng)找到了所有卡片的正確條件并作答。

突破點在于D卡片，特定顏色的數(shù)字大于1，在134猜測下反饋出了x, 這表明了這張卡片的正確條件是藍色>1。

由此我們得到了第一個正確條件：

1）藍 > 1

根據(jù)確定信息1， B卡片上的藍>黃就可以排除了，因為藍>1是藍>黃的子集，若是B指向藍>黃，藍>1的D卡片便失去了它的效用，這在圖靈機這個游戲里是不會發(fā)生單一卡片無效的情況發(fā)生的。

又因134的猜測，B給出的X反饋，排除藍<黃的可能后，B卡片只留下了一個正確條件：

2）藍=黃

接下來，我們根據(jù)B卡片在場做一個判斷，由于B是判斷藍黃大小關(guān)系，F(xiàn)卡片的正確條件一定不會是判斷藍黃大小，否則會給出重復(fù)或沖突的條件，因此，F(xiàn)的作用就已經(jīng)定下是判斷藍紫大小關(guān)系。

同理于判斷藍不能是>黃，F(xiàn)也不能是藍>紫，這便只留下了兩個可能性，藍<紫或藍=紫

若是藍=紫，三色相等，C卡片的升降序列就不是那么必要了。這使得C無效，畢竟三個數(shù)字相等時，確定是否有序列并無任何的意義，如何確定三個相等的數(shù)才是需要的條件。szy大佬在這里便認(rèn)為F只能是藍<紫。

接下來我們看向A卡片，3的數(shù)量判斷。3個3的可能顯然不對，通常最終結(jié)論是3個相同數(shù)字時，條件卡里不會出現(xiàn)特定數(shù)字的數(shù)量判斷的驗證機，否則若有人在第一次嘗試時填入三個3便已經(jīng)得到正確反饋，立刻便可以解開謎題，設(shè)計時不會犯下這種錯誤。

2個3的情況根據(jù)正確條件2，這就意味著，33紫，紫色未確定，于是要引入E卡片去判斷紫的奇偶，由于szy他問過了一次E得到x反饋，這便使得在2個3的情況下，E卡片的條件只會是紫是奇數(shù)，335或331。但這時再考慮C的效用問題，當(dāng)已知AB和E條件下，C的條件會失去效用，因此2個3的情況不對。

如果A是1個3，由于藍黃相等，只能紫色是那個3，那么再次引入E卡片的反饋得到，藍或者黃是偶數(shù)，由于F指向藍<紫，因此便是223，這同樣的會使得C的效用失去，已經(jīng)通過ABEF得到223了，不需要再來一個C去判斷。

那么A卡片在排除了3種可能后，便只剩下了一個正確條件：

3）沒有3

最后我們可以看向一直被我們提及的C卡片了，3數(shù)序列在藍=黃的情況下自動排除，若是2數(shù)序列，在沒有3的情況下只會是112或者445; 藍>1，便只剩下445的可能，但別忘了我們還有一個E卡片的條件沒有確定，而前5個確定的驗證機就只剩下了445，E的效用在2數(shù)序列的情況下失效了。因此2數(shù)序列也不對。

那么就只剩下沒有升降序序列的可能，結(jié)合藍>1，就只有224，225兩種可能。最后根據(jù)我們一開始填入的134猜測，得知E的條件不會是紫是偶數(shù)，那么結(jié)合完ABCDEF6個驗證機的最終答案便只剩下225這一個。

SZY大佬在短短7-8分鐘時間內(nèi)得出了這個推理結(jié)論，當(dāng)時作為他對手的我才剛排除40%的可能。這實在是令人驚嘆。實際對局里，他還花了第二輪的一個問題去驗證C是否真的無序，才最終做出解答。但賽后他說了，當(dāng)時沒立刻想出來，實際上是不需要問的。這道題AI給出的需要步數(shù)是4輪10個問題。但szy僅用了藍>1一個邏輯基點就把這道題秒了。這真是泰酷辣。