自动扫雷 分析.pdf

自动扫雷游戏技术概览 only owned by Chen Jianglong 一．“影响区域”划定 如上图，假如这个局面摆在我们的面前了。只有红线圈定的内部区域里面的 未被挖开的方块才可能被当前局面直接影响。只有在红线圈定区域内的方块确定 后，其他区域的未被挖开的方块含有的雷数才能由雷的总数做减法求得。所以我 们应该先尽可能的确定红色区域内部雷的分布情况。 顺便写几个有用的提示：红色区域内部的雷数是有多种可能的；红色区域内 部每个方块有雷情况，有的可以精确地推出，有的不能精确推出，只能给个概率 值了；最后红线外部每个方块有雷的概率是一样的。 二．算式推理技术 对影响区域每一位置都赋予一个符号名，或叫变量名，进行“算式推理”。 对于下图的局面（called by 局面 1）： 自动扫雷游戏技术概览 only owned by Chen Jianglong 根据每个数字可以列出一个算式，总共得到 3 个算式: a+b=1; e+d=1; a+b+c+d+e=2; 约束条件是 a,b,c,d,e,f 取 0-1 值。 对于下面的这个图（局面 2）： 根据每个数字可以列出一个算式，总共得到 4 个算式: a+b=2; a+b+c=2; d+e=2; b+c+d+e+f=3;约束条件是 a,b,c,d,e,f 取 0-1 值。 “算式推理”指得是由原始的算式集合 S0（这里是 4 个算式）尽可能多的 推出算式中符号的确定取值。具体的算法如下： 1. 若算式集合 S0 中含有类似局面 2 中 a+b=2 这样的算式，即符号数目和 等号右边的数字相等，那么可以确定每个符号的值为 1，然后把确定的 符号的值给 S0 中的其他算式中的该符号赋值，如此还可能出现类似 c=0 自动扫雷游戏技术概览 only owned by Chen Jianglong 这样的算式（对局面 2 带入 a=1，b=1），即左边一些符号相加后得 0， 那么也可以确定此类算式中每个符号取值 0。不断寻找集合 S0 中的所 有类似上面两种情况的算式，确定一些符号的取值，直到集合 S0 中没 有类似的算式。此时得到的算式集合称作 S0’。局面 1，S0 最后化简得 到的 S0’集合为： a+b=1; e+d=1; a+b+c+d+e=2; 约束条件是 a,b,c,d,e,f 取 0-1 值。 局面化简后得到的是 a=1,b=1,c=0,d=1,e=1,f=0。这两个例子举得不好， 第一个没有得到化简，第二个全化简完了。 2. 对 S0’中的每两个式子之间做检测，若其中某个式子左边的符号是另一 个式子左边符号的子集，那么这连个式子相减得到一个新的式子，并 加入 S0’。 如，局面 1 通过这个过程可以得到： a+b=1; d+e=1; a+b+c+d+e=2; c+d+e=1; a+b+c=1; 把 S0’看做 S0，转到第一步继续计算。直到集合不再能推出