《图灵机》策略研究笔记2——复盘szy大佬秒杀困难6验证机对局

今天我们来复盘一下一位中国玩家的顶级思路，这是一把困难模式6验证机的游戏。

这一局游戏，szy实际上只用了第一轮的3个问题就已经找到了结论。在与他对局之后，我便向他询问他的思路，在仔细通读完之后，决定写成一篇复盘分享出来。

这一道问题的验证机有很多特定未知颜色的高难度才会用到的验证机，后续我会单独在一篇验证机专栏里做策略分析。在这里我会稍微提及一下方便想进阶的玩家理解。

对于高难度的对局，如何在设计猜测的阶段，尽可能提出合适的猜测找到逻辑基点是关键，但短短四五分钟内其实很难设计出最优策略。szy大佬在思路中也没有提及，我们这里就先跳过设计猜测的阶段，直接从他填入的猜测和得到的反馈开始推理复盘。

验证机如下

这一局里，他第一轮填入的猜测是134，先后问了E、D、B三张验证机卡片，得到的反馈都是X。

和初级的卡片的二元排除法不同，高难度下的卡片大多都不能从单一反馈下排除大部分的可能性，但在BDE三张卡片中，szy大佬非常幸运地（也可能是猜测设计的好）得到了一个重要的逻辑基点，根据这一点，经过长考后，他就已经找到了所有卡片的正确条件并作答。

突破点在于D卡片，特定颜色的数字大于1，在134猜测下反馈出了x, 这表明了这张卡片的正确条件是蓝色>1。

由此我们得到了第一个正确条件：

1）蓝 > 1

根据确定信息1， B卡片上的蓝>黄就可以排除了，因为蓝>1是蓝>黄的子集，若是B指向蓝>黄，蓝>1的D卡片便失去了它的效用，这在图灵机这个游戏里是不会发生单一卡片无效的情况发生的。

又因134的猜测，B给出的X反馈，排除蓝<黄的可能后，B卡片只留下了一个正确条件：

2）蓝=黄

接下来，我们根据B卡片在场做一个判断，由于B是判断蓝黄大小关系，F卡片的正确条件一定不会是判断蓝黄大小，否则会给出重复或冲突的条件，因此，F的作用就已经定下是判断蓝紫大小关系。

同理于判断蓝不能是>黄，F也不能是蓝>紫，这便只留下了两个可能性，蓝<紫或蓝=紫

若是蓝=紫，三色相等，C卡片的升降序列就不是那么必要了。这使得C无效，毕竟三个数字相等时，确定是否有序列并无任何的意义，如何确定三个相等的数才是需要的条件。szy大佬在这里便认为F只能是蓝<紫。

接下来我们看向A卡片，3的数量判断。3个3的可能显然不对，通常最终结论是3个相同数字时，条件卡里不会出现特定数字的数量判断的验证机，否则若有人在第一次尝试时填入三个3便已经得到正确反馈，立刻便可以解开谜题，设计时不会犯下这种错误。

2个3的情况根据正确条件2，这就意味着，33紫，紫色未确定，于是要引入E卡片去判断紫的奇偶，由于szy他问过了一次E得到x反馈，这便使得在2个3的情况下，E卡片的条件只会是紫是奇数，335或331。但这时再考虑C的效用问题，当已知AB和E条件下，C的条件会失去效用，因此2个3的情况不对。

如果A是1个3，由于蓝黄相等，只能紫色是那个3，那么再次引入E卡片的反馈得到，蓝或者黄是偶数，由于F指向蓝<紫，因此便是223，这同样的会使得C的效用失去，已经通过ABEF得到223了，不需要再来一个C去判断。

那么A卡片在排除了3种可能后，便只剩下了一个正确条件：

3）没有3

最后我们可以看向一直被我们提及的C卡片了，3数序列在蓝=黄的情况下自动排除，若是2数序列，在没有3的情况下只会是112或者445; 蓝>1，便只剩下445的可能，但别忘了我们还有一个E卡片的条件没有确定，而前5个确定的验证机就只剩下了445，E的效用在2数序列的情况下失效了。因此2数序列也不对。

那么就只剩下没有升降序序列的可能，结合蓝>1，就只有224，225两种可能。最后根据我们一开始填入的134猜测，得知E的条件不会是紫是偶数，那么结合完ABCDEF6个验证机的最终答案便只剩下225这一个。

SZY大佬在短短7-8分钟时间内得出了这个推理结论，当时作为他对手的我才刚排除40%的可能。这实在是令人惊叹。实际对局里，他还花了第二轮的一个问题去验证C是否真的无序，才最终做出解答。但赛后他说了，当时没立刻想出来，实际上是不需要问的。这道题AI给出的需要步数是4轮10个问题。但szy仅用了蓝>1一个逻辑基点就把这道题秒了。这真是泰酷辣。