蓝桥杯寒假作业——python

题目如下

现在小学的数学题目也不是那么好玩的。
看看这个寒假作业：

□ + □ = □
□ - □ = □
□ × □ = □
□ ÷ □ = □

(如果显示不出来，可以参见【图1.jpg】)

每个方块代表1~13中的某一个数字，但不能重复。
比如：
6 + 7 = 13
9 - 8 = 1
3 * 4 = 12
10 / 2 = 5

以及：
7 + 6 = 13
9 - 8 = 1
3 * 4 = 12
10 / 2 = 5

就算两种解法。（加法，乘法交换律后算不同的方案）

你一共找到了多少种方案？

请填写表示方案数目的整数。
注意：你提交的应该是一个整数，不要填写任何多余的内容或说明性文字。

题目解析

我尝试了许多方法，首先利用itertools包解决发现循环很长时间没有结束，之后我又尝试利用深度优先搜索，很长时间没出结果

a = [0] * 13
m = [0] * 14
res = 0
def dfs(l):
    global res
    if l == 13:
        q = a[1] + a[2]
        w = a[4] - a[5]
        e = a[7] * a[8]
        r = a[10