[Python] 自动扫雷

闲来无事，打开虚拟机上的扫雷玩了玩，觉得自己计算很浪费时间，还容易遗漏，就做了个自动扫雷。
简单模式下很容易通关，困难的就看脸了，感兴趣的可以拿去运行一下。
自动化处理核心代码段在 168~273行。

========================
次日，发现自动扫雷算法并不完整，上次的代码仅对单个数字周围进行判断。
但在一些情况下，单个数字无法判断，要综合一片小区域确定某些方块是否一定是炸弹，或者一定安全。
暂且称为高级算法。（并不是算法有多高级，本质上还是取集合(区域)，进行大量的判断，难在复杂判断的逻辑关系以及集合、字典的操作上）。
通过半天的归纳总结，找到规律后开始设计代码。
本次修改还优化了输出格式，使得在大区域下更容易确定方块的坐标。
【代码中一些重复的地方可以提取出来作为单独的方法，通过改变参数位置来实现相同的功能，让代码看上去更精简】
【但长时间的修改代码，随着变量、变量类型、数据结构嵌套和逻辑关系的不断增加，有点被搞得头晕了】
【所以既然运行上没有错误，多次试验也没有发现毛病，就不去管它了。说不定也是靠着什么bug运行起来了呢】
【事实上最初写出来的高级算法代码还多了一个子模块，这个模块在一次高级算法结束之后进行进一步处理】
【在设计算法的时候，考虑到这样能减少遍历游戏窗口的次数，加快运行速度，并且可以确定更多的更复杂的坐标及操作】
【虽然写好代码之后第一次运行全自动困难模式顺利通关，但在后来的几次测试中总会错把炸弹点开😭】
【而且计算出的坐标我实在是看不懂根据什么条件算出来的，修改多次无果，想着是不是算法最初处理的时候就是错误的】
【把这段代码注释掉之后，多次测试，没有任何错误，而且计算出来的坐标和操作都是正确的！计算不出来的时候，我看着也是无法确定哪个方块安全】
【这种情况下只能靠运气随机选择。所以上文说到，说不定是靠着什么bug运行起来的呢。】

教学时间：
咱都上榜一了，咋能不出个教学呢。
（绿色底为算法讲解，蓝色底为举例说明，无色底、算是旁白或设计算法的过程吧。）

首先介绍下扫雷的冷知识：
扫雷上面数字的意思是该方块周围八格方块中的雷的个数。
有时候点一下会开一大片。是因为点到了数字0。0周围没有方块，游戏会自动向四周扩散，直到有数字的方块停止。（0向四周扩散是不可能遇到雷的）
这段“点到0向四周扩散”的代码在141~150行，通过126-128行进入。通过非常简单的递归实现的，遍历一遍0方块周围的方块，是数字就显示数字，是0就再次调用该方法，传入该位置。这段代码可以优化，但重点是自动扫雷。

生成一局扫雷的方法：（对应代码43 ~ 63行）
先生成指定大小（m×n）的空间。我在这里用了二维数组表示，初始化全为0，程序中变量名为game_space， 然后随机k(k个雷)个不同坐标，用’‘表示雷，记录在数组中。
然后遍历一下每个雷的周围八个格子，如果不是字符’‘，则+1。生成完成。（可以验证，数字与周围雷的数量都是匹配的）
可能有同学会质疑，既然game_space列表已经记录了雷的位置，那还有啥扫的？
实际上，扫雷游戏就是提前生成好的游戏棋盘数据，然后在每个格子上都盖上盖子而已。这里表示顶层盖子的列表是show_list。
所有的操作都在show_list列表上，game_space列表仅用于点击show_list列表时进行数据补充。相当于掀开了外层的盖子，露出了里面的内容。

自动扫雷：
自动扫雷就是一个模拟玩家扫雷的过程。你开一局扫雷，第一个肯定是要随便点的。如果运气爆棚，是可以直接点到雷结束该局游戏的。
点到数字一般也不会是8。一般都是从点到0开始才能判断哪里是雷，哪里是安全的。
这里开一局“简单”模式的扫雷，8*8大小，10个雷。用于举例说明。（顺带一提，我写的输出格式在pycharm里输出是整齐的。没有在IDLE里测试过。这里粘贴过来■就比数字宽些）
随机选择【4, 3】点开

Game Over!
1│ ■ ■ ■ ■ ■ ■ ■ ■
2│ ■ ■ ■ ■ ■ ■ ■ ■
3│ ■ ■ ■ ■ ■ ■ ■ ■
4│ ■ ■ * ■ ■ ■ ■ ■
5│ ■ ■ ■ ■ ■ ■ ■ ■
6│ ■ ■ ■ ■ ■ ■ ■ ■
7│ ■ ■ ■ ■ ■ ■ ■ ■
8│ ■ ■ ■ ■ ■ ■ ■ ■
运气爆棚，一发入魂。 再开一局。
再开N局。
无法确定位置，随机选择【2, 1】点开
无法确定位置，随机选择【4, 8】点开

1│ ■ ■ ■ ■ ■ ■ 1 0
2│ 1 ■ ■ ■ ■ ■ 1 0
3│ ■ ■ ■ ■ ■ 1 1 0
4│ ■ ■ ■ ■ ■ 1 0 0
5│ ■ ■ ■ ■ ■ 3 1 1
6│ ■ ■ ■ ■ ■ ■ ■ ■
7│ ■ ■ ■ ■ ■ ■ ■ ■
8│ ■ ■ ■ ■ ■ ■ ■ ■
这里我们可以通过【行3列7】（以下使用形如【3，7】表示）确定【2，6】是雷，因为【3，7】周围只有【2，6】没有点开，而【3，7】周围只有一个雷。
给【2，6】插上旗子之后，又可以通过【1，7】判断【1，6】是安全的，可以点开；可以通过【3，6】判断【2，5】【3，5】【4，5】是安全的。
【2，5】【3，5】【4，5】点开后 又可以通过【4，6】判断【5，5】是雷。

自动算法说明：（该段代码在174-198行）。
扫雷棋盘使用二维数组表示，首先通过两层循环遍历，找到一个大于0的数字，使用一个变量’z‘记录这个数字。
再遍历一下该数字周围的八格格子，这里我又使用了两层循环实现。（代码在178-180行，要确保坐标不超界）。
在遍历过程中，若发现插了旗子‘□’的格子，则让z - 1，表示z周围已经确定了1个雷，所以还剩z - 1个雷。
如果发现了还没有点开过的格子’■‘，则记录该坐标。（代码中用类变量coordinate_list列表记录）
八个格子遍历完成后，若 z 等于 0， 则说明coordinate_list列表中记录的’■‘格子都是安全的，可以点击，于是将coordinate_list列表中的每个坐标后记录可以点击（即操作1），返回。
若z 等于 coordinate_list列表的长度，则可以确定coordinate_list列表中记录的’■‘格子都是雷 ，给这些坐标记录上插旗操作（即操作0），返回。
剩下的情况就是coordinate_list列表长度 大于 z了，这种情况无法确定记录的格子是什么东西，则清空coordinate_list列表， 继续循环，寻找下个数字进行这套操作。
注意到z = 0时，coordinate_list列表可能为空，所以要在返回前判断coordinate_list列表非空。（代码194行）
返回的只是列表中的一个坐标及操作，若列表中有多个坐标，要全部进行相应操作。对应代码（168-172行）
（这段代码）

还可以通过综合一个区域判断【6，5】【6，7】一定是雷，因为【5，6】周围有3个雷，【5，5】是1个，剩下两个在【6，5】【6，6】【6，7】中；
而通过【5，7】可知【6，6】【6，7】【6，8】中只有1个雷，所以【6，5】一定是雷。又由【5，8】可知【6，7】【6，8】中有1个雷，
所以【6，7】一定是雷，【6，6】【6，8】安全。若存在疑惑，可通过假设法假设【6，6】或【6，8】是雷，通过推导出雷周围的数字与数字周围的雷数不符合，得到验证。
这里就是上面提到的“高级算法”，会在下文中详细介绍算法（就是一堆复杂的数据结构和逻辑判断）。

这里只是说明了通过现在的局面可以判断到的格子，在自动扫雷程序中是按行先遍历的，不一定就是按我说的这些去依次点开，可能点开【1，6】后又能判断出【1，6】周围的格子是安全的了。
（顺带一提，有🚩图文字，但是宽度和方块、数字不一样，为了输出排版，就换成了白色方块□ 代替🚩。大家也可以修改代码，将所有字符、数字换成全角。）
让我们继续游戏：（操作0是插旗的意思，操作1是点开的意思）

选定位置【2, 6】, 操作为：0
选定位置【1, 6】, 操作为：1
1│ ■ ■ ■ ■ ■ 1 1 0
2│ 1 ■ ■ ■ ■ □ 1 0
3│ ■ ■ ■ ■ ■ 1 1 0
4│ ■ ■ ■ ■ ■ 1 0 0
5│ ■ ■ ■ ■ ■ 3 1 1
6│ ■ ■ ■ ■ ■ ■ ■ ■
7│ ■ ■ ■ ■ ■ ■ ■ ■
8│ ■ ■ ■ ■ ■ ■ ■ ■
在这里插入扫雷列表，是因为点开【1，6】后可通过【1，6】【2，6】判断【1，5】【2，5】安全，已经和我上面所述的操作路径不同了。
下面我不在详细展示，让我们直接快进到需要重要介绍的位置。
选定位置【2, 5】, 操作为：1
选定位置【1, 5】, 操作为：1
……
……
1│ 0 0 1 □ 2 1 1 0
2│ 1 1 2 1 2 □ 1 0
3│ 2 □ 2 0 1 1 1 0
4│ 2 □ 2 1 1 1 0 0
5│ 2 2 1 2 □ 3 1 1
6│ □ 1 0 3 □ ■ ■ ■
7│ 2 2 1 2 □ 3 1 1
8│ 1 □ 1 1 1 1 0 0
调用高级计算处理，请等候…
计算完成!生成操作:
坐标【6，8】，操作：1
坐标【6，6】，操作：1

选定位置【6, 6】, 操作为：1
选定位置【6, 8】, 操作为：1
选定位置【6, 7】, 操作为：0
可以看到，通过上面简单的计算，已经快将游戏解完了。在简单模式下，多数情况根本用不上高级计算，这局游戏是开了许多局才调用到了高级算法代码，就算没有高级算法，也可以通过随机方法随机一个坐标点开，有2/3的概率是数字，只要点开一个是数字，就可以确定最后一个雷的位置了。

可由【5，8】知道【6，7】【6，8】中有1个雷，由【5，7】知道 【6，6】【6，7】【6，8】中有1个雷，所以【6，6】一定是安全的，可以点开。
可由【5，6】得知【6，6】【6，7】中有1个雷，综合【5，7】，可以确定【6，8】是安全的，可以点开。
这就是需要通过综合一片区域才能确定的，用代码实现确实比较复杂。
高级算法说明：（代码在228~273行，通过202行调用）
要将这种思想转化为代码，就要先总结他们共有的特征，就是找规律。规律是：求差集。
这里要用到python的 字典、集合、元组、列表。
首先，我将游戏输出列表show_list做了一个处理，把所有>0的数字减去他们周围已经插旗的个数，结果保存在了processed_list列表中。（代码229~247行）
在处理之前 要先创建一个空的集合c（代码238行），在遍历数字周围八个方格时，如果遇到没有打开的方格’■‘，则在c中记录该方格坐标。这里，我们相当于得到了一个区域。
遍历完八个方格之后，如果集合c非空，那么处理的数字一定还>0，将集合c转变为元组，作为字典的键，处理后的数字做为该键对应的值。（字典名为set_dic）
对上面的示例，该操作能得到：
1│ 0 0 0 □ 0 0 0 0
2│ 0 0 0 0 0 □ 0 0
3│ 0 □ 0 0 0 0 0 0
4│ 0 □ 0 0 0 0 0 0
5│ 0 0 0 0 □ 1 1 1
6│ □ 0 0 0 □ ■ ■ ■
7│ 0 0 0 0 □ 1 1 1
8│ 0 □ 0 0 0 0 0 0
并得到字典set_dic = {((6, 6), (6, 7)) : 1, ((6, 6), (6, 7), (6, 8)) : 1, ((6, 7), (6, 8)) : 1} 【解释下为什么要将集合c转化为元组，因为集合是可变数据类型，属于非可哈希类型，无法作为字典的键。】
之后就是对字典的两层循环：取其中一个键，（取完键之后首先转变为集合类型，通过集合类型自带的判断子集的方法），与其他键做判断是否为子集。
如果是子集，即可求差集，并求这两个键对应值的差。如果值的差为0，说名求得的差集中的坐标是安全的，可以打开；如果值的差非零，如果值得差等于差集的长度，说明差集中的坐标一定是雷，需要插旗。（代码249~273）
对应上面的示例，集合a = {(6, 6), (6, 7)} 是 集合b = {(6, 6), (6, 7), (6, 8)}的子集， 求差集 b - a 得到差集{(6, 8)}, 差值为0，说明坐标（6，8）的方格’■‘是安全的。
之后就是将元组（6，8）转换为列表[6, 8]，加入操作码得到[6, 8, 1]，加入到操作列表 coordinate_list 中。

讲解结束。这也不算难，也得益于python本身的优势。如果用其他语言，还要定义大量结构体，或无休止的取值赋值。

这里顺便说个bug，代码中在得到差集和差值后，加入操作列表的时候没有判断要插入的数据是否已经存在。因为可能通过不同的集合判断得到同一个差集，如果是点击操作还好，点击过后该方块不能再进行其他操作，但如果是插旗，那么插旗之后再插旗就是取消插旗。
而操作完成之后，下次高级判断可能还会得到两次相同坐标的插旗操作，那么程序将进入无线循环。所以可以将 coordinate_list 列表变成集合类型，集合本身不允许重复，或者在向 coordinate_list 列表加入数据前前进行一个重复判断。
这个bug是在测试 行100，列200，雷3000的游戏中发现的bug。小规模一般不会遇到。

【可以将带有注释的time.sleep代码给打开，在括号内设置合适的时长，可以看到自动扫雷的过程】
代码【】

import random
import time
 
 
class SaoLei:
    m: int
    n: int
    k: int
    mode: int
    coordinate_list = []
    game_space: list[list[int or str]]
 
    def __init__(self, m: int, n: int, k: int, mode: int):
        """
        初始化游戏
        :param m: m行, m >= 8
        :param n: n列, n >= 8
        :param k: k个雷, 10 <= k <= m*n*0.3
        :param mode: 0：手动模式，1：全自动模式 2：半自动模式
        """
        if m >= 8:
            self.m = m
        else:
            print("row Error!")
            exit(0)
        if n >= 8:
            self.n = n
        else:
            print("col Error!")
            exit(0)
        if 10 <= k <= m * n * 0.3:
            self.k = k
            self.flag = self.k
        else:
            print("k Error!")
            exit(0)
        if mode in (0, 1, 2):
            self.mode = mode
        else:
            print("Mode Error!")
            exit(0)
 
        # 生成区域
        self.game_space = [[0 for _ in range(n)] for _ in range(m)]
        print("game_space create success!")
 
        # 随机雷的位置
        i = 0
        while i < self.k:
            a = random.randint(0, m - 1)
            b = random.randint(0, n - 1)
            if self.game_space[a][b] != '*':
                i += 1
 
                # 产生数据
                self.game_space[a][b] = '*'
                c = [-1, 0, 1]
                for x in c:
                    if 0 <= a + x < m:
                        for y in c:
                            if 0 <= b + y < n:
                                if self.game_space[a + x][b + y] != '*':
                                    self.game_space[a + x][b + y] += 1
 
        # 调用游戏进程
        self.game_window()
 
    def game_window(self):
        show_list = [['■' for _ in range(self.n)] for _ in range(self.m)]
        text = ''
        while True:
            # 输出画面
            for i in range(10):
                print()
            print(text)
            print("+++" * self.n, end='+\n')
            print(' │ ', end='')
            for k in range(1, self.n + 1):
                print('%d' % (k % 10), end='  ')
            print('\n─┼─', end='')
            print('───' * (self.n - 1), end='─\n')
            k = 1
            for i in range(self.m):
                print(k, end='│ ')
                for j in range(self.n):
                    print(show_list[i][j], end='  ')
                print()
                k = (k + 1) % 10
            if text == 'Game Over!':
                exit(0)
            text = ''
 
            # 检测是否结束
            row = self.m
            for i in show_list:
                if '■' not in i:
                    row -= 1
            if row == 0:
                print('Victory!')
                exit(1)
 
            # 输入坐标及操作
            if self.mode == 0:
                a, b, c = self.input_set()
            else:
                a, b, c = self.automatic_input(show_list)
 
            # 进行处理
            if c == 0:
                if self.flag > 0:
                    if show_list[a][b] == '■':
                        show_list[a][b] = '□'
                        self.flag -= 1
                    elif show_list[a][b] == '□':
                        show_list[a][b] = '■'
                        self.flag += 1
                    else:
                        text = 'Error! Is number'
                else:
                    text = 'Error! No flag'
            elif c == 1:
                if show_list[a][b] == '■':
                    if self.game_space[a][b] == '*':
                        show_list[a][b] = '*'
                        text = 'Game Over!'
                    elif self.game_space[a][b] == 0:
                        show_list[a][b] = self.game_space[a][b]
                        self.look_zero(a, b, show_list)
                    else:
                        show_list[a][b] = self.game_space[a][b]
                else:
                    text = 'Error! No Click'
            elif c == 2:
                if show_list[a][b] == '■':
                    show_list[a][b] = '?'
                elif show_list[a][b] == '?':
                    show_list[a][b] = '■'
                else:
                    text = 'Error! Open'
 
    def look_zero(self, a: int, b: int, show_list):
        for i in range(a - 1, a + 2):
            for j in range(b - 1, b + 2):
                if 0 <= i < self.m and 0 <= j < self.n:
                    if show_list[i][j] == '■':
                        if self.game_space[i][j] == 0:
                            show_list[i][j] = 0
                            self.look_zero(i, j, show_list)
                        else:
                            show_list[i][j] = self.game_space[i][j]
 
    def input_set(self):
        a = int(input("输入行："))
        b = int(input("输入列："))
        c = int(input("操作（0：插旗； 1：点击； 2：标记）："))
        if not (0 < a <= self.m and 0 < b <= self.n and c in (0, 1, 2)):
            a, b, c = self.input_set()
            a += 1
            b += 1
        return a - 1, b - 1, c
 
    def automatic_input(self, show_list: list[list]
 
 
):
        """
        自动化方法
        :param show_list:
        :return:a,b,c
        """
        if self.coordinate_list:
            a = self.coordinate_list.pop()
            print("选定位置【%d, %d】, 操作为：%d" % (a[0] + 1, a[1] + 1, a[2]))
            # time.sleep(0.5)
            return a[0], a[1], a[2]
 
        for i in range(self.m):
            for j in range(self.n):
                if type(show_list[i][j]) is not str and show_list[i][j] > 0:
                    z = show_list[i][j]
                    for x in range(i - 1, i + 2):
                        for y in range(j - 1, j + 2):
                            if 0 <= x < self.m and 0 <= y < self.n:
                                if show_list[x][y] == '□':
                                    z -= 1
                                elif show_list[x][y] == '■':
                                    self.coordinate_list.append([x, y])
                    if z == 0:
                        for p in range(len(self.coordinate_list)):
                            self.coordinate_list[p].append(1)
                    elif z == len(self.coordinate_list):
                        for p in range(len(self.coordinate_list)):
                            self.coordinate_list[p].append(0)
                    else:
                        self.coordinate_list.clear()
 
                    if self.coordinate_list:
                        a = self.coordinate_list.pop()
                        print("选定位置【%d, %d】, 操作为：%d" % (a[0] + 1, a[1] + 1, a[2]))
                        # time.sleep(0.5)
                        return a[0], a[1], a[2]
 
        # 进入高级计算
        print("调用高级计算处理，请等候...")
        self.advanced_automatic_input(show_list)
        if self.coordinate_list:
            print("计算完成!生成操作:")
            for mmm in self.coordinate_list:
                print("\t坐标【%d，%d】，操作：%d" % (mmm[0] + 1, mmm[1] + 1, mmm[2]))
            print("========================")
            a = self.coordinate_list.pop()
            print("选定位置【%d, %d】, 操作为：%d" % (a[0] + 1, a[1] + 1, a[2]))
            # time.sleep(0.5)
            return a[0], a[1], a[2]
 
        # 无法确定，随机选择位置
        elif self.mode == 1:
            a = random.randint(0, self.m - 1)
            b = random.randint(0, self.n - 1)
            while show_list[a][b] != '■':
                a = random.randint(0, self.m - 1)
                b = random.randint(0, self.n - 1)
            else:
                print("无法确定位置，随机选择【%d, %d】点开" % (a + 1, b + 1))
                # time.sleep(2)
                return a, b, 1
        else:
            print("无法确定位置，请手动输入。 提示：还有【%d】个&#128163;" % self.flag)
            return self.input_set()
 
    def advanced_automatic_input(self, show_list: list[list]
 
 
):
        processed_list = []
        set_dic = dict()
        for i in show_list:
            processed_list.append(i.copy())
 
        # 初步处理
        for i in range(self.m):
            for j in range(self.n):
                if type(processed_list[i][j]) is int and processed_list[i][j] > 0:
                    c = set()
                    for p in range(i - 1, i + 2):
                        for q in range(j - 1, j + 2):
                            if 0 <= p < self.m and 0 <= q < self.n:
                                if processed_list[p][q] == '□':
                                    processed_list[i][j] -= 1
                                elif processed_list[p][q] == '■':
                                    c.add((p, q))
                    if c:
                        set_dic[tuple(c)] = processed_list[i][j]
 
        # 寻找子集
        key_list = list(set_dic.keys())
        for i in range(len(key_list)):
            for j in range(i + 1, len(key_list)):
                if len(key_list[i]) < len(key_list[j]):
                    p = i
                    q = j
                elif len(key_list[i]) > len(key_list[j]):
                    p = j
                    q = i
                else:
                    continue
 
                if set(key_list[p]).issubset(set(key_list[q])):
                    d = list(set(key_list[q]) - set(key_list[p]))
                    if set_dic[key_list[q]] - set_dic[key_list[p]] == 0:
                        for k in d:
                            e = list(k)
                            e.append(1)
                            self.coordinate_list.append(e)
                    elif set_dic[key_list[q]] - set_dic[key_list[p]] == len(d):
                        for k in d:
                            e = list(k)
                            e.append(0)
                            self.coordinate_list.append(e)
 
 
# 传参【 m行，n列， k个雷， mode：0、手动； 1、全自动; 2、半自动】，可自定义
# 简单 8 8 10
# 一般 16 16 40
# 困难 16 32 99
game = SaoLei(16, 32, 99, 2)