利用Python暴力求解《原神》游戏中“稻妻”中的一种解密

一、解密玩法

这种解密如图所示，从左到右依次有五块石头，依次记为1，2，3，4，5。每打一下某一块石头，被打的石头与其相邻的石头上的点数即会加一。例如，打一下3号石头，则2、3、4号石头上的点数加一；打一下1号石头，则1、2号石头上的点数加一。若点数为3，再加一则变为1。使五块石头的点数相同即可解出。

二、解密原理

上述例子以矩阵相加的形式可以表示为：

也就是说，假设1~5号石头分别打a,b,c,d,e下，则最终石头上的点数为：

三、代码分析

所以，根据上述式子，我们先引入需要使用的矩阵计算库：

import numpy as np

然后定义等式右边的几个常量：

arr_0 = np.array([2, 2, 2, 1, 1])
arr_a = np.array([1, 1, 0, 0, 0])
arr_b = np.array([1, 1, 1, 0, 0])
arr_c = np.array([0, 1, 1, 1, 0])
arr_d = np.array([0, 0, 1, 1, 1])
arr_e = np.array([0, 0, 0, 1, 1])

然后，很容易知道，如果击打某个石头的次数超过2，则不超过2的击打部分其实是多余的，所以我们在击打次数为0到2之间遍历求解：

for a in range(0, 3):
    for b in range(0, 3):
        for c in range(0, 3):
            for d in range(0, 3):
                for e in range(0, 3):
                    arr_all = arr_0 + a * arr_a + b * arr_b + c * arr_c + d * arr_d + e * arr_e

在代码中，点数到三之后再加一会编程四，而不是变为1，所以，最后的结果中只要点数与3的余数相同，则点数相同：

if arr_all[0] % 3 == arr_all[1] % 3 == arr_all[2] % 3 == arr_all[3] % 3 == arr_all[4] % 3:
    print(a, b, c, d, e)

最后，提示跑完了：

else:
    print("运行完毕！")

最后跑出来有多种结果：
0 0 0 0 1
0 1 0 0 2
0 2 0 0 0
1 0 0 1 1
1 1 0 1 2
1 2 0 1 0
2 0 0 2 1
2 1 0 2 2
2 2 0 2 0
各位可以脑测一下，每种都能解出来，所以我们随便选择了一种，就成功解出

好了，至此就解完了，如果碰到类似的解密，也可以借鉴这篇文章的思想，其实很早就想到了用这种方法来解密，由于某些原因一直没有发博客，一直拖到了今天，在某论坛中甚至有人写出了通用的代码，还用QT做了界面，我只能说膜拜了，人家已经做得这么好了，我发出来也仅仅是为了记录我的一点小想法。很喜欢遥感原理课的老师说的一句话：代码是实现自己想法的一种方式。所以说，既然我实现了，那就记录下来吧。如果这篇文章能帮助到你，我不甚荣幸。

四、源代码

源代码如下，寥寥数笔，没有什么技术含量，唯一一点有技术含量的东西可能是运用了“for循环的else奖励机制”这个语法糖，顾名思义，也就是在for循环后面加上else，当for循环完全执行完之后（也就是说没有执行break、continue这种语句时），则会执行else下的代码。

import numpy as np

arr_0 = np.array([2, 2, 2, 1, 1])
arr_a = np.array([1, 1, 0, 0, 0])
arr_b = np.array([1, 1, 1, 0, 0])
arr_c = np.array([0, 1, 1, 1, 0])
arr_d = np.array([0, 0, 1, 1, 1])
arr_e = np.array([0, 0, 0, 1, 1])

for a in range(0, 3):
    for b in range(0, 3):
        for c in range(0, 3):
            for d in range(0, 3):
                for e in range(0, 3):
                    arr_all = arr_0 + a * arr_a + b * arr_b + c * arr_c + d * arr_d + e * arr_e
                    if arr_all[0] % 3 == arr_all[1] % 3 == arr_all[2] % 3 == arr_all[3] % 3 == arr_all[4] % 3:
                        print(a, b, c, d, e)
else:
    print("运行完毕！")